Research

Items from Faculty of Science > Computer Science

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Creators | Date | Item Type | No Grouping
Number of items at this level: 1780.

Padget, J., ed., 1999. Collaboration between Human and Artifical Societies. Springer. (Lecture Notes in Artificial Intelligence; 1624)

Padget, J., Artikis, A., Vasconcelos, W., Stathis, K., Torres da Silva, V., Matson, E. and Polleres, A., eds., 2010. Coordination, Organizations, Institutions and Norms in Agent Systems V. Springer. (Lecture Notes in Artificial Intelligence; 6069)

Sichman, J. S., Padget, J., Ossowski, S. and Noriega, P., eds., 2008. Coordination, Organizations, Institutions, and Norms in Agent Systems III. Springer. (Lecture Notes in Artificial Intelligence; 4870)

Asperti, A., Buchberger, B. and Davenport, J. H., eds., 2003. Mathematical Knowledge Management:2nd International Conference, MKM 2003, Bertorino, Italy: Proceedings. Springer. (Lecture Notes in Computer Science; 2594)

Dunin-Keplicz, B., Omicini, A. and Padget, J., eds., 2006. Proceedings of 4th European Multi-Agent Systems Workshop.Vol. 223. CEUR.

Aldewereld, H., Boissier, O., Dignum, V., Noriega, P. and Padget, J., eds., 2016. Social Coordination Frameworks for Social Technical Systems. Springer International Publishing. (Law, Governance and Technology Series; 30)

Della-Dora, J. and Fitch, J. P., eds., 1989. Computer Algebra and Parallelism. Academic Press.

Fitch, J. P., ed., 1993. Design and Implementation of Symbolic Computation Systems.Vol. 721. Springer. (Lecture Notes in Computer Science)

, 2005. EUMAS 2005 - Proceedings of the Third European Workshop on Multi-Agent Systems,. In: Gleizes, M. P., Gal, A. K., Nowe, A., Ossowski, S., Tuyls, K. and Verbeeck, K., eds. EUMAS, 2005-12-07 - 2005-12-08.

Seth, A. K., Prescott, T. J. and Bryson, J. J., eds., 2011. Modelling Natural Action Selection. Cambridge University Press.

Fitch, J. P., ed., 1984. Proceedings of EUROSAM 84.Vol. 174. Springer. (Lecture Notes in Computer Science)

, 2009. SEA09:Software Engineering for Answer Set Programming. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2009-20)

Abbott, J. A., Bradford, R. J. and Davenport, J., 1985. A remark on factorisation. SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation), 19 (2), pp. 31-33.

Abbott, J. A., Bradford, R. J. and Davenport, J., 1988. Factorisation of polynomials:old ideas and recent results. In: Rainer, J., ed. Proceedings of the International Symposium on Trends in Computer Algebra. London, UK: Springer, pp. 81-91.

Abbott, J. A., Bradford, R. J. and Davenport, J., 1986. The Bath algebraic number package. In: Char, B. W., ed. SYMSAC 86. New York, USA: Association for Computing Machinery (ACM), pp. 250-253.

Abbott, J. A. and Davenport, J., 1988. A remark on a paper by Wang:another surprising property of 42. Mathematics of Computation, 51 (184), pp. 837-839.

Abbott, J. A. and Davenport, J., 1987. Polynomial factorization. In: Davenport, J., ed. EUROCAL '87. New York, USA: Springer, pp. 391-402. (Lecture Notes in Computer Science; 378)

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. and Sturm, T., 2016. SC2:Satisfiability Checking meets Symbolic Computation (Project Paper). Springer International Publishing, pp. 28-43. (Lecture Notes in Artificial Intelligence; 9791)

Adams, A. A. and Davenport, J. H., 2004. Copyright issues for MKM. In: Mathematical Knowledge Management. Berlin, Germany: Springer, pp. 1-16. (Lecture Notes in Computer Science; 3119)

Aird, M., Medina, W. B. and Padget, J., 2003. MONET: service discovery and composition for mathematical problems. In: Rana, O. and Graupner, S., eds. Proceedings of IEEE workshop on Agent-based Cluster and Grid Computing (CCGrid 2003), 2003-05-01.

Aird, M., Laird, J. and ffitch, J. P., 2000. Modelling a Drum by Interfacing 2-D and 3-D Waveguide Meshes. In: Proceedings of ICMA 2000. ICMA, pp. 82-85.

Aird, M.-L., Medina, W. B. and Padget, J., 2003. Brokerage for mathematical web services in MONET. In: Proceedings of Web Services and Agent Based Systems'03 at AAMAS03, 2003-01-01.

Al-Kuwari, S., 2011. Integrated-Key Cryptographic Hash Functions. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Al-Kuwari, S., Davenport, J. H. and Bradford, R. J., 2010. Cryptographic hash functions: recent design trends and security notions. In: Short Paper Proceedings of 6th China International Conference on Information Security and Cryptology (Inscrypt '10). Science Press of China, pp. 133-150.

AlHalawani, S., Yang, Y., Liu, H. and Mitra, N. J., 2013. Interactive Facades Analysis and Synthesis of Semi-Regular Facades. Computer Graphics Forum, 32 (2pt2), pp. 215-224.

AlHalawani, S., Yang, Y., Wonka, P. and Mitra, N. J., 2014. What Makes London Work Like London? Computer Graphics Forum, 33 (5), pp. 157-165.

Alberga, C., Bosman-Clark, C., Mikelsons, M., Deusen, M. V. and Padget, J., 1986. Experience with an uncommon Lisp. In: Proceedings of 1986 ACM Symposium on Lisp and Functional Programming, 1986-01-01. Cambridge, Massachusetts, US: Association for Computing Machinery (ACM), pp. 39-53.

Aldewereld, H., Padget, J., Vasconcelos, W., Vazquez-Salceda, J., Sergeant, P. and Staikopoulos, A., 2010. Adaptable, organization-aware, service-oriented computing. IEEE Intelligent Systems, 25 (4), pp. 80-84.

Alechina, N., Bassiliades, N., Dastani, M., De Vos, M., Logan, B., Mera, S., Morris-Martin, A. and Schapachnik, F., 2013. Computational Models for Normative Multi-Agent Systems. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 71-92. (Dagstuhl Follow-Ups)

Alonso, E. and Mondragon, E., 2004. Agency, learning and animal-based reinforcement learning. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy. Berlin, Germany: Springer, pp. 1-6. (Lecture Notes in Computer Science; 2969)

Alvarez-Napageo, S., Cliffe, O. C., Vazquez-Salceda, J. and Padget, J. A., 2009. Norms, organisations and semantic web services:the ALIVE approach. In: 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW 2009, 2009-09-07 - 2009-09-10.

Alwan, E., 2014. Enhancing the performance of Decoupled Software Pipeline through Backward Slicing. Thesis (Doctor of Philosophy (PhD)). Faculty of Science.

Anderson, G., McCusker, G. and Pym, D., 2016. A Logic for the Compliance Budget. In: Zhu, Q., Alpcan, T., Panaousis, E., Tambe, M. and Casey, W., eds. Proceedings, GameSec 2016- Decision and Game Theory for Security. Springer Verlag, pp. 370-381. (Lecture Notes in Computer Science; 9996)

Anderson, S., Power, J. and Tourlas, K., 2001. Reasoning in higraphs with loose edges. In: Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587). Piscataway, NJ: IEEE, pp. 23-29.

Anderson, S., Power, J. and Tourlas, K., 2002. Zooming-out on Higraph-based diagrams. Electronic Notes in Theoretical Computer Science, 61, pp. 201-211.

Ando, Y., 2005. The effect of predation on the evolution of dominance hierarchy in primate society. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-15)

Aramo-Immonen, H., Kärkkäinen, H., Jussila, J. J., Joel-Edgar, S. and Huhtamäki, J., 2016. Visualizing informal learning behavior from conference participants’ Twitter data with the Ostinato model. Computers in Human Behavior, 55 (Part A), pp. 584-595.

Aramo-Immonen, H., Leppäniemi, J., Soini, J. and Joel-Edgar, S., 2015. Forthcoming. Mediator’s Role in an Innovation Ecosystem. Journal of Business Research

Arora, A., González, V. M. and Payne, S. J., 2011. The social nature of work fragmentation: Revisiting informal workplace communication. The Ergonomics Open Journal, 4 (1), pp. 23-37.

Ashwin, E., Brosnan, M., Johnson, H., Grawemeyer, B. and Benton, L., 2010. Social functioning, systemising ability and emotion recognition in autism spectrum conditions. In: Autism Neuroscience Conference, 2010-09-01.

Ashwin, E., Brosnan, M., Johnson, H., Grawemeyer, B. and Benton, L., 2011. Social functioning, systemising ability and emotion recognition in autism spectrum disorders. In: International Meeting For Autism Research, 2011-05-01.

Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. and Satoh, K., 2013. Handling change in normative specifications. In: Baldoni, M., Dennis, L., Mascardi, V. and Vasconcelos, W., eds. 10th International Workshop, DALT 2012, 2012-06-04 - 2012-06-04. Berlin: Springer, pp. 1-19. (Lecture Notes in Computer Science; 7784)

Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A. and Satoh, K., 2012. Handling change in normative specifications. In: Hoek, W. v. d., Padgham, L., Conitzer, V. and Winikoff, M., eds. The 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2012, 2012-06-04 - 2012-06-08. IFAAMAS, pp. 1369-1370.

Bai, [N. V.], Song, Y. Z. and Hall, P., 2007. Learning object classes from structure. In: British Machine Vision Conference (BMVC), 2007-01-01.

Baines, V. and Padget, J., 2015. A situational awareness approach to intelligent vehicle agents. In: Baines, V. and Padget, J., eds. 2nd SUMO User Conference, SUMO 2014, 2014-05-15 - 2014-05-16. Springer, pp. 77-103. (Lecture Notes in Mobility)

Balbo, S., Draheim, D., Lutteroth, C. and Weber, G., 2005. Appropriateness of user interfaces to tasks. New York, U. S. A.: ACM, pp. 111-118.

Balikai, A. A., Sundaram, S. and Hall, P. M., 2008. AUTOMATIC multilevel form colour dropout using graph cuts. In: MCCSIS'08 - IADIS Multi Conference on Computer Science and Information Systems; Proceedings of Computer Graphics and Visualization 2008 and Gaming 2008: Design for Engaging Experience Soc. Interaction. IADIS, pp. 127-133.

Balke, T., Noriega, P., Verhagen, H. and De Vos, M., 2013. Social coordination:Principles, artifacts and theories. In: Social Coordination. , p. 1.

Balke, T., De Vos, M. and Padget, J., 2013. An agent-based simulation approach to comparative analysis of enforcement mechanisms. In: 14th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems VIII (COIN 2012), 2012-06-05 - 2012-06-05. Berlin, Germany: Springer, pp. 53-70. (Lecture Notes in Computer Science; 7756)

Balke, T., De Vos, M. and Padget, J., 2013. Evaluating the Cost of Enforcement by Agent-Based Simulation:A Wireless Mobile Grid Example. Springer, pp. 21-36. (Lecture Notes in Computer Science)

Balke, T., De Vos, M. and Padget, J., 2012. Normative run-time reasoning for institutionally-situated BDI agents. Berlin, Germany: Springer Verlag, pp. 129-148. (Lecture Notes in Computer Science; 7254)

Balke, T., De Vos, M., Padget, J. and Fitzek, F., 2011. Using a normative framework to explore the prototyping of wireless grids. In: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010, 2011-01-01. Heidelberg: Springer, pp. 95-113. (Lecture Notes in Computer Science)

Balke, T., De Vos, M., Padget, J. and Traskas, D., 2011. On-line reasoning for institutionally-situated BDI agents. In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011-05-02 - 2011-05-06.

Balke, T., De Vos, M., Padget, J. A. and Traskas, D., 2011. Normative run-time reasoning for institutionally-situated BDI agents. In: 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2011, 2011-08-21 - 2011-08-26. Piscataway, U.S.A: IEEE Computer Society.

Banerjee, J. R., Sobey, A. J., Su, H. and Fitch, J. P., 2008. Use of computer algebra in Hamiltonian calculations. Advances in Engineering Software, 39 (6), pp. 521-525.

Banerjee, J. R., Su, H., Sobey, A. J. and Fitch, J., 2005. Strain analysis of a pretwisted elastic cylinder with an arbitrary cross-section. Journal of Strain Analysis for Engineering Design, 40 (4), pp. 367-374.

Bann, E. Y., 2013. Semantic Clustering of Basic Emotion Sets. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-01)

Bann, E. Y. and Bryson, J. J., 2014. The conceptualisation of emotion qualia:semantic clustering of emotional tweets. In: Mayor, J. and Gomez, P., eds. NCPW 13 Neural Computation and Psychology Workshop, 2012-07-12 - 2012-07-14. Singapore, Singapore: World Scientific, pp. 249-263. (Progress in Neural Processing; 21)

Bann, E. Y. and Bryson, J. J., 2013. Measuring cultural relativity of emotional valence and arousal using semantic clustering and Twitter. In: CogSci 2013: The 35th Annual Meeting of the Cognitive Science Society, 2013-07-30 - 2013-08-02. Cognitive Science Society, pp. 1809-1814.

Barber, A., Brown, M., Hogbin, P. and Cosker, D., 2014. Estimating Camera Intrinsics From Motion Blur. In: Conference for Visual Media Production, 2014-11-13 - 2014-11-14.

Barber, A., Brown, M., Hogbin, P. and Cosker, D., 2015. Inferring changes in intrinsic parameters from motion blur. Computers & Graphics, 52, pp. 155-170.

Barber, A., Cosker, D., James, O., Waine, T. and Patel, R., 2016. Camera Tracking in Visual Effects - An Industry Perspective of Structure From Motion. In: Digital Production Symposium 2016, 2016-07-23 - 2016-07-23.

Barber, K. S. and Park, J., 2004. Agent belief autonomy in open multi-agent systems. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy. Berlin, Germany: Springer, pp. 7-16. (Lecture Notes in Computer Science; 2969)

Barbera-Medina, W., Padget, J. and Aird, M., 2005. Brokerage for mathematical services in MONET. Springer, pp. 253-272. (Multiagent Systems, Artificial Societies, and Simulated Organizations; 13)

Barclay, K., Wei, D., Lutteroth, C. and Sheehan, R., 2011. A quantitative quality model for gesture based user interfaces. New York, U. S. A.: ACM, pp. 31-39.

Barton, D., Bourne, S. R. and Fitch, J. P., 1970. An algebra system. The Computer Journal, 13 (1), pp. 32-39.

Barton, D. and Fitch, J. P., 1972. A review of algebraic manipulative programs and their application. The Computer Journal, 15 (4), pp. 363-380.

Barton, D. and Fitch, J. P., 1971. General relativity and the application of algebraic manipulative systems. Communications of the ACM (CACM), 14 (8), pp. 542-547.

Barton, D. and Fitch, J. P., 1971. General relativity and the application of algebraic manipulative systems. In: SYMSAC '71 Proceedings of the Second ACM Symposium on Symbolic and Algebraic Manipulation. New York, U. S. A.: ACM, pp. 343-348.

Barton, D. and Fitch, J. P., 1972. The application of symbolic algebra system to physics. Reports on Progress in Physics, 35, pp. 235-314.

Baskent, C., 2015. Game theoretical semantics for paraconsistent logics. In: van der Hoek, W., Holliday, W. H. and Wang, W.-F., eds. 5th International Workshop on Logic, Rationality, and Interaction, LORI 2015, 2015-10-28 - 2015-10-31. Berlin, Germany: Springer, pp. 14-26. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9394)

Baskent, C., 2016. Topological semantics for da costa paraconsistent logics Cω and C∗ ω. In: Dutta, S., Beziau, J.-Y. and Chakraborty, M., eds. New Directions in Paraconsistent Logic, Part IV. Springer, pp. 427-444. (Springer Proceedings in Mathematics & Statistics; 152)

Basu, S. and Vorobjov, N., 2007. On the number of homotopy types of fibres of a definable map. Journal of the London Mathematical Society, 76, pp. 757-776.

Basu, S., Gabrielov, A. and Vorobjov, N., 2013. A Helly-type theorem for semi-monotone sets and monotone maps. Discrete & Computational Geometry, 50 (4), pp. 857-864.

Basu, S., Gabrielov, A. and Vorobjov, N., 2013. Monotone functions and maps. Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas, 107 (1), pp. 5-33.

Basu, S., Gabrielov, A. and Vorobjov, N., 2013. Semi-monotone sets. Journal of the European Mathematical Society, 15 (2), pp. 635-657.

Basu, S., Gabrielov, A. and Vorobjov, N., 2015. Triangulations of monotone families I:two-dimensional families. Proceedings of the London Mathematical Society, 111 (5), pp. 1013-1051.

Basurra, S.S., Ji, Y., De Vos, M., Padget, J., Lewis, T. and Armour, S., 2012. Social-aware routing for wireless mesh networks. In: 76th IEEE Vehicular Technology Conference, 2012-09-03 - 2012-09-06.

Basurra, S. S., De Vos, M., Padget, J., Lewis, T. and Armour, S., 2010. A zone-based routing protocol with parallel collision guidance broadcasting for MANET. In: 2010 IEEE 12th International Conference on Communication Technology, ICCT'2010, November 11, 2010 - November 14, 2010, 2010-11-01. IEEE, pp. 1188-1191.

Basurra, S. S., De Vos, M., Padget, J., Ji, Y., Lewis, T. and Armour, S., 2015. Energy efficient zone based routing protocol for MANETs. Ad Hoc Networks, 25 (Part A), pp. 16-37.

Batenin, A. and O'Neill, E., 2002. Integration of independently-developed object-orientated designs. In: Workshop on Aspect-Oriented Design, 1st International Conference on Aspect-Oriented Software Development, 2002-04-22 - 2002-04-26.

Batenin, A., 2006. Subjectivity and ownership:a perspective on software reuse. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-15)

Batey, D. and Padget, J., 1993. Towards A Virtual Multicomputer. In: Proceedings of Workshop on Heterogeneous Processing at the International Parallel Processing Symposium (WHP93), 1993-01-01. IEEE, pp. 71-76.

Batey, D. J. and Padget, J., 2002. Coordinating heterogeneous parallelism. IEEE, pp. 339-346.

Beach, C., 2005. Opinion sharing on the web: Uings a distributed architecture and trusted social networks. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-06)

Beale, D., 2012. Autonomous Visual Learning for Robotic Systems. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Beale, D., Hall, P., Cosker, D., Yang, Y. and Campbell, N., 2016. Fitting quadrics with a Bayesian prior. In: 4th International conference on Computational Visual Media (CVM 2016), 2016-04-06 - 2016-04-08, Wales.

Beale, D., Iravani, P. and Hall, P., 2011. Probabilistic models for robot-based object segmentation. Robotics and Autonomous Systems, 59 (12), pp. 1080-1089.

Beale, D., Iravani, P. and Hall, P., 2010. Statistical visual-dynamic model for hand-eye coordination. In: IEEE/RSJ 2010 International Conference on Intelligent Robots and Systems, IROS 2010 - Conference Proceedings. Piscataway, NJ: IEEE Computer Society, pp. 3931-3936.

Beale, D., Yang, Y., Campbell, N., Cosker, D. and Hall, P., 2016. Fitting quadrics with a Bayesian prior. Computational Visual Media, 2 (2), pp. 107-117.

Beaumont, J., Bradford, R., Davenport, J. H. and Phisanbut, N., 2005. Adherence is Better than Adjacency: Computing the Riemann Index using CAD. In: Proceedings of the 2005 international symposium on Symbolic and algebraic computation, 2005-07-01.

Beaumont, J., Phisanbut, N. and Bradford, R., 2005. Practical Simplification of Elementary Functions using CAD. In: Proceedings Algorithmic Algebra and Logic (A3L), 2005-04-01.

Beaumont, J., Bradford, R. and Davenport, J. H., 2003. Better simplification of elementary functions through power series. In: ISSAC '03 Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2003. New York, U. S. A.: ACM, pp. 30-36.

Beaumont, J. C., Bradford, R. J., Davenport, J. H. and Phisanbut, N., 2004. A poly-algorithmic approach to simplifying elementary functions. In: Proceedings of the 2004 international symposium on Symbolic and algebraic computation, 2004-01-01.

Beaumont, J. C., Bradford, R. J., Davenport, J. H. and Phisanbut, N., 2007. Testing elementary function identities using CAD. Applicable Algebra in Engineering Communication and Computing, 18 (6), pp. 513-543.

Beavers, G. and Hexmoor, H., 2004. Types and limits of agent autonomy. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy: Potential, Risks, and Solutions. Berlin, Germany: Springer, pp. 95-102. (Lecture Notes in Computer Science; 2969)

Bechlivanidis, C., 2006. An examination of the role of prestige in cultural evolution with the aid of Agent Based Modelling. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-21)

Behrisch, M., Kerkhoff, S. and Power, J., 2012. Category theoretic understandings of universal algebra and its dual: monads and Lawvere theories, comonads and what? Electronic Notes in Theoretical Computer Science, 286, pp. 5-16.

Benedetti, L., Winnemöller, H., Corsini, M. and Scopigno, R., 2014. Painting with Bob:Assisted creativity for novices. In: 27th Annual ACM Symposium on User Interface Software and Technology, UIST 2014, 2014-10-05 - 2014-10-08. ACM, pp. 419-428.

Benedikt, L., Cosker, D., Rosin, P. L. and Marshall, D., 2010. Assessing the uniqueness and permanence of facial actions for use in biometric applications. IEEE Transactions on Systems Man and Cybernetics - Part A: Systems and Humans, 40 (3), pp. 449-460.

Bennett, J.P., Davenport, J.H., Dewar, M.C., Fisher, D.L., Grinfeld, M. and Sauro, H., 1991. Computer algebra approaches to enzyme kinetics. In: Jacob, G. and Lamnabhi-Lagarrigue, F., eds. Algebraic Computing in Control. Berlin, Germany: Springer, pp. 23-30. (Lecture Notes in Control and Information Sciences; 165)

Bennett, J.P., Davenport, J.H. and Sauro, H.M., 1988. Solution of Some Equations in Biochemistry. University of Bath.

Benton, L., 2007. An investigation into second language acquisition and tutoring systems for children at Key Stage 2. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-06)

Benton, L., Ashwin, E., Johnson, H., Grawemeyer, B. and Brosnan, M., 2011. IDEAS: An interface design experience for the autistic spectrum. In: CHI EA 2011 - 29th Annual CHI Conference on Human Factors in Computing Systems, Conference Proceedings and Extended Abstracts. New York: Association for Computing Machinery (ACM), pp. 1759-1764. (Conference on Human Factors in Computing Systems - Proceedings)

Benton, L., Johnson, H., Ashwin, E., Brosnan, M. and Grawemeyer, B., 2012. Developing IDEAS: supporting children with autism within a participatory design team. In: CHI'12: The 2012 ACM annual conference on Human Factors in Computing Systems, 2012-05-05 - 2012-05-10. New York: Association for Computing Machinery (ACM), pp. 2599-2608.

Benton, L., Johnson, H., Brosnan, M., Ashwin, E. and Grawemeyer, B., 2011. Children with ASD as design partners in the creation of a computer-based maths tutor. In: International Meeting For Autism Research, 2011-05-01.

Bernhardt, A., Barthe, L., Cani, M.-P. and Wyvill, B., 2010. Implicit blending revisited. Computer Graphics Forum, 29 (2), pp. 367-375.

Berrington, N., Broadberry, P. and Padget, J., 1993. EuLisp Threads: a concurrency toolbox. Lisp and Symbolic Computation, 1/2, pp. 177-199.

Bevan, C., Emanuel, L., Padget, J., Swart, J., Powell, J. and Basurra, S., 2013. Factors in the emergence and sustainability of self-regulation. In: AISB Convention. Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH)., 2013-04-03 - 2013-04-05.

Bevan, C., 2011. Human to Computer Trust in Urban Pervasive Computing. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Bevan, C., Mitchell, J., Kindberg, T., O'Neill, E., Grimmett, J., Stanton Fraser, D. and Woodgate, D., 2011. Influence of user choice on perception of wireless connection genuineness and security. In: 1st Workshop on Pervasive Urban Applications in conjunction with the 9th International Conference on Pervasive Computing, 2011, 2011-06-12 - 2011-06-15.

Bibu, G., Padget, J. and Yoshioka, N., 2012. System security requirements analysis with answer set programming. In: 2012 2nd IEEE International Workshop on Requirements Engineering for Systems, Services, and Systems-of-Systems, 2012-09-24 - 2012-09-24. IEEE, pp. 10-13.

Bibu, G. D., 2013. Computational Verification of Security Requirements. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Bilbao, S. and ffitch, J., 2006. Prepared piano sound synthesis. In: Proceedings of DAFx-06. Montreal, Quebec, Canada: DAFx, pp. 77-82.

Billings, M. and Watts, L. A., 2010. Understanding dispute resolution online: using text to reflect personal and substantive issues in conflict. In: 28th Annual CHI Conference on Human Factors in Computing Systems, CHI 2010, April 10, 2010 - April 15, 2010, 2010-04-01. New York: Association for Computing Machinery (ACM), pp. 1447-1456. (Conference on Human Factors in Computing Systems - Proceedings)

Bilovich, A., 2006. Detecting individual differences in beliefs through language use. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-22)

Bilovich, A. and Bryson, J. J., 2008. Detecting the evolution of semantics and individual beliefs through statistical analysis of language use. In: Beal, J., Bello, P., Cassimatis, N., Coen, M. and Winston, P., eds. Naturally-Inspired Artificial Intelligence - Papers from the AAAI Fall Symposium, Technical Report. Arlington, VA: AAAI Press, pp. 21-26.

Blagojevic, R., Dhir, D., Ranganathan, K., Lutteroth, C. and Plimmer, B., 2015. Recognizing Hand-drawn Glyphs from One Example and Four Lines of Code. Australian Computer Society, pp. 21-29.

Blake, A., Rother, C., Brown, M., Perez, P. and Torr, P., 2004. Interactive Image Segmentation Using an Adaptive GMMRF Model. In: Computer Vision - ECCV 2004.Vol. 3021. Heidelberg: Springer, pp. 428-441. (Lecture Notes in Computer Science)

Blot, V., 2016. Classical extraction in continuation models. In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, 2016-06-22 - 2016-06-26. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13.1-13.17.

Blot, V., 2016. Hybrid realizability for intuitionistic and classical choice. In: 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, 2016-07-05 - 2016-07-08. New York, U. S. A.: Institute of Electrical and Electronics Engineers Inc., pp. 575-584.

Blot, V., 2015. Typed realizability for first-order classical analysis. Logical Methods in Computer Science, 11 (4).

Blute, R., Guglielmi, A., Ivanov, I., Panangaden, P. and Straßburger, L., 2014. A Logical Basis for Quantum Evolution and Entanglement. In: Categories and Types in Logic, Language, and Physics.Vol. 8222. Springer, pp. 90-107. (Lecture Notes in Computer Science; 8222)

Boenn, G., Brain, M., De Vos, M. and Ffitch, J., 2012. Computational music theory. In: Musical Metacreation: Papers from the 2012 AIIDE Workshop. Association for the Advancement of Artificial Intelligence (AAAI), pp. 27-34. (AAAI Technical Report; WS-12-16)

Boenn, G., 2011. Automated analysis and transcription of rhythm data and their use for composition. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Boenn, G., Brain, M., De Vos, M. and Ffitch, J., 2011. Automatic music composition using answer set programming. Theory and Practice of Logic Programming, 11 (2-3), pp. 397-427.

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2009. ANTON: Composing logic and logic composing. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmomotonic Reasoning. Proceedings of the 10th International Conference (LPNMR 2009).Vol. 5753, 2009. Springer, pp. 542-547. (Lecture Notes in Artificial Intelligence)

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2011. Anton — A Rule-Based Composition System. In: Proceedings of ICMC 2011. University of Huddersfield and ICMA, pp. 135-138. (ICMC)

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2008. Anton: Answer Set Programming in the Service of Music. In: Pagnucco, M. and Thielscher, M., eds. Proceedings of the Twelth International Workshop on Non-Monotonic Reasoning. Sydney: University of New South Wales, pp. 85-93.

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2008. Automatic composition of melodic and harmonic music by answer set programming. In: Garcia de la Banda, M. and Pontelli, E., eds. Logic Programming. Proceedings of the 24th International Conference, ICLP 2008.5366 ed. Springer, pp. 160-174. (Lecture Notes in Computer Science)

Boonkrong, S., 2006. Authentication, pre-Handoff and Handoff in Pure MANET. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-14)

Boulanger, R. and Fitch, J., 2003. Teaching Software Synthesis: from hardware to software synthesis. In: Global Village - Global Brain - Global Music; KlangArt-Kongre\ss~1999. Electronic Publishing Osnabrück, pp. 463-470.

Boulanger, R., Smaragdis, P. and Fitch, J., 2000. Scanned Synthesis: An Introduction and Demonstration of a New Synthesis and Signal Processing Technique. In: Proceedings of ICMC 2000. ICMA, pp. 372-375.

Boulanger, R. and ffitch, J., 1998. Teaching software synthesis through Csound's new modelling opcodes. In: Simoni, M., ed. Proceedings, International Computer Music Conference 1998 (ICMC '98).Vol. 1998. International Computer Music Association and University of Michigan, pp. 121-124.

Boulos, M. N. K., Cai, Q., Padget, J. A. and Rushton, G., 2006. Using software agents to preserve individual health data confidentiality in micro-scale geographical analyses. Journal of Biomedical Informatics, 39 (2), pp. 160-170.

Bowyer, A., Davenport, J.H., Milne, P.S., Padget, J.A. and Wallis, A.F., 1989. A geometric algebra system. In: Woodwark, J.R., ed. Geometric Reasoning. Oxford, UK: Clarendon Press, pp. 1-30.

Bowyer, A., Davenport, J.H., Milne, P.S., Padget, J. and Wallis, A.F., 1989. Applications of computer algebra in solid modelling. Berlin: Springer, pp. 244-245. (Lecture Notes in Computer Science; 378)

Boyd, H., Jones, S., Harris, N., Panteli, A., Leake, J. and Jones, R., 2014. Development and testing of the inTouch video link for people with dementia:design approach and practical challenges. In: IEEE International Conference on Bioinformatics and Biomedicine (BIBM), 2014, 2014-11-02 - 2014-11-05. IEEE, pp. 608-612.

Bradford, R. and Davenport, J. H., 2002. Towards better simplification of elementary functions. In: Proceedings of the 2002 international symposium on Symbolic and algebraic computation, 2002-01-01.

Bradford, R., Dobson, R. and ffitch, J., 2005. Sliding is Smoother than Jumping. In: International Computer Music Conference 2005 (ICMC 2005), 2005-09-05 - 2005-09-09.

Bradford, R., Simmonds, R. and Unger, B., 2001. Packet Reading for Network Emulation. In: Proceedings MASCOTS 2001: TheIEEE/ACM International Symposium on Modeling, Analysis and Simulation ofComputer and Telecommunication Systems, 2001-08-01.

Bradford, R., Simmonds, R., Williamson, C. L., Arlitt, M. F. and Unger, B., 2002. Web server benchmarking using parallel WAN emulation. In: SIGMETRICS, 2002-01-01.

Bradford, R. J., Hearn, A. C., Padget, J. A. and Schrüfer, E., 1986. Enlarging the REDUCE domain of computation. New York, U. S. A.: Association for Computing Machinery (ACM), pp. 100-106.

Bradford, R.J. and Davenport, J.H., 1989. Effective tests for cyclotomic polynomials. Berlin, Germany: Springer, pp. 244-251. (Lecture Notes in Computer Science; 358)

Bradford, R., 1993. Algebraic simplification of multiple-valued functions. Springer, pp. 13-21. (Lecture Notes in Computer Science; 721)

Bradford, R., Chen, C., Davenport, J. H., England, M., Moreno Maza, M. and Wilson, D., 2014. Truth table invariant cylindrical algebraic decomposition by regular chains. In: Gerdt, V. P., Koepf, W., Seiler, W. M. and Vorozhtsov, E. V., eds. Computer Algebra in Scientific Computing.Vol. 8660. Springer, pp. 44-58. (Lecture Notes in Computer Science)

Bradford, R., Corless, R. M., Davenport, J. H., Jeffrey, D. J. and Watt, S. M., 2002. Reasoning about the elementary functions of complex analysis. Annals of Mathematics and Artificial Intelligence, 36 (3), pp. 303-318.

Bradford, R., Davenport, J. and Wilson, D., 2013. A repository for CAD Examples. ACM Communications in Computer Algebra, 46 (3), pp. 67-69.

Bradford, R., Davenport, J. H., England, M., McCallum, S. and Wilson, D., 2013. Cylindrical algebraic decompositions for Boolean combinations. In: ISSAC 2013: International Symposium on Symbolic and Algebraic Computation, 2013-06-25 - 2013-06-28. New York: ACM, pp. 125-132.

Bradford, R., Davenport, J. H., England, M. and Wilson, D., 2013. Optimising problem formulation for cylindrical algebraic decomposition. In: Carette, J., Aspinall, D., Lange, C., Sojka, P. and Windsteiger, W., eds. Conferences on Intelligent Computer Mathematics: CICM 2013, 2013-07-07 - 2013-07-11. Berlin: Springer, pp. 19-34. (Lecture Notes in Computer Science; 7961)

Bradford, R., Davenport, J. H. and Sangwin, C., 2010. A comparison of equality in computer algebra and correctness in mathematical pedagogy (II). International Journal for Technology in Mathematics Education, 17 (2), pp. 93-98.

Bradford, R., Davenport, J. H. and Sangwin, C. J., 2009. A comparison of equality in computer algebra and correctness in mathematical pedagogy. In: Carette, J., Dixon, L., Sacerdoti Coen, C. and Watt, S. M., eds. 8th International Conference on Mathematical Knowledge Management (MKM 2009), 2009-07-10 - 2009-07-12. Berlin: Springer, pp. 75-89. (Lecture Notes in Computer Science; 5625/2)

Bradford, R., Davenport, J. H., England, M., McCallum, S. and Wilson, D., 2016. Truth table invariant cylindrical algebraic decomposition. Journal of Symbolic Computation, 76, pp. 1-35.

Bradford, R., Dobson, R. and ffitch, J. P., 2007. The Sliding Phase Vocoder. In: Proceedings of the 2007 International Computer Music Conference.Vol. II. ICMA and Re:New, pp. 449-452.

Bradford, R., ffitch, J. and Dobson, R., 2011. Real-time Sliding Phase Vocoder using a Commodity GPU. In: Proceedings of ICMC 2011. University of Huddersfield and ICMA, pp. 587-590. (ICMC)

Bradford, R., ffitch, J. and Dobson, R., 2008. Sliding with a constant Q. In: Proc. of the Int. Conf. on Digital Audio Effects (DAFx-08), 2008-09-01. Espoo, Finland: DAFx, pp. 363-369.

Bradshaw, J. M., Feltovich, P. J., Jung, H., Kulkarni, S., Taysom, W. and Uszok, A., 2004. Dimensions of adjustable autonomy and mixed-initiative interaction. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy: Potential, Risks, and Solutions.Vol. 2969. , pp. 17-39. (Lecture Notes in Computer Science)

Brain, M., Crick, T., De Vos, M. and Fitch, J., 2006. TOAST: Applying answer set programming to superoptimisation. In: Logic Programming, Proceedings.Vol. 4079. , pp. 270-284. (Lecture Notes in Computer Science)

Brain, M. and De Vos, M., 2005. Debugging logic programs under the answer set semantics. In: ASP05: Answer Set Programming: Advances in Theory and Implementation, 2005-07-01.

Brain, M. and De Vos, M., 2003. Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. In: Marina~De, V. and Alessandro, P., eds. 2nd International Workshop on Answer Set Programming Advances in Theory and Implementation, ASP 2003, 2003-09-26 - 2003-09-28.

Brain, M., Watson, R. and De Vos, M., 2005. An Interactive Approach to Answer Set Programming. In: De Vos, M. and Provetti, A., eds. ASP05: Answer Set Programming: Advances in Theory and Implementation, 2005-07-01.

Brain, M. J., Crick, T., Fitch, J. P. and de Vos, M., 2006. An application of answer set programming: Superoptimisation (A preliminary report). University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-05)

Brain, M. J., Faber, W., Maratea, M., Polleres, A., Schaub, T. and Schindlauer, R., 2007. What should an ASP solver output? A multiple position paper. In: Software Engineering for Answer Set Programming: SEA'07: First International Workshop, 2007-05-14.

Brain, M. and De Vos, M., 2005. Debugging logic programs under the answer set semantics. In: De Vos, M. and Provetti, A., eds. ASP'05: Answer set programming: advances in theory and implementation.Vol. 142. , pp. 141-152. (CEUR Workshop Proceedings; 142)

Brain, M. J., 2004. Incremental answer set programming. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-05)

Brain, M., Cliffe, O. and De Vos, M., 2009. A pragmatic programmer’s guide to answer set programming. In: Software Engineering for Answer Set Programming (SEA09), 2009-09-14.

Brain, M. and De Vos, M., 2009. The significance of memory costs in answer set solver implementation. Journal of Logic and Computation, 19 (4), pp. 615-641.

Brain, M. and Schanda, F., 2012. A lightweight technique for distributed and incremental program verification. In: Verified Software: Theories, Tools, Experiments.7152 ed. Heidelberg: Springer, pp. 114-129. (Lecture Notes in Computer Science)

Brazier, F., Dignum, V., Huhns, M. N., Derksen, C., Dignum, F., Lessner, T., Padget, J., Quillinan, T. and Singh, M. P., 2012. Agent-based organisational governance of services. Multiagent and Grid Systems, 8 (1), pp. 3-18.

Brazier, F.M., Dignum, V., Dignum, F., Huhns, M.H., Lessner, T., Padget, J., Quillinan, T. and Singh, M.P., 2010. Governance of services:a natural function for agents. In: 22nd Benelux Conference on Artificial Intelligence, BNAIC 2010, 2000-10-24 - 2010-10-25.

Breuer, P., Kim, K. I., Kienzle, W., Blanz, V. and Schölkopf, B., 2007. Automatic 3D face reconstruction from single images or video. In: Max Planck Institute for Biological Cybernetics Technical Reports. .

Breuer, P., Kim, K.- I., Kienzle, W., Schölkopf, B. and Blanz, V., 2008. Automatic 3D face reconstruction from single images or video. In: 8th International Conference on Automatic Face & Gesture Recognition (FG 08), 2008, 2008-09-17 - 2008-09-19. IEEE, pp. 1-8.

Brom, C., Gemrot, J., Bida, M., Burkert, O., Partington, S. J. and Bryson, J. J., 2006. POSH Tools for Game Agent Development by Students and Non-Programmers. In: Mehdi, Q., Mtenzi, F., Duggan, B. and McAtamney, H., eds. The Nineth International Computer Games Conference: AI, Mobile, Educational and Serious Games, 2006-11-01.

Bronstein, M., Corless, R. M., Davenport, J. H. and Jeffrey, D. J., 2008. Algebraic properties of the Lambert W Function from a result of Rosenlicht and of Liouville. Integral Transforms and Special Functions, 19 (10), pp. 709-712.

Brooks, M., 2005. An investigation in to the neural structure of a jellyfish. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-12)

Brooks, M., 2013. Facilitating the Creation of Advanced Agents within NetLogo by Allowing Specification and Control Using the Behaviour Oriented Design Methodology. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-07)

Brosnan, M., Daggar, R. and Collomosse, J., 2010. The relationship between systemising and mental rotation and the implications for the extreme male brain theory of autism. Journal of Autism and Developmental Disorders, 40 (1), pp. 1-7.

Brosnan, M., Ashwin, E., Johnson, H., Grawemeyer, B. and Benton, L., 2010. Emotion recognition of avatars in adolescents with ASD. In: The Third Autism Neuroscience Conference, 2010-09-10.

Brosnan, M., Johnson, H., Grawemeyer, B., Chapman, E., Antoniadou, K. and Hollinworth, M., 2016. Deficits in metacognitive monitoring in mathematics assessments in learners with autism spectrum disorder. Autism, 20 (4), pp. 463-472.

Brosnan, M., Johnson, H., Grawmeyer, B., Chapman, E. and Benton, L., 2015. Emotion recognition in animated compared to human stimuli in adolescents with Autism Spectrum Disorder. Journal of Autism and Developmental Disorders, 45 (6), pp. 1785-1796.

Brothwell, A., 2007. Developing an artificially intelligent real time blues accompanist. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-01)

Brown, C. W. and Davenport, J. H., 2007. The complexity of quantifier elimination and cylindrical algebraic decomposition. In: Proceedings of the 2007 international symposium on Symbolic and algebraic computation, 2007-01-01. New York: ACM, pp. 54-60.

Brown, M., Drummond, T. and Cipolla, R., 2000. 3D Model Acquisition by Tracking 2DWireframes. In: BMVC 200: Eleventh British Machine Vision Conference, 2000-09-11 - 2000-09-14.

Brown, M., Hartley, R. I. and Nister, D., 2007. Minimal Solutions for Panoramic Stitching. In: CVPR '07: IEEE Conference on Computer Vision and Pattern Recognition, 2007, 2007-06-17 - 2007-06-22.

Brown, M. and Lowe, D., 2002. Invariant Features from Interest Point Groups. In: BMVC 2002: 13th British Machine Vision Conference, 2002-09-02 - 2002-09-05.

Brown, M. and Lowe, D. G., 2003. Recognising panoramas. In: Computer Vision 2003: Ninth IEEE International Conference on, 2003-10-13 - 2003-10-16.

Brown, M. and Lowe, D. G., 2005. Unsupervised 3D Object Recognition and Reconstruction in Unordered Datasets. In: 3DIM 2005: Fifth International Conference on 3-D Digital Imaging and Modeling, 2005, 2005-06-13 - 2005-06-16.

Brown, M. and Lowe, D. G., 2007. Automatic Panoramic Image Stitching using Invariant Features. International Journal of Computer Vision, 74 (1), pp. 59-73.

Brown, M., Szeliski, R. and Winder, S., 2005. Multi-Image Matching Using Multi-Scale Oriented Patches. In: CVPR 2005: IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2005, 2005-06-20 - 2005-06-25.

Brown, M., Szeliski, R. and Winder, S., 2004. Multi-Scale Oriented Patches. Microsoft Research.

Brown, M. A., 2005. Multi-Image Matching using Invariant Features. Thesis (Doctor of Philosophy (PhD)). University of British Columbia.

Brown, M. A., Barrington-Leigh, C. and Brown, Z., 2012. Kernel regression for real-time building energy analysis. Journal of Building Performance Simulation, 5 (4), pp. 263-276.

Brown, M. A., Hua, G. and Winder, S., 2011. Discriminative learning of local image descriptors. IEEE Transactions on Pattern Analysis and Machine Intelligence, 33 (1), pp. 43-57.

Brown, M. A. and Susstrunk, S., 2011. Multi-spectral SIFT for scene category recognition. In: IEEE Computer Vision and Pattern Recognition (CVPR) 2011, 2011-06-21 - 2011-06-25. IEEE, pp. 177-184.

Bruennler, K. and Guglielmi, A., 2004. A First Order System with Finite Choice of Premises. In: Hendricks, V. F., Neuhaus, F., Andur Pederson, S., Scheffler, U. and Wansing, H., eds. First-Order Logic Revisited. Logos Verlag, pp. 59-74. (Logische Philosophie)

Bruscoli, P. and Guglielmi, A., 2003. A Tutorial on Proof Theoretic Foundations of Logic Programming. In: Logic Programming, 19th International Conference - Lecture Notes in Computer Science.Vol. 2916. Springer, pp. 109-127. (Lecture Notes in Computer Science)

Bruscoli, P. and Guglielmi, A., 2006. On Structuring Proof Search for First Order Linear Logic. Theoretical Computer Science, 360 (1-3), pp. 42-76.

Bruscoli, P. and Guglielmi, A., 2003. On Structuring Proof Search for First Order Linear Logic. In: Lecture Notes in Artificial Intelligence, 2003-01-01.

Bruscoli, P. and Guglielmi, A., 2009. On the proof complexity of deep inference. ACM Transactions on Computational Logic, 10 (2), 14.

Bruscoli, P., Guglielmi, A., Gundersen, T. and Parigot, M., 2010. A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae. Berlin: Springer, pp. 136-153. (Lecture Notes in Computer Science; 6355)

Bryson, J. J., 2003. Action Selection and Individuation in Agent Based Modelling. In: Sallach, D. L. and Macal, C., eds. Proceedings of Agent 2003: Challenges in Social Simulation, 2003-01-01.

Bryson, J. J., 2004. Consciousness is easy but learning is hard. The Philosophers' Magazine, 28, pp. 70-72.

Bryson, J. J., 2000. Cross-paradigm analysis of autonomous agent architecture. Journal of Experimental and Theoretical Artificial Intelligence, 12 (2), pp. 165-190.

Bryson, J. J., 2009. Crude, Cheesy, Second-Rate Consciousness. In: Bishop, M., ed. The Second AISB Symposium Computing and Philosophy, 2009-04-09.

Bryson, J. J., 2002. Language isn't quite that special. Behavioral and Brain Sciences, 25 (6), pp. 679-680.

Bryson, J. J., 2005. Modular Representations of Cognitive Phenomena in AI, Psychology and Neuroscience. In: Davis, D. N., ed. Visions of Mind: Architectures for Cognition and Affect. London: Idea Group, pp. 66-89.

Bryson, J. J., 2012. Patiency is not a virtue:suggestions for co-constructing an ethical framework including intelligent artefacts. In: Gunkel, D. J., Bryson, J. J. and Torrance, S., eds. The machine question. Society for the Study of Artificial Intelligence and the Simulation of Behaviour, pp. 73-77.

Bryson, J. J., 2007. Representational Requirements for Evolving Cultural Evolution. In: Origgi, G., Reboul, A. and Wozniak, A., eds. Web conference, Adaptation and Representation, 2007-05-28.

Bryson, J. J., 2008. The Impact of Durative State on Action Selection. In: Horswill, I., Hudlicka, E., Lisetti, C. and Velasquez, J., eds. Proceedings of the AAAI Spring Symposium on Emotion, Personality, and Social Behavior. AAAI, pp. 2-9.

Bryson, J. J., 2008. The Role of Modularity in Stabilizing Cultural Evolution: Conformity and Innovation in an Agent-Based Model. In: Davis, A. and Ludwig, J., eds. Proceedings of the AAAI Fall Symposium on Adaptive Agents in Cultural Contexts (AACC '08), 2008-11-07 - 2008-11-09.

Bryson, J. J., 2006. The attentional spotlight. Minds and Machines, 16 (1), pp. 21-28.

Bryson, J. J., 2002. The behavior-oriented design of modular agent intelligence. In: Kowalszyk, R., Muller, J. P., Tianfield, H. and Unland, R., eds. Agent Technologies, Infrastructures, Tools, and Applications for E-Services.Vol. 2592. Springer, pp. 61-76. (Lecture Notes in Computer Science)

Bryson, J. J., 1995. The reactive accompanist: Adaptation and behavior decomposition in a music system. In: Steels, L., ed. The biology and technology of intelligent autonomous agents. Berlin: Springer.

Bryson, J. J., 2002. Where should complexity go? Cooperation in complex agents with minimal communication. In: Truszkowski, W., Rouff, C. and Hinchey, M., eds. Innovative Concepts for Agent-Based Systems.Vol. 2564. Springer, pp. 303-319. (Lecture Notes in Computer Science)

Bryson, J. J., Ando, Y. and Lehmann, H., 2007. Agent-based modelling as scientific method: a case study analysing primate social behaviour. Philosophical Transactions of the Royal Society B - Biological Sciences, 362 (1485), pp. 1685-1698.

Bryson, J. J. and Flack, J. C., 2002. Action Selection for an Artificial Life Model of Social Behaviorin Non-Human Primates. In: Hemelrijk, C., ed. Proceedings of theInternational Workshop on Self-Organization and Evolution of Social Behaviour, 2002-09-01.

Bryson, J. J. and Leong, J. C. S., 2007. Primate errors in transitive 'inference': a two-tier learning model. Animal Cognition, 10 (1), pp. 1-15.

Bryson, J. J. and Lowe, W., 1997. Cognition without representational redescription. Behavioral and Brain Sciences, 20 (4), pp. 743-744.

Bryson, J. J., Martin, D., McIlraith, S. I. and Stein, L. A., 2003. Agent-based composite services in DAML-S: The behavior-oriented design of an intelligent semantic web. In: Zhong, N., Liu, J. and Yao, Y., eds. Web Intelligence. Springer, pp. 37-58.

Bryson, J. J., Martin, D. L., McIlraith, S. A. and Stein, L. A., 2002. Toward behavioral intelligence in the semantic Web. Computer, 35 (11), pp. 48-54.

Bryson, J. J. and Tanguy, E. A. R., 2010. Simplifying the design of human-like behaviour:Emotions as durative dynamic state for action selection. International Journal of Synthetic Emotions, 1 (1), pp. 30-50.

Bryson, J.J., 2012. A role for consciousness in action selection. International Journal of Machine Consciousness, 4 (2), pp. 471-482.

Bryson, J.J., 2012. Internet memory and life after death. Bereavement Care, 31 (2), pp. 70-72.

Bryson, J., 2011. AI robots should not be considered moral agents. In: Berlatsky, N., ed. Artificial Intelligence. Detroit: Greenhaven Press. (Opposing Viewpoints Series)

Bryson, J., 2015. Artificial intelligence and pro-social behaviour. In: Misselhorn, C., ed. Collective Agency and Cooperation in Natural and Artificial Systems. Berlin: Springer, pp. 281-306. (Philosophical Studies; 122)

Bryson, J., 2009. Building persons is a choice. Erwägen Wissen Ethik, 20 (2), pp. 195-197.

Bryson, J., 2006. Embodiment vs. memetics: Is building a human getting easier? In: Proceedings of AISB'06: Adaptation in Artificial and Biological Systems.Vol. 2. , pp. 48-51.

Bryson, J. J., 2000. A Proposal for the Humanoid Agent-builders League (HAL). In: AISB'00 Symposium on Artificial Intelligence, Ethics and (Quasi-)Human Rights, 2000-01-01.

Bryson, J. J., 2011. A role for consciousness in action selection. In: Proceedings of the AISB 2011 Symposium: Machine Consciousness, 2011-04-06 - 2011-04-07.

Bryson, J. J., 2009. Age-related inhibition and learning effects: Evidence from transitive performance. In: The 31st Annual Meeting of the Cognitive Science Society (CogSci 2009), 2009-07-29 - 2009-08-01.

Bryson, J. J., 2010. Cultural ratcheting results primarily from semantic compression. In: The Evolution of Language: Proceedings of the 8th International Conference on the Evolution of Language (EVOLANG 8). World Scientific, pp. 50-57.

Bryson, J. J., 2008. Embodiment vs. Memetics. Mind & Society, 7 (1), pp. 77-94.

Bryson, J. J., 2001. Embodiment vs. Memetics: Does Language Need a Physical Plant? In: Pfeifer, R. and Westermann, G., eds. Developmental Embodied Cognition(DECO-2001), 2001-07-01.

Bryson, J. J., 2005. Evidence of Modularity from Primate Errors during Task Learning. In: Cangelosi, A., Bugmann, G. and Borisyuk, R., eds. Modelling Language, Cognition, and Action: The Ninth Neural Computation and Psychology Workshop (NCPW9), 2004-09-08 - 2004-09-10.

Bryson, J. J., 2000. Hierarchy and Sequence vs. Full Parallelism in Action Selection. In: Simulation of Adaptive Behavior 6, 2000-01-01.

Bryson, J. J., 2000. Making Modularity Work: Combining Memory Systems and Intelligent Processes in a Dialog Agent. In: AISB'00 Symposium on Designing a Functioning Mind, 2000-01-01.

Bryson, J. J., 2004. Modularity and Specialized Learning: Reexamining Behavior-Based Artificial Intelligence. In: Triesch, J. and Jebara, T., eds. The Proceedings of The Third International Conference on Development and Learning (ICDL'04): Developing Social Brains, 2004-10-01.

Bryson, J. J., 2010. Robots should be slaves. In: Wilks, Y., ed. Close engagements with artificial companions: key social, psychological, ethical and design issues. Amsterdam: John Benjamins, pp. 63-74. (Natural Language Processing; 8)

Bryson, J. J., 2012. Structuring intelligence: the role of hierarchy, modularity and learning in generating intelligent behaviour. In: McFarland, D., Stenning, K. and McGonigle-Chalmers, M., eds. The complex mind. Basingstoke: Palgrave Macmillan, pp. 126-143.

Bryson, J. J., 2010. The need for cognitive systems in medical care. CyberTherapy & Rehabilitation Magazine, 3 (3), pp. 35-36.

Bryson, J. J., 2010. Why robot nannies probably won't do much psychological damage. Interaction Studies, 11 (2), pp. 196-200.

Bryson, J. J., Caulfield, T. J. and Drugowitsch, J., 2006. Integrating Life-Like Action Selection into Cycle-Based Agent Simulation Environments. In: North, M., Sallach, D. L. and Macal, C., eds. Proceedings of Agent 2005: Generative Social Processes, Models, and Mechanisms. Argonne National Laboratory, pp. 67-81.

Bryson, J. J., Decker, K., DeLoach, S., Huhns, M. and Wooldridge, M., 2001. Agent Development Tools. In: Castelfranchi, C. and Lesperance, Y., eds. The Seventh International Workshopon Agent Theories, Architectures, and Languages (ATAL2000), 2001-01-01.

Bryson, J. J. and Hauser, M. D., 2002. What Monkeys See and Don't Do: Agent Models of Safe Learning in Primates. In: Barley, M. and Guesgen, H. W., eds. AAAI Spring Symposium on Safe Learning Agents, 2002-03-01.

Bryson, J. J. and Kaczensky, P., 2009. Exploring Knowledge Dissemination as a Selective Force for Aggregation: Preliminary Results from Modelling Wild Asiatic Asses. In: Powers, S., ed. Levels of Selection and Individuality in Evolution: Conceptual Issues and the Role of Artificial Life Models, a workshop at The Tenth European Conference on Artificial Life (ECAL '09), 2009-09-14.

Bryson, J. J. and Kime, P. P., 2011. Just an artifact: Why machines are perceived as moral agents. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 2011-07-16 - 2011-07-22, Barcelona, Catalonia.

Bryson, J. J. and Kime, P. P., 2011. Just an artifact:why machines are perceived as moral agents. In: Walsh, T., ed. Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence.Vol. 2. Menlo Park, CA, USA: AAAI Press, pp. 1641-1646.

Bryson, J. J., Lowe, W. and Stein, L. A., 2001. Hypothesis Testing for Complex Agents. In: Meystel, A. M. and Messina, E. R., eds. NIST Workshop on Performance Metrics for Intelligent Systems, 2001-08-01.

Bryson, J. J. and Stein, L. A., 2000. Architectures and Idioms: Making Progress in Agent Design. In: Castelfranchi, C. and Lesperance, Y., eds. The Seventh International Workshop on Agent Theories, Architectures and Languages (ATAL), 2000-01-01.

Bryson, J. J. and Stein, L. A., 2001. Modularity and Design in Reactive Intelligence. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence, 2001-08-01.

Bryson, J. J. and Stein, L. A., 2001. Modularity and Specialized Learning in the Organization of Behaviour. In: French, R. and Sougne, J., eds. Connectionist Models of Learning, Development and Evolution: The Sixth Neural Computation and Psychology Workshop (NCPW6), 2001-01-01.

Bryson, J. J. and Stein, L. A., 2001. Modularity and Specialized Learning: Mapping Between Agent Architectures and Brain Organization. In: Stefan, W., Jim, A. and David, W., eds. Emergent Neural Computational Architectures Based on Neuroscience, 2001-01-01.

Bryson, J. J. and Wood, M. A., 2005. Learning Discretely: Behaviour and Organisation in Social Learning. In: Demiris, Y., ed. Third International Symposium on Imitation in Animals and Artifacts, 2005-04-01.

Bryson, J. J., 2016. Simulation and the evolution of thought. In: Groes, S., ed. Memory in the Twenty-First Century. Palgrave Macmillan, pp. 205-207.

Bryson, J. J., 2016. The confabulation of self. In: Groes, S., ed. Memory in the Twenty-First Century. Palgrave Macmillan, pp. 334-337.

Bryson, J. J., Mitchell, J., Powers, S. T. and Sylwester, K., 2014. Understanding and addressing cultural variation in costly antisocial punishment. In: Gibson, M. A. and Lawson, D. W., eds. Applied Evolutionary Anthropology. London, U. K.: Springer, pp. 201-222. (Advances in the Evolutionary Analysis of Human Behaviour; 1)

Bueno, C., Crossland, S., Lutteroth, C. and Weber, G., 2011. Rewriting history:more power to creative people. New York, U. S. A.: ACM, pp. 62-71.

Burdorf, C. and Fitch, J. P., 1993. Cloning Persistent Simulation Objects under a Conservative Mechanism of Concurrency-Control. In: Pave, A., ed. European Simulation Multiconference 1993. San Diego CA: Soc. Computer Simulation Int., pp. 598-602.

Burdorf, C., Fitch, J. P., Marti, J. B. and Padget, J. A., 1989. A Multiprocessor Execution Profiler. In: Software Track Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences, 1989-01-01. University of Hawaii, pp. 524-531.

Burdorf, C. and Fitch, J., 1992. Using Chaos to Predict Commodity Market Price Fluctuations in Neural Networks. In: 2nd Irish Neural Networks Conference. IoP Publishing, pp. 289-296.

Burrows, R., Johnson, H. and Johnson, P., 2014. Developing an Online Social Media System to Influence Pro-environmental Behaviour based on User Values. In: 9th International Conference on Persuasive Technology, Extended Abstract, 2014-05-21 - 2014-05-23.

Burrows, R., Johnson, P. and Johnson, H., 2014. Influencing Behaviour by Modelling User Values:Energy Consumption. In: 2nd International Workshop on Behaviour Change Support Systems, PERSUASIVE'2014, 2014-05-21.

Butler, S., 2006. A simulated exploration into the growth of modern terrorist networks. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-18)

Butler, S. and Bryson, J. J., 2007. Effects of Mass Media and Opinion Exchange on Extremist Group Formation. In: Amblard, F., ed. Proceedings of the Fourth Conference of the European Social Simulation Society (ESSA 2007). Toulouse, France: IRIT Publications, pp. 455-465.

Byrod, M., Brown, M. and Astrom, K., 2009. Minimal Solutions for Panoramic Stitching with Radial Distortion. In: British Machine Vision Conference 2009: BMVC09, 2009-09-07 - 2009-09-10.

Cabrera, A., ffitch, J., Gogins, M., Lazzarini, V. and Yi, S., 2013. The new developments in Csound6. In: Gardiner, A. and Varano, A., eds. International Computer Music Conference 2013, 2013-08-11 - 2013-08-17. Perth, WA: Tura New Music.

Cace, I. and Bryson, J. J., 2007. Guest Editorial. Interdisciplinary Description of Complex Systems, 5 (2), ii.

Cace, I. and Bryson, J. J., 2005. Why Information can be Free. In: Cangelosi, A. and Nehaniv, C. L., eds. Second International Symposium on the Emergence and Evolution of Linguistic Communication (EELC'05), 2005-04-01.

Cai, H., Wu, Q. and Hall, P., 2015. Beyond photo domain object recognition:benchmarks for the cross depiction problem. In: 2015 IEEE International Conference on Computer Vision Workshop (ICCVW) Date of Conference:, 2015-12-07 - 2015-12-13. IEEE, pp. 74-79.

Calderon, A., Hinds, J. and Johnson, P., 2014. IntCris:A tool for enhanced communication and collective decision-making during crises. In: 11th International Conference on Information Systems for Crisis Response and Management, ISCRAM 2014, 2014-05-01 - 2014-05-01.

Calderon, A., Hinds, J. and Johnson, P., 2013. Leading cats: how to effectively command collectives. In: 10th International ISCRAM Conference, 2013-05-12 - 2013-05-15.

Calderon, A. C. and McCusker, G. A., 2010. Understanding game semantics through coherence spaces. Electronic Notes in Theoretical Computer Science, 265, pp. 231-244.

Campbell, J. A. and Fitch, J. P., 1980. Symbolic Computing with and without LISP. In: LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming. New York: ACM, pp. 1-5.

Campbell, N.D.F., Subr, K. and Kautz, J., 2013. Fully-connected CRFs with non-parametric pairwise potential. IEEE Computer Society Conference on Computer Vision and Pattern Recognition

Campbell, N.D.F., Vogiatzis, G., Hernández, C. and Cipolla, R., 2010. Automatic 3D object segmentation in multiple views using volumetric graph-cuts. Image and Vision Computing, 28 (1), pp. 14-25.

Campbell, N.D.F., Vogiatzis, G., Hernández, C. and Cipolla, R., 2011. Automatic object segmentation from calibrated images. In: Proceedings - Conference for Visual Media Production (CVMP), 2011. IEEE, pp. 126-137.

Campbell, N.D.F., Vogiatzis, G., Hernández, C. and Cipolla, R., 2008. Using multiple hypotheses to improve depth-maps for multi-view stereo. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).Vol. 5302 LNCS. , pp. 766-779.

Campbell, N. D. F. and Kautz, J., 2014. Learning a Manifold of Fonts. ACM Transactions on Computer Systems, 33 (4).

Caprotti, O., Davenport, J. H., Dewar, M. and Padget, J., 2004. Mathematics on the (semantic) NET. (Lecture Notes in Computer Science)

Carabelea, C., Boissier, O. and Florea, A., 2004. Autonomy in multi-agent systems:a classification attempt. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy. Berlin, Germany: Springer, pp. 103-113. (Lecture Notes in Computer Science; 2969)

Carette, J., Davenport, J. and Fitch, J., 2009. Barton and Fitch Revisited. EPRINTS-JOURNAL

Carette, J. and Davenport, J. H., 2010. Factorization of sparse polynomials or the power of vocabulary. Submitted to: International Symposium on Symbolic and Algebraic Computation 2010 (ISSAC 2010), 2010-07-25 - 2010-07-28.

Carnell, A. R., 2008. Aspects of learning within networks of spiking neurons. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Carrigan, N., Forbes, N., Hourizi, R. and Johnson, P., 2010. A framework for managing collaboration and conflict in complex systems. In: Proceedings of the IADIS International Conference on Collaborative Technologies 2010,CT, IADIS Int. Conf. Web Based Communities 2010, Part of the MCCSIS 2010. Lisbon: IADIS, pp. 37-44.

Carruthers, L. J. and Johnson, H., 2004. Creating creativity: Generating requirements for tools to support creative processes. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-02)

Casas, D., Richardt, C., Collomosse, J., Theobalt, C. and Hilton, A., 2015. 4D Model Flow: Precomputed Appearance Alignment for Real-time 4D Video Interpolation. Computer Graphics Forum, 34 (7), pp. 173-182.

Casasola, E., De, V., Cliffe, O. and Padget, J., 2005. Teaching Multi-Agent Systems in the UK and in LatinAmerica. In: ITALICS (Innovations in Teaching And Learning inInformation and Computer Sciences), an on-line journal, 2005-01-01.

Caseli, H. D., Ramisch, C., Nunes, M. D. V. and Villavicencio, A., 2010. Alignment-based extraction of multiword expressions. Language Resources and Evaluation, 44 (1-2), pp. 59-77.

Castelfranchi, C. and Falcone, R., 2004. Founding autonomy: The dialectics between (social) environment and agent's architecture and powers. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy: Potential, Risks, and Solutions.Vol. 2969. , pp. 40-54. (Lecture Notes in Computer Science)

Castro, G. G., Ugail, H., Willis, P. and Palmer, I., 2008. A survey of partial differential equations in geometric design. Visual Computer, 24 (3), pp. 213-225.

Caulfield, T., 2004. Acquiring and using knowledge in computer chess. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-17)

Chakravarthi, Y. A., Lutteroth, C. and Weber, G., 2009. AIMHelp:generating help for GUI applications automatically. New York, U. S. A.: ACM, pp. 21-28.

Chan, K. W., Dunn, R. W., Daniels, A. R., Padget, J. A., Ekwue, A. O., Buxton, P. H. and Rawlins, M. J., 1997. On-line dynamic-security contingency screening and ranking. Generation, Transmission and Distribution, IEE Proceedings-, 144 (2), pp. 132-138.

Chapman, N., Ludwig, S. A., Naylor, W., Padget, J. and Rana, O. F., 2007. Matchmaking support for dynamic workflow composition. In: IEEE International Conference on e-Science and Grid Computing, 2007, 2007-12-10 - 2007-12-13. IEEE, pp. 371-378.

Charron, C., Hicks, Y. and Hall, P., 2009. Applying incremental learning to parallel image segmentation. In: 2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV Workshops 2009. IEEE, pp. 2064-2071.

Chen, C., Davenport, J. H., Lemaire, F., Maza, M. M., Xia, B., Xiao, R. and Xie, Y., 2011. Computing the real solutions of polynomial systems with the RegularChains library in Maple. ACM Communications in Computer Algebra, 45 (3-4), pp. 166-168.

Chen, C., Davenport, J.H., Moreno Maza, M., Xia, B. and Xiao, R., 2012. Computing with semi-algebraic sets:Relaxation techniques and effective boundaries. Journal of Symbolic Computation, 52, pp. 72-96.

Chen, C., Davenport, J. H., May, J., Moreno Maza, M., Xia, B., Xiao, R. and Xie, Y., 2009. User interface design for geometrical decomposition algorithms in Maple. In: Mathematical User-Interfaces Workshop 2009, 2009-07-06.

Chen, C., Davenport, J. H., Moreno Maza, M., Xia, B. and Xiao, R., 2011. Computing with semi-algebraic sets represented by triangular decomposition. In: 36th International Symposium on Symbolic and Algebraic Computation, ISSAC 2011, June 8, 2011 - June 11, 2011, 2011-01-01. New York: Association for Computing Machinery (ACM), pp. 75-82. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC)

Chen, C., Davenport, J. H., May, J. P., Maza, M. M., Xia, B. and Xiao, R., 2010. Triangular decomposition of semi-algebraic systems. In: 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC 2010, July 25, 2010 - July 28, 2010, 2010-01-01. New York, U. S. A.: ACM, pp. 187-194.

Chen, C., Davenport, J. H., May, J. P., Moreno Maza, M., Xia, B. and Xiao, R., 2013. Triangular decomposition of semi-algebraic systems. Journal of Symbolic Computation, 49, pp. 3-26.

Chen, M., Correa, C., Islam, S., Jones, M. W., Shen, P. Y., Silver, D., Walton, S. J. and Willis, P. J., 2007. Manipulating, deforming and animating sampled object representations. Computer Graphics Forum, 26 (4), pp. 824-852.

Chen, M., Islam, S., Jones, M. W., Shen, P. Y., Silver, D., Walton, S. J., Willis, P. J. and Correa, C., 2005. Deforming and animating discretely sampled object representations. In: Eurographics 05, 2005-08-01.

Chen, X., Sime, G., Lutteroth, C. and Weber, G., 2015. OAuthHub:A Service for Consolidating Authentication Services. IEEE, pp. 201-210.

Cheng, E., Hyland, M. and Power, J., 2003. Pseudo-distributive laws. Electronic Notes in Theoretical Computer Science, 83.

Chevaleyre, Y., Dunne, P. E., Endriss, U., Lang, J., Lemaitre, M., Maudet, N., Padget, J., Phelps, S., Rodrguez-Aguilar, J. A. and Sousa, P., 2006. Issues in Multiagent Resource Allocation. Informatica, 30, 3--31.

Chinery, A., 2015. Dynamic Editable Models of Fire From Video. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Chiravirakul, P. and Payne, S. J., 2014. Choice overload in search engine use? In: ACM CHI Conference on Human Factors in Computing Systems 2014, 2014-04-26 - 2014-05-01.

Chung, K., 2004. Development of an integrated chat monitoring and web filtering parental control for child online supervision. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-13)

Churchill, M., 2012. Imperative Programs as Proofs via Game Semantics. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Churchill, M. and Laird, J., 2010. A logic of sequentiality. In: Dawar, A. and Veith, H., eds. Computer Science Logic (Lecture Notes in Computer Science).Vol. 6247/2. Springer, pp. 215-229. (Lecture Notes in Computer Science)

Churchill, M., Laird, J. and McCusker, G., 2011. Imperative programs as proofs via game semantics. IEEE, pp. 65-74. (Annual Symposium on Logic in Computer Science)

Churchill, M., Laird, J. and McCusker, G., 2013. Imperative programs as proofs via game semantics. Annals of Pure and Applied Logic, 164 (11), pp. 1038-1078.

Chyzak, F., Davenport, J. H., Koutschan, C. and Salvy, B., 2012. On Kahan's rules for determining branch cuts. In: Proc. SYNASC '11. IEEE Press.

Clairambault, P., 2011. Estimation of the length of interactions in arena game semantics. In: Foundations of Software Science and Computational Structures - 14th Int. Conf., FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings.Vol. 6604 LNCS. Heidelberg: Springer, pp. 335-349. (Lecture Notes in Computer Science)

Clairambault, P., 2011. Isomorphisms of types in the presence of higher-order references. In: 2011 IEEE 26th Annual Symposium on Logic in Computer Science. Piscataway, NJ: IEEE, pp. 152-161.

Clairambault, P. and Dybjer, P., 2011. The biequivalence of locally cartesian closed categories and martin-lof type theories. In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Proceedings.Vol. 6690 LNCS. Heidelberg: Springer, pp. 91-106. (Lecture Notes in Computer Science)

Clark, X. B., Finlay, J. G., Wilson, A. J., Milburn, K. L., Nguyen, M. H., Lutteroth, C. and Wünsche, B. C., 2012. An investigation into graph cut parameter optimisation for image-fusion applications. New York, U. S. A.: ACM, pp. 480-485.

Cliffe, E., 2007. Reflections on the number of field sieve. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-03)

Cliffe, E., Davenport, J., De Vos, M., Parmar, N. R. and Hayes, A., 2010. Using EVS and ResponseWare to Enhance Student Learning and Learning Experience. Submitted to: 11th Annual Conference of Higher Education Academy Subject Centre for Information and Computer Science, 2010-08-24 - 2010-08-26.

Cliffe, O., De Vos, M. and Padget, J., 2009. Modelling normative frameworks using answer set programing. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 2009-01-01. Berlin, Germany: Springer, pp. 548-553. (Lecture Notes in Computer Science)

Cliffe, O., De Vos, M. and Padget, J., 2007. Specifying and Reasoning about Multiple Institutions. In: Noriega, P., Vazquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N. and Matson, E., eds. Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2007-08-01. Heidelberg: Springer, pp. 67-85. (Lecture Notes in Computer Science)

Cliffe, O., De Vos, M. and Padget, J., 2006. Specifying and analysing agent-based social institutions using answer set programming. Berlin, Germany: Springer, pp. 99-113. (Lecture Notes in Artificial Intelligence; 3913)

Cliffe, O., Padget, J. A. and De Vos, M., 2005. Specifying and analysing agent-based social institutions using answer set programming. Department of Computer Science, University of Bath. (Computer Science Technical Reports)

Cliffe, O., 2007. Specifying and Analysing Institutions in Multi-agent Systems Using Answer Set Programming. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Cliffe, O., 2007. Specifying and analysing institutions in multi-agent systems using answer set programming. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-04)

Cliffe, O., De Vos, M. and Padget, J., 2007. Answer set programming for representing and reasoning about virtual institutions. In: Inoue, K., Ken, S. and Toni, F., eds. Computational Logic in Multi-Agent Systems. 7th International Workshop, CLIMA VII, 2006-05-08 - 2006-05-09. Heidelberg, Germany: Springer, pp. 60-79. (Lecture Notes in Computer Science; 4371)

Cliffe, O., De Vos, M. and Padget, J., 2008. Embedding landmarks and scenes in a computational model of institutions. In: Sichman, J. S., Padget, J., Ossowski, S. and Noriega, P., eds. International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007: COIN@AAMAS 2007 and COIN@MALLOW 2007, September 3, 2007 - September 4, 2007, 2008-01-01. Springer, pp. 41-57. (Lecture Notes in Computer Science; 4870)

Cliffe, O., De Vos, M., Padget, J. and Brain, M., 2008. ASPViz: Declarative Visualisation and Animation Using Answer Set Programming. In: 24th International Conference on Logic Programming (ICLP 2008), 2008-12-09 - 2008-12-13. Berlin / Heidelberg: Springer, pp. 724-728. (Lecture Notes in Computer Science)

Cliffe, O. and Padget, J., 2002. A framework for checking agent interaction within institutions. In: Proceedings of MOCHART workshop at ECAI'02, 2002-01-01.

Cliffe, O., Scotney, A. and Padget, J., 2010. Bootstrapping semantic web services with in-language annotations. In: 7th Extended Semantic Web Conference, 2010-05-29 - 2010-06-03.

Clutha, M., 2011. Bounding Betti Numbers of Sets Definable in O-Minimal Structures Over the Reals. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Cohen, A. M., Davenport, J.H. and Heck, A.J.P., 1993. An overview of computer algebra. In: Cohen, A. M., ed. Computer Algebra in Industry. Chichester, UK: John Wiley, pp. 1-52.

Collier, M., 2005. An investigation into real-time automated painterly video techniques. Department of Computer Science, University of Bath. (Computer Science Technical Reports)

Collinson, M., Monahan, B. and Pym, D., 2009. A logical and computational theory of located resource. Journal of Logic and Computation, 19 (6), pp. 1207-1244.

Collinson, M. and Pym, D., 2009. Algebra and logic for resource-based systems modelling. Mathematical Structures in Computer Science, 19 (5), pp. 959-1027.

Collinson, M., Pym, D. and Robinson, E., 2005. On bunched polyrnorphism. In: Computer Science Logic, Proceedings.Vol. 3634. , pp. 36-50. (Lecture Notes in Computer Science)

Collomosse, J. P., 2003. Cartoon-style Rendering of Motion from Video. In: Intl. Conf on Video, Vision and Graphics (VVG), 2003-07-01.

Collomosse, J. P., 2007. Evolutionary search for the artistic rendering of photographs. In: The Art of Artificial Evolution: A Handbook. Springer.

Collomosse, J. P., 2006. Real-time Environment Mapping for Stylised Augmented Reality. In: CVMP 2006. 3rd European Conference on Visual Media Production, 2006-11-29 - 2006-11-30.

Collomosse, J. P., 2006. Supervised genetic search for parameter selection in painterly rendering. In: Applications of Evolutionary Computing, Proceedings.Vol. 3907. , pp. 599-610. (Lecture Notes in Computer Science)

Collomosse, J. P., Al Mosawi, K. and O'Neill, E., 2006. Viewpoint invariant image retrieval for context in urban environments. In: CVMP 2006. 3rd European Conference on Visual Media Production, 2006-11-29 - 2006-11-30.

Collomosse, J. P. and Hall, P. M., 2004. A Mid-level Description of Video, with Application to Non-photorealistic Animation. In: 15th British Machine Vision Conference (BMVC), 2004-09-01.

Collomosse, J. P. and Hall, P. M., 2003. Cubist style rendering from photographs. IEEE Transactions on Visualization and Computer Graphics, 9 Oct-Dec (4), pp. 443-453.

Collomosse, J. P. and Hall, P. M., 2005. Genetic paint: A search for salient paintings. In: Applications of Evolutionary Computing, Proceedings.Vol. 3449. , pp. 437-447. (Lecture Notes in Computer Science)

Collomosse, J. P. and Hall, P. M., 2005. Motion analysis in video: dolls, dynamic cues and Modern Art. In: Video, Vision and Graphics (VVG), 2005-01-01.

Collomosse, J. P. and Hall, P. M., 2002. Painterly Rendering using Image Salience. In: 20th Eurographics UK Conference, 2002-06-01.

Collomosse, J. P. and Hall, P. M., 2006. Salience-adaptive painterly rendering using genetic search. International Journal on Artificial Intelligence Tools, 15 (4), pp. 551-575.

Collomosse, J. P. and Hall, P. M., 2006. Video motion analysis for the synthesis of dynamic cues and Futurist art. Graphical Models, 68 Sep-Nov (5-6), pp. 402-414.

Collomosse, J. P., Rowntree, D. and Hall, P. M., 2005. Rendering cartoon-style motion cues in post-production video. Graphical Models, 67 (6), pp. 549-564.

Collomosse, J. P., Rowntree, D. and Hall, P. M., 2003. Stroke surfaces: A spatio-temporal framework for temporally coherent nonphotorealistic animations. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2003-01)

Collomosse, J. P., Rowntree, D. and Hall, P. M., 2005. Stroke surfaces: Temporally coherent artistic animations from video. IEEE Transactions on Visualization and Computer Graphics, 11 Sep-Oct (5), pp. 540-549.

Collomosse, J. P., Rowntree, D. and Hall, P. M., 2003. Video analysis for Cartoon-style Special Effects. In: 14th British Machine Vision Conference (BMVC), 2003-09-01.

Collomosse, J. P., 2004. Higher level techniques for the artistic rendering of images and video. Department of Computer Science, University of Bath. (Computer Science Technical Reports)

Collomosse, J. P. and Hall, P. M., 2005. Video Paintbox:the fine art of video painting. Computers & Graphics, 29 (6), pp. 862-870.

Collomosse, J. and Hall, P., 2015. Foreword:Special section on visual media production. Computers & Graphics, 52, 2618.

Collomosse, J. P., McNeill, G. and Watts, L., 2008. Free-hand sketch grouping for video retrieval. In: 19th International Conference on Pattern Recognition, ICPR 2008, 2008-12-08 - 2008-12-11.

Connolly, M., Lutteroth, C. and Plimmer, B., 2010. Document resizing for visually impaired students. New York, U. S. A.: ACM, pp. 128-135.

Constantinou, M., 2013. Tuning of rsync Algorithm for Optimum Cloud Storage Performance. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-10)

Cooper, K., 2006. Implementation of a prototype peer learning mathematics tutor for children: A user-centred approach. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-17)

Coppersmith, D. and Davenport, J.H., 1985. An application of factoring. Journal of Symbolic Computation, 1, pp. 241-243.

Coppersmith, D. and Davenport, J.H., 1991. Polynomials whose powers are sparse. Acta Arithmetica, 58 (1), pp. 79-87.

Corapi, D., Russo, A., De Vos, M., Padget, J. and Satoh, K., 2011. Normative design using inductive learning. Theory and Practice of Logic Programming, 11 (4-5), pp. 783-799.

Corapi, D., De Vos, M., Padget, J., Russo, A. and Satoh, K., 2011. Norm refinement and design through inductive learning. In: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010, 2011-01-01. Heidelberg: Springer, pp. 77-94. (Lecture Notes in Computer Science; 6541)

Corless, R. M., Davenport, J.H., Jeffrey, D. J. and Watt, S. M., 2000. "According to Abramowitz and Stegun", or arcoth needn't be uncouth. SIGSAM Bulletin, 34, pp. 58-65.

Corless, R. M., Davenport, J. H., Jeffrey, D. J., Litt, G. and Watt, S. M., 2001. Reasoning about the elementary functions of complex analysis. In: Campbell, J. A. and Roanes-Lozano, E., eds. Artificial Intelligence and Symbolic Computation. Berlin, Germany: Springer, pp. 115-126. (Lecture Notes in Artificial Intelligence; 1930)

Coroama, V., Kostakos, V., Magerkurth, C. and De Vallejo, I.L., 2005. UbiSoc 2005:First international workshop on social implications of ubiquitous computing. In: Conference on Human Factors in Computing Systems, 2005-04-02 - 2005-04-06.

Corradi, T. M., 2004. TOADS: A tool to aid in the development of MAS consisting of OCLP-minded agents, under JADE. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-16)

Corradi, T., Hall, P. and Iravani, P., 2015. Bayesian tactile object recognition:learning and recognising objects using a new inexpensive tactile sensor. In: IEEE Interational Conference on Robotics and Automation (ICRA) 2015, 2015-05-26 - 2015-05-30, Washington.

Corradi, T., Hall, P. and Iravani, P., 2014. Tactile features:recognising touch sensations with a novel and inexpensive tactile sensor. In: Mistry, M., Leonardis, A., Witkowski, M. and Melhuish, C., eds. Advances in Autonomous Robotics Systems. Springer, pp. 163-172. (Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics; 8717)

Cosker, D., Marshall, D., Rosin, P. and Hicks, Y. A., 2004. Speech Driven Facial Animation using a Hidden Markov Coarticulation Model. In: IEEE International Conference on Pattern Recognition (ICPR), 2004-01-01.

Cosker, D., Paddock, S., Marshall, D., Rosin, P. L. and Rushton, S., 2005. Towards Perceptually Realistic Talking Heads: Models, Metrics and McGurk. ACM Transactions on Applied Perception, 2 (3), pp. 270-285.

Cosker, D. P., Hicks, Y. A., Marshall, A. D. and Rosin, P. L., 2004. Speech-driven facial animation using a hierarchical model. IEE Proceedings - Vision Image and Signal Processing, 151 (4), pp. 314-321.

Cosker, D., Holt, C., Mason, D., Whatling, G., Marshall, D. and Rosin, P.L., 2007. Automatic audio driven animation of non-verbal actions. In: IET 4th European Conference on Visual Media Production, 2007-11-27 - 2007-11-28. IET, p. 16.

Cosker, D., 2016. Drift robust non-rigid optical flow enhancement for long sequences. Journal of Intelligent and Fuzzy Systems, 31 (5), pp. 2583-2595.

Cosker, D., 2015. Facial Capture and Animation in Visual Effects. In: Sorkine, O., Magnor, M., Grau, O. and Theobalt, C., eds. Digital Representations of the Real World: How to Capture, Model, and Render Visual Reality. CRC Press, pp. 311-321.

Cosker, D., Borkett, R., Marshall, D. and Rosin, P. L., 2008. Towards automatic performance-driven animation between multiple types of facial model. IET Computer Vision, 2 (3), pp. 129-141.

Cosker, D., Eisert, P., Grau, O., Hancock, P., McKinnel, J. and Ong, E. J., 2013. Applications of face analysis and modelling in media production:Overview of the state of the art. IEEE Multimedia, 20 (4), pp. 18-27.

Cosker, D., Koniaris, C. and Mitchell, K., 2015. Real time variable rigidity texture mapping. In: 12th European Conference on Visual Media Production (CVMP), 2015, 2015-11-24 - 2015-11-25. New York, U. S. A.: ACM. (ACM International Conference Proceeding Series; 5)

Cosker, D., Krumhuber, E. and Hilton, A., 2011. A FACS valid 3D dynamic action unit database with applications to 3D dynamic morphable facial modelling. In: 13th International Conference on Computer Vision (ICCV), 2011-11-06 - 2011-11-13, Barcelona.

Cosker, D., Krumhuber, E. and Hilton, A., 2011. A FACS valid 3D dynamic action unit database with applications to 3D dynamic morphable facial modelling. In: 13th International Conference on Computer Vision (ICCV), 2011-11-06 - 2011-11-13. IEEE, pp. 2296-2303.

Cosker, D., Krumhuber, E. and Hilton, A., 2010. A FACS validated 3D human facial model. In: FAA '10 Proceedings of the ACM/SSPNET 2nd International Symposium on Facial Analysis and Animation. New York: Association for Computing Machinery (ACM). (ACM International Conference Proceeding Series)

Cosker, D., Krumhuber, E. and Hilton, A., 2010. Perception of linear and nonlinear motion properties using a FACS validated 3D facial model. In: 7th Annual Symposium on Applied Perception in Graphics and Visualization, APGV 2010, July 23, 2010 - July 24, 2010, 2010-01-01. New York, U. S. A.: ACM, pp. 101-108.

Cosker, D. and Li, W., 2013. Robust Optical Flow Estimation for Continuous Blurred Scenes using RGB-Motion Imaging and Directional Filtering. In: IEEE Winter Conference on Applications of Computer Vision, 2013-07-30.

Cossentino, M. and Zambonelli, F., 2004. Agent design from the autonomy perspective. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy. Berlin, Germany: Springer, pp. 140-150. (Lecture Notes in Computer Science; 2969)

Coughlan, T. and Johnson, P., 2008. An exploration of constraints and end user development in environments for creative tasks. International Journal of Human-Computer Interaction, 24 (5), pp. 444-459.

Coughlan, T. and Johnson, P., 2007. Constrain Yourselves: Exploring End User Development in Support for Musical Creativity. In: 6th Creativity and Cognition Conference (CC2007). Seeding Creativity: Tools, Media and Environments, 2007-06-13 - 2007-06-15.

Coughlan, T. and Johnson, P., 2006. Interaction in creative tasks: ideation, representation and evaluation in composition. In: Proceedings of Conference on Human factors in Computing Systems, CHI 2006, Interact, Inform, Inspire, 2006-04-01. New York, USA: ACM, pp. 531-540.

Crawford, S., 2007. Creating a distributed network traffic analyser. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-08)

Crick, T., 2004. A GCC front end for BCPL. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-06)

Crick, T., Brain, M., De Vos, M. and Fitch, J., 2006. An Application of Answer Set Programming: SuperoptimisationA Preliminary Report. In: Dix, J. and Hunter, A., eds. Proceedings of the 11th Workshop on Nonmonotonic Reasoning, 2006-05-01.

Crick, T., Brain, M., De Vos, M. and Fitch, J., 2009. Generating optimal code using answer set programming. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmonotonic Reasoning.Vol. 5753. Berlin, Germany: Springer, pp. 554-559. (Lecture Notes in Computer Science)

Crick, T., 2009. Superoptimisation: provably optimal code generation using answer set programming. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Crick, T., Dunning, P., Kim, H. A. and Padget, J., 2009. Engineering design optimization using services and workflows. Philosophical Transactions of the Royal Society A - Mathematical Physical and Engineering Sciences, 367 (1898), pp. 2741-2751.

Crick, T., Dunning, P., Kim, H. A. and Padget, J., 2008. Structural optimization using services and workflows. In: UK e-Science All Hands Meeting: Crossing Boundaries, 2008-09-08 - 2008-09-11.

Crick, T. and Fitch, J., 2005. An Application for the GCC 4.0 Architecture. In: PREP 2005, EPSRC Postgraduate Research Conference, 2005-03-01.

Crouch, P. A. and Davenport, J. H., 2001. Lattice Attacks on RSA-Encrypted IP and TCP. In: Honary, B., ed. Proceedings 8th. IMA Conf. Cryptography and Coding, 2001-12-01.

Daniels, H. and Johnson, P., 2013. Researching technologies for enhancing collective creativity in interagency working. In: Sannino, A. and Ellis, V., eds. Learning and collective creativity: activity-theoretical and sociocultural studies. Abingdon, UK: Routledge, pp. 132-157. (Routledge Research in Education)

Das, A., 2012. Complexity of deep inference via atomic flows. In: Cooper, S. B., Dawar, A. and Lowe, B., eds. How the World Computes.Vol. 7318 LNCS. Heidelberg, Germany: Springer, pp. 139-150. (Lecture Notes in Computer Science; 7318)

Das, A., 2014. On the pigeonhole and related principles in deep inference and monotone systems. In: 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. ACM.

Das, A., 2013. Rewriting with linear inferences in propositional logic. In: van Raamsdonk, F., ed. 24th International Conference on Rewriting Techniques and Applications (RTA 2013).Vol. 21. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 158-173. (Leibniz International Proceedings in Informatics, LIPIcs)

Das, A., 2011. On the proof complexity of cut-free bounded deep inference. In: Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Proceedings.Vol. 6793 LNAI. Heidelberg: Springer, pp. 134-148. (Lecture Notes in Computer Science)

Dastani, M., Dignum, F. and Meyer, J. J., 2004. Autonomy and agent deliberation. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy. Berlin, Germany: Springer, pp. 114-127. (Lecture Notes in Computer Science; 2969)

Davenport, J., 2007. What might "Understand a Function" mean? In: Kauers, M., Kerber, M., Miner, R. and Windsteiger, W., eds. Towards Mechanized Mathematical Assistants.Vol. 4573. Springer, pp. 55-65.

Davenport, J. H., 2008. AISC Meets Natural Typography. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F., eds. Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008.Vol. 5144. Berlin, Heidelberg: Springer, pp. 53-60. (Lecture Notes in Computer Science)

Davenport, J. H., 2008. Effective Set Membership in Computer Algebra and Beyond. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F., eds. Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008.Vol. 5144. Berlin, Heidelberg: Springer, pp. 266-280. (Lecture Notes in Computer Science)

Davenport, J. H., 2002. Equality in computer algebra and beyond. Journal of Symbolic Computation, 34 (4), pp. 259-270.

Davenport, J. H., 2003. MKM from book to computer: A case study. In: Mathematical Knowledge Management, Proceedings.Vol. 2594. , pp. 17-29. (Lecture Notes in Computer Science)

Davenport, J. H., 2002. Table Errata --- Abramowitz & Stegun. Mathematics of Computation (MCOM)

Davenport, J. H., 2003. The Geometry of C^n is Important for the Algebra of Elementary Function. In: Joswig, M. and Takayama, N., eds. Algebra, Geometry and Software Systems. Berlin, Germany: Springer, pp. 207-225.

Davenport, J. H. and Libbrecht, P., 2008. The freedom to extend OpenMath and its utility. Mathematics in Computer Science, 2 (2), pp. 379-398.

Davenport, J. H., Gianni, P. and Trager, B. M., 1991. Scratchpad's view of algebra II:A categorical view of factorization. In: ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation. New York: ACM, pp. 32-38.

Davenport, J.H., 1979. Algorithms for the integration of algebraic functions. Berlin, Germany: Springer, pp. 415-425. (Lecture Notes in Computer Science; 72)

Davenport, J.H., 1979. Anatomy of an integral. SIGSAM Bulletin, 13 (4), pp. 16-18.

Davenport, J.H., 1981. Effective mathematics:the computer algebra viewpoint. Berlin, Germany: Springer, pp. 31-43. (Springer Lecture Notes in Mathematics; 873)

Davenport, J.H., 1983. Integration - what do we want from the theory? Berlin, Germany: Springer, pp. 2-11. (Lecture Notes in Computer Science; 162)

Davenport, J.H., 1981. On the Integration of Algebraic Functions. Springer. (Lecture Notes in Computer Science; 102)

Davenport, J.H., 2012. Small algorithms for small systems. ACM Communications in Computer Algebra, 46 (1-2), pp. 1-9.

Davenport, J.H., 1982. The Parallel Risch Algorithm (I). Berlin, Germany: Springer, pp. 144-157. (Lecture Notes in Computer Science; 144)

Davenport, J.H., 1979. The computerisation of algebraic geometry. Berlin, Germany: Springer, pp. 119-133. (Lecture Notes in Computer Science; 72)

Davenport, J., 2016. Complexity of integration, special values, and recent developments. In: Greuel, G.-M., Koch, T., Paule, P. and Sommese, A., eds. Mathematical Software - ICMS 2016. Springer Verlag, pp. 485-491. (Lecture Notes in Computer Science; 9725) Item availability may be restricted.

Davenport, J., 2014. Mathematical Massive Open Online Courses (MOOCs):report of a panel at the 2014 ICM. In: Seoul International Conference of Mathematicians (ICM), 2014, 2014-08-13 - 2014-08-21.

Davenport, J., 2012. Program Verification in the presence of complex numbers, functions with branch cuts etc. In: SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012-09-25 - 2012-09-28.

Davenport, J., 2010. The Challenges of Multivalued "Functions". Lecture Notes in Computer Science, 6167, pp. 1-12.

Davenport, J., Bradford, R., England, M. and Wilson, D., 2012. Program Verification in the presence of complex numbers, functions with branch cuts etc. In: SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012-09-25 - 2012-09-28. Piscataway: IEEE, pp. 83-88.

Davenport, J. and England, M., 2016. Forthcoming. Need Polynomial Systems be Doubly-exponential? In: Proc ICMS 2016. Springer Verlag. (Lecture Notes in Computer Science; 9725)

Davenport, J., Hayes, A. and Parmar, N. R., 2009. The use of an Electronic Voting System to enhance student feedback. In: Plymouth e-Learning Conference, 2009-04-23 - 2009-04-24.

Davenport, J. and Padget, J., 1985. HEUGCD- How elementary upperbounds generate cheaper data. Berlin, Germany: Springer Verlag, pp. 18-28. (Lecture Notes in Computer Science; 204)

Davenport, J. and Padget, J., 1986. On numbers and polynomials. Chichester, U. K.: Wiley Masson, pp. 49-53. (Études et recherches en informatique)

Davenport, J. H. and Carette, J., 2009. The sparsity challenges. IEEE Press, pp. 3-7.

Davenport, J. H. and Kohlhase, M., 2009. Unifying Math Ontologies: A tale of two standards. In: Carette, J., Dixon, L., Sacerdoti Coen, C. and Watt, S. M., eds. Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009.Vol. 5625/2. Berlin: Springer, pp. 263-278.

Davenport, J. H. and Trager, B. M., 1990. Scratchpad's view of algebra I: Basic commutative algebra. In: Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90, 1990-04-09 - 1990-04-11. Berlin: Springer, pp. 40-54. (Lecture Notes in Computer Science; 429/1990)

Davenport, J. H., 2014. OpenMath 2014 preface. CEUR Workshop Proceedings, 1186.

Davenport, J. H. and England, M., 2015. Recent advances in real geometric reasoning. In: Botana, F. and Quaresma, P., eds. Automated Deduction in Geometry. Springer, pp. 37-52. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9201)

Davenport, J. H., 2015. Solving computational problems in real algebra/geometry. Annales Mathematicae et Informaticae, 44, pp. 35-46.

Day, B., Ke-Zun, S. C., Lovelock, L. and Lutteroth, C., 2009. Climbing the ladder:CMMI level 3. IEEE, pp. 97-106.

Day, B. and Lutteroth, C., 2011. Climbing the ladder:capability maturity model integration level 3. Enterprise Information Systems, 5 (1), pp. 125-144.

Day, C., 2005. An ontological approach to song scheduling for an automated radio station. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-10)

De Angeli, D. and O'Neill, E., 2015. Development of an inexpensive Augmented Reality (AR) headset. In: CHI EA '15 Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems. New York, U. S. A.: ACM, pp. 971-976.

De Groot, E., Wyvill, B., Barthe, L., Nasri, A. and Lalonde, P., 2014. Implicit decals:interactive editing of repetitive patterns on surfaces. Computer Graphics Forum, 33 (1), pp. 141-151.

De Vos, M., 2009. ASP: The future is bright a position paper. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmonotonic Reasoning.Vol. 5753. Berlin, Germany: Springer, pp. 625-627. (Lecture Notes in Computer Science)

De Vos, M., 2003. An Ordered Choice Logic Programming Front-End for Answer Set Solvers. In: Buccafurri, F., ed. APPIA-GULP-PRODE 2003: 2003 Joint Conference on DeclaritiveProgramming, 2003-09-01.

De Vos, M., 2004. Implementing ordered choice logic programming using answer set solvers. In: Foundations of Information and Knowledge Systems, Proceedings.Vol. 2942. , pp. 59-77. (Lecture Notes in Computer Science)

De Vos, M., Balke, T. and Satoh, K., 2013. Modelling legitimate expectations. In: Motomura, Y., Butler, A. and Bekki, D., eds. 4th JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2012, 2012-11-30 - 2012-12-01. Berlin: Springer, pp. 141-156. (Lecture Notes in Computer Science; 7856)

De Vos, M., Cliffe, O., Watson, R., Crick, T., Padget, J., Needham, J. and Brain, M., 2005. T-LAIMA: Answer Set Programming for Modelling Agents with Trust. In: European Workshop on Multi-Agent Systems (EUMAS05), 2005-12-01.

De Vos, M., Crick, T., Padget, J., Brain, M., Cliffe, O. and Needham, J., 2006. LAIMA: A multi-agent platform using ordered choice logic programming. (Lecture Notes in Artificial Intelligence)

De Vos, M. and Vermeir, D., 2001. Decisions, Agents and Games. In: Van Benthem, J., ed. Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge, Siena, Italy, 2001-07-01.

De Vos, M. and Vermeir, D., 2002. Dynamic decision-making in logic programming and game theory. In: Al 2002: Advances in Artificial Intelligence.Vol. 2557. , pp. 36-47. (Lecture Notes in Artificial Intelligence)

De Vos, M. and Vermeir, D., 2004. Extending answer sets for logic programming agents. Annals of Mathematics and Artificial Intelligence, 42 (1-3), pp. 103-139.

De Vos, M. and Vermeir, D., 2002. Logic Programming Agents Playing Games. In: Bramer, M., Preece, A. and Coenen, F., eds. Research and Development in Intelligent Systems XIX. Springer, p. 323. (BCS Conference Series)

De Vos, M. and Vermeir, D., 2001. Semantic Forcing in Disjunctive Logic Programs. Computational Intelligence, 17 (4), pp. 651-684.

De Vos, M., Balke, T. and Satoh, K., 2013. Combining Event- and State-based Norms:Extended Abstract. In: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, 2013-05-06 - 2013-05-10, MN.

De Vos, M., Kisa, D. G., Oetsch, J., Puehrer, J. and Tompits, H., 2012. Annotating answer-set programs in Lana. Theory and Practice of Logic Programming, 12 (4-5), pp. 616-637.

De Vos, M., Padget, J. and Satoh, K., 2011. Legal modelling and reasoning using institutions. In: 2nd JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2010, November 18, 2010 - November 19, 2010, 2011-01-01. Heidelberg: Springer, pp. 129-140. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

De Vries, A., 2015. The use of social media for shaming strangers:young people's views. In: 48th Annual Hawaii International Conference on System Sciences, HICSS 2015, 2015-01-05 - 2015-01-08. IEEE Computer Society Press, pp. 2053-2062.

Dearden, A., Walker, S. and Watts, L., 2005. Choosing the right allies for critical computing. In: Bertelsen, O. W., Bouvin, N. O., Krogh, P. G. and Kyng, M., eds. Proceedings of the 4th decennial conference on critical computing, 2005-08-01.

Dearden, A., Walker, S. and Watts, L., 2005. Choosing friends carefully: allies for critical computing. In: Proceedings of the 4th Decennial Conference on Critical Computing: Between Sense and Sensibility. New York: Association for Computing Machinery (ACM), pp. 133-136.

Denney, E. W., Tourlas, K. and Power, J., 2005. Hierarchical Proof Structures. In: Structures and Deduction – the Quest for the Essence of Proofs (satellite workshop of ICALP 2005). Dresden: Technische Universität Dresden, pp. 144-157.

Denney, E., Power, J. and Tourlas, K., 2006. Hiproofs: A Hierarchical Notion of Proof Tree. Electronic Notes in Theoretical Computer Science, 155, pp. 341-359.

Dev, K., Kim, K. I., Villar, N. and Lau, M., 2016. Improving style similarity metrics of 3D shapes.

Dhillon, J. S., Wünsche, B. C. and Lutteroth, C., 2014. Designing and evaluating online telehealth systems for seniors. In: Hippe, Z. S., Kulikowski, J. L., Mroczek, T. and Wtorek, J., eds. Human-Computer Systems Interaction. Springer International Publishing, pp. 167-178. (Advances in Intelligent Systems and Computing; 300)

Dhillon, J. S., Lutteroth, C. and Wünsche, B. C., 2011. Leveraging Web 2.0 and consumer devices for improving elderlies' health. Darlinghurst, Australia: Australian Computer Society, pp. 17-24.

Dhillon, J. S., Ramos, C., Wünsche, B. C. and Lutteroth, C., 2012. Evaluation of web 2.0 technologies for developing online telehealth systems. Darlinghurst, Australia: Australian Computer Society, pp. 21-30.

Dhillon, J. S., Ramos, C., Wünsche, B. C. and Lutteroth, C., 2012. Leveraging consumer sensing devices for telehealth. New York, U. S. A.: ACM, pp. 29-35.

Dhillon, J. S., Wünsche, B. C. and Lutteroth, C., 2013. Accessible telehealth - Leveraging consumer-level technologies and social networking functionalities for senior care. In: 6th International Conference on Human Systems Interactions (HSI), 2013, 2013-06-06 - 2013-06-08. IEEE, pp. 451-458.

Dhillon, J. S., Wünsche, B. C. and Lutteroth, C., 2016. Designing and evaluating a patient-centred health management system for seniors. Journal of Telemedicine and Telecare, 22 (2), pp. 96-104.

Dhillon, J. S., Wünsche, B. C. and Lutteroth, C., 2012. Healthcare4Life:a ubiquitous patient-centric telehealth system. New York, U. S. A.: ACM, p. 93.

Dhillon, J. S., Wünsche, B. C. and Lutteroth, C., 2013. An online social-networking enabled telehealth system for seniors:a case study. In: Smith, R. T. and Wunsche, B. C., eds. 14th Australasian User Interface Conference (AUIC), 2013, 2013-01-29 - 2013-02-01. Darlinghurst, Australia: Australian Computer Society, pp. 53-62.

Dhillon, J. S., Wünsche, B. C. and Lutteroth, C., 2012. Evaluation of a social web-based telehealth system. New York, U. S. A.: ACM, pp. 550-553.

Dhillon, J. S., Wünsche, B. C. and Lutteroth, C., 2012. Evaluation of a web-based telehealth system:a preliminary investigation with seniors in New Zealand. New York, U. S. A.: ACM, pp. 17-24.

Di Fiore, F., Van Reeth, F., Patterson, J. and Willis, P., 2006. Highly stylised drawn animation. In: Advances in Computer Graphics, Proceedings.Vol. 4035. Berlin, Germany: Springer, pp. 36-53. (Lecture Notes in Computer Science)

Di Fiore, F., Van Reeth, F., Patterson, J. and Willis, P. J., 2008. Highly stylised animation. Visual Computer, 24 (2), pp. 105-123.

Dignum, F., Dignum, V., Padget, J. and Vazquez-Salceda, J., 2009. Organizing web services to develop dynamic, flexible, distributed systems. In: 11th International Conference on Information Integration and Web-based Applications and Services (iiWAS2009), 2009-12-14 - 2009-12-16.

Dignum, V. and Padget, J., 2013. Multiagent organizations. In: Weiss, G., ed. Multiagent Systems, 2nd ed. Cambridge, U. K.: MIT Press, pp. 51-98. (Intelligent Robotics & Autonomous Agents Series)

Dobson, R. W. and Fitch, J. P., 1995. Experiments with Chaotic Oscillators. In: Proceedings on ICMC95. Banff, Canada: ICMA and Banff Centre for the Arts, pp. 45-48.

Dobson, R., ffitch, J. P., Lombardo, V., Tazelaar, K. and Valle, A., 2005. Varèse‘s Poème electronique Regained:Evidence from the VEP Project. In: Tampere SuviSoft, O. L., ed. ICMC 2005 Free Sound, 2005-09-01.

Dobson, R., ffitch, J. and Bradford, R., 2008. High performance audio computing: a position paper. In: Proceedings of the International Computer Music Conference 2008: 24-29 August 2008, Belfast, Northern Ireland. Belfast, Northern Ireland: ICMA and Sonic Arts Research Centre, Queen's University, Belfast, pp. 213-216.

Dove, J. A., Eubanks, D. L., Panteli, N., Watts, L. A. and Joinson, A. N., 2011. Making an entrance 2.0: the linguistics of introductory success in virtual communities. In: 44th Hawaii International Conference on System Sciences, HICSS-44 2010, January 4, 2011 - January 7, 2011, 2011-01-01. Piscataway, NJ: IEEE Computer Society, pp. 1-10. (Proceedings of the Annual Hawaii International Conference on System Sciences)

Dowdeswell, B. and Lutteroth, C., 2006. A message exchange architecture for modern e-commerce. Berlin, Germany: Springer, pp. 56-70. (Lecture Notes in Computer Science; 3888)

Draheim, D., Grundy, J., Hosking, J., Lutteroth, C. and Weber, G., 2006. Realistic load testing of web applications. IEEE.

Draheim, D., Lutteroth, C. and Weber, G., 2005. A type system for reflective program generators. Springer, pp. 327-341.

Draheim, D., Lutteroth, C. and Weber, G., 2004. An analytical comparison of generative programming technologies. Working Paper. Kiel, Germany: Christian-Albrechts-University of Kiel.

Draheim, D., Lutteroth, C. and Weber, G., 2005. Generative programming for C#. ACM SIGPLAN Notices, 40 (8), pp. 29-33.

Draheim, D., Lutteroth, C. and Weber, G., 2004. Generator code opaque recovery of form-oriented Web site models. IEEE, pp. 302-303.

Draheim, D., Lutteroth, C. and Weber, G., 2006. Graphical user interfaces as documents. New York, U. S. A.: ACM, pp. 67-74.

Draheim, D., Lutteroth, C. and Weber, G., 2005. Integrating code generators into the C# language. IEEE, pp. 107-110.

Draheim, D., Lutteroth, C. and Weber, G., 2005. Realistic Load Testing of Web Applications. Working Paper. Auckland, Australia: University of Auckland Computer Science Department.

Draheim, D., Lutteroth, C. and Weber, G., 2005. Robust content creation with form-oriented user interfaces. New York, U. S. A.: ACM, pp. 45-52.

Draheim, D., Weber, G. and Lutteroth, C., 2006. Finite state history modeling and its precise UML-based semantics. Springer, pp. 43-52.

Drugowitsch, J. and Barry, A., 2007. Generalised mixtures of experts, independent expert training, and learning classifier systems. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2007-02)

Drugowitsch, J. and Barry, A. M., 2006. A formal framework and extensions for function approximation in learning classifier systems. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-01)

Drugowitsch, J. and Barry, A. M., 2006. A formal framework for reinforcement learning with function approximation in learning classifier systems. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-02)

Drugowitsch, J. and Barry, A. M., 2006. Mixing independent classifiers. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-13)

Drugowitsch, J. and Barry, A. M., 2006. Towards convergence of learning classifier systems value iteration. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-03)

Drugowitsch, J. and Barry, A. M., 2005. XCS with eligibility traces. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2005-01)

Drugowitsch, J., 2007. Learning classifier systems from first principles. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-12)

Drummond, A., Hosking, J., Lutteroth, C., Weber, G. and Wünsche, B., 2007. Computing away climate change. In: Harre, N. and Atkinson, Q., eds. Carbon Neutral by 2020. Potton & Burton.

Du, H., Jin, X. and Willis, P., 2015. Two-level joint local Laplacian texture filtering. Visual Computer

Duan, K., 2016. Resource-Oriented Architecture based Scientific Workflow Modelling. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Duan, K., Padget, J., Kim, H.A. and Hosobe, H., 2012. Composition of engineering web services with universal distributed data-flows framework based on ROA. In: Alarcon, R., Pautasso, C. and Wilde, E., eds. Third International Workshop on RESTful Design (WS-REST 2012) at WWW2012, 2012-04-16. New York, U. S. A.: Association for Computing Machinery (ACM), pp. 41-48.

Duan, K., Ye, V., Kim, H. and Padget, J., 2012. A resource-oriented architecture for MDO framework. In: 53rd AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference, 2012-04-23 - 2012-04-26. Reston, U. S. A.: American Institute of Aeronautics and Astronautics (AIAA), AIAA-2012-1674.

Ducheneaut, N. and Watts, L. A., 2005. In search of coherence: A review of e-mail research. Human-Computer Interaction, 20 (1-2), pp. 11-48.

Duggan, G. B. and Payne, S. J., 2009. Text skimming: the process and effectiveness of foraging through text under time pressure. Journal of Experimental Psychology: Applied, 15 (3), pp. 228-242.

Duggan, G. B., Johnson, H. and Grawemeyer, B., 2012. Rational security: modelling everyday password use. International Journal of Human-Computer Studies, 70 (6), pp. 415-431.

Duggan, G. B., Johnson, H. and Sørli, P., 2013. Interleaving tasks to improve performance: Users maximise the marginal rate of return. International Journal of Human-Computer Studies, 71 (5), pp. 533-550.

Duggan, G. B. and Payne, S. J., 2006. How much do we understand when skim reading? In: ACM Conference on Human Factors in Computing Systems, CHI '06, 2006-04-22 - 2006-04-27.

Duggan, G. B. and Payne, S. J., 2001. Interleaving reading and acting while following procedural instructions. Journal of Experimental Psychology: Applied, 7 (4), pp. 297-307.

Duggan, G. B. and Payne, S. J., 2011. Skim reading by satisficing: evidence from eye tracking. In: 29th Annual CHI Conference on Human Factors in Computing Systems, CHI 2011, May 7, 2011 - May 12, 2011, 2011-01-01. New York: ACM, pp. 1141-1150.

Duke, D. J., Barnard, P. J., Halper, N. and Mellin, M., 2003. Rendering and affect. Computer Graphics Forum, 22 (3), pp. 359-368.

Duro, J. A., Padget, J. A., Bowen, C. R., Kim, H. A. and Nassehi, A., 2016. Multi-sensor data fusion framework for CNC machining monitoring. Journal of Mechanical Systems and Signal Processing, 66-67, pp. 505-520.

Edmonds, B. and Bryson, J. J., 2004. The Insufficiency of Formal Design Methods: The Necessity of an Experimental Approach for the Understanding and Control of Complex MAS. In: Jenning, N. R., Sierra, C., Sonenberg, L. and Tambe, M., eds. The 3rd International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2004), 2004-07-01.

Egan, S., 2008. Nash equilibria in games and simplicial complexes. Thesis (Doctor of Philosophy (PhD)). University of Bath.

El Kaafarani, A., 2015. Traceability, Linkability and Policy Hiding in Attribute-Based Signature Schemes. Thesis (Doctor of Philosophy (PhD)). University of Bath.

El Kaafarani, A., Chen, L., Ghadafi, E. and Davenport, J., 2014. Attribute-based signatures with user-controlled linkability. In: Gritzalis, D., Kiayias, A. and Askoxylakis, I., eds. 13th International Conference on Cryptology and Network Security, CANS 2014, 2014-10-22 - 2014-10-24. Springer, pp. 256-269. (Lecture Notes in Computer Science; 8813)

El Kaafarani, A., Ghadafi, E. and Khader, D., 2014. Decentralized traceable attribute-based signatures. In: Benalloh, J., ed. CT-RSA 2014, 2014-02-24 - 2014-02-28. Springer, pp. 327-348. (Lecture Notes in Computer Science)

El-Akehal, E. E.-d. and Padget, J. A., 2008. Pan-supplier stock control in a virtual warehouse. In: Berger, M., Burg, B. and Nishiyama, S., eds. AAMAS08 7th International Conference on Autonomous Agents and Multi Agent Systems, 2008-05-11 - 2008-05-15. Richland, SC, USA: International Foundation for Autonomous Agents and Multiagent Systems, pp. 11-18.

Elakehal, E. E., 2015. Modelling Self-managing Multi Agent Systems Using Norms. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Elakehal, E. E., Montali, M. and Padget, J., 2013. Verifying MSMAS model using S CIFF. In: Klusch, M., Thimm, M. and Paprzycki, M., eds. 11th German Conference on Multiagent System Technologies, MATES 2013, 2013-09-16 - 2013-09-20. Berlin: Springer, pp. 44-58. (Lecture Notes in Computer Science; 8076)

Elakehal, E. E., Montali, M. and Padget, J., 2015. Run-time verification of MSMAS norms using event calculus. In: 2014 8th IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, 2014-09-08 - 2014-09-12. IEEE, pp. 110-115.

Elakehal, E. E. and Padget, J., 2011. A Practical Method for Developing Multi Agent Systems: APMDMAS. Heidelberg: Springer, pp. 11-20.

Elakehal, E. E. and Padget, J., 2012. MSMAS: modelling self-managing multi agent systems. Journal of Scalable Computing: Practice and Experience, 13 (2), pp. 121-137.

Elakehal, E. E. and Padget, J., 2012. Market intelligence and price adaptation. In: 14th Annual International Conference on Electronic Commerce, ICEC 2012, 2012-08-06 - 2012-08-07. New York, U. S. A.: ACM, pp. 9-16.

Elhayek, A., Stoll, C., Hasler, N., Kim, K. I., Seidel, H.-P. and Theobalt, C., 2012. Spatio-temporal motion tracking with unsynchronized cameras. In: IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 2012, 2012-06-16 - 2012-06-21. IEEE, pp. 1870-1877.

Elhayek, A., Stoll, C., Kim, K. I., Seidel, H.-P. and Theobalt, C., 2012. Feature-based multi-video synchronization with subframe accuracy.

Elhayek, A., Stoll, C., Kim, K. I. and Theobalt, C., 2015. Outdoor human motion capture by simultaneous optimization of pose and camera parameters. Computer Graphics Forum, 34 (6), pp. 86-98.

Elliott, L., 2008. Using Agent-Based Modelling to Explore the Environmental Impact of Changes to the UK Housing Stock. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2008-03)

Ellis, P. M. and Bryson, J. J., 2005. The significance of textures for affective interfaces. In: Panayiotopoulos, T., Gratch, J., Aylett, R., Ballin, D., Olivier, P. and Rist, T., eds. The Fifth International Working Conference on Intelligent Virtual Agents.Vol. 3661. Springer, pp. 394-404. (Lecture Notes in Artificial Intelligence)

England, M., 2013. An Implementation of CAD in Maple Utilising McCallum Projection. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-02)

England, M., 2013. An Implementation of CAD in Maple Utilising Problem Formulation, Equational Constraints and Truth-Table Invariance. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-04)

England, M., 2014. CICM-WS-WiP 2014 preface. CEUR Workshop Proceedings, 1186.

England, M. and Athone, C., 2012. Generalised elliptic functions. Central European Journal of Mathematics, 10 (5), pp. 1655-1672.

England, M. and Athorne, C., 2012. Building Abelian Functions with Generalised Baker-Hirota Operators. SIGMA: Symmetry, Integrability and Geometry: Methods and Applications, 8 (037).

England, M., Bradford, R., Davenport, J. H. and Wilson, D., 2013. Understanding branch cuts of expressions. In: Carette, J., Aspinall, D., Lange, C., Sojka, P. and Windsteiger, W., eds. Conferences on Intelligent Computer Mathematics: CICM 2013, 2013-07-07 - 2013-07-11. Berlin: Springer, pp. 136-151. (Lecture Notes in Computer Science; 7961)

England, M., Bradford, R. and Davenport, J. H., 2015. Improving the use of equational constraints in cylindrical algebraic decomposition. In: ISSAC '15 - 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015-07-06 - 2015-07-09.

England, M., Bradford, R. J., Chen, C., Davenport, J. H., Moreno Maza, M. and Wilson, D., 2014. Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. In: Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. and Urban, J., eds. Intelligent Computer Mathematics. Springer, pp. 45-60. (Lecture Notes in Artificial Intelligence; 8543)

England, M., Cheb-Terrab, E., Bradford, R., Davenport, J. and Wilson, D., 2013. Branch Cuts in Maple 17. ACM Communications in Computer Algebra, 48 (1), pp. 24-27.

England, M. and Davenport, J. H., 2016. The complexity of cylindrical algebraic decomposition with respect to polynomial degree. Springer Verlag, pp. 172-192. (Lecture Notes in Computer Science; 9890)

England, M., Eilbeck, J. C. and Onishi, Y., 2014. Some new addition formulae for Weierstrass elliptic functions. Proceedings of the Royal Society of London Series A - Mathematical Physical and Engineering Sciences, 470 (2171), 20140051.

England, M. and Wilson, D., 2015. An Implementation of Sub-CAD in Maple. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2015-01)

Esteva, M., Padget, J. and Sierra, C., 2002. Formalizing a language for institutions and norms. (Lecture Notes in Artificial Intelligence)

Esteva, M. and Padget, J., 2000. Auctions without auctioneers:distributed auction protocols. Berlin, Germany: Springer Verlag, pp. 220-238. (Lecture Notes in Artificial Intelligence; 1788)

Fajardo, I. and Payne, S.J., 2012. Shared online spreadsheets and hidden profiles: Technological effects on dyad decision strategy. Interacting with Computers, 24 (5), pp. 387-397.

Fatah gen Schieck, A. and O'Neill, E., 2009. The urban screen as a platform for communication. In: Workshop on Crowd Computer Interaction, The Annual CHI Conference on Human Factors in Computing Systems, 2009-04-04 - 2009-04-09.

Fatah gen Schieck, A., O'Neill, E. and Kataras, P., 2010. Exploring embodied mediated performative interactions in urban space. In: Workshop on Designing for Performative Interactions in Public Spaces, UbiComp 2010, 2010-09-26 - 2010-09-29.

Fatah gen Schieck, A., Palmer, F., Penn, A. and O'Neill, E., 2011. Sensing, Projecting and Interpreting Digital Identity Through Bluetooth: From anonymous encounters to social engagement. In: Foth, M., Forlano, L., Satchell, C. and Gibbs, M., eds. From social butterfly to engaged citizen: urban informatics, social media, ubiquitous computing, and mobile technology to support citizen engagement. Cambridge, U. S. A.: Massachusetts Institute of Technology Press, pp. 297-314.

Fatah gen Schiek, A., Penn, A., Kostakos, V., O'Neill, E., Kindberg, T., Fraser, D. S. and Jones, T., 2006. Design Tools for Pervasive Computing in Urban Environments. In: Proceedings of the 8th International Conference on Design & Decision Support Systems in Architecture and Urban Planning. Eindhoven, Netherlands: Springer, pp. 467-486.

Fatah gen Shieck, A., Penn, A. and O'Neill, E., 2008. Mapping, Sensing and Visualising the Digital Co-Presence in the Public Arena. In: Timmermans, H. and de Vries, B., eds. Proceedings of the 9th International Conference on Design and Decision Support Systems in Architecture and Urban Planning. Leende, Netherlands: Springer, pp. 38-58.

Fedorec, A. J., 2013. Information Acquisition and Communication and its Impact on Social Structure. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-06)

Finnegan, D., O'Neill, E. and Proulx, M., 2016. Compensating for Distance Compression in Audiovisual Virtual Environments Using Incongruence. In: SIGCHI Conference in Human Factors in Computing Systems 2016, 2016-05-07.

Firmenich, D., Brown, M. and Susstrunk, S., 2011. Multispectral Interest Points for RGN-NIR Image Registration. In: ICIP 2011: IEEE International Conference on Image Processing, 2011-09-11 - 2011-09-14.

Fitch, J., 2009. CAMAL 40 Years on - Is Small Still Beautiful? In: Carette, J., Dixon, L., Coen, C. S. and Watt, S. M., eds. Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009. Proceedings.Vol. 5625. Berlin: Springer, pp. 32-44. (Lecture Notes in Computer Science)

Fitch, J. and Shabana, W., 1999. A wavelet-based pitch detector for musical signals. In: Tro, J. and Larsson, M., eds. Proceedings of 2nd COST-G6 Workshop on Digital Audio Effects (DAFx99). Trondheim: Norwegian University of Science and Technology, pp. 101-104.

Fitch, J. P., 1990. A Delivery System for REDUCE. In: Proceedings of the international symposium on Symbolic and Algebraic Computation (ISSAC90). ACM and Addison-Wesley, pp. 76-81.

Fitch, J. P., 1988. A Loosely Coupled Parallel LISP Execution System. In: Design and Application of Parallel Digital Processors, 1988., International Specialist Seminar on the.Vol. 298. IEE, pp. 128-133. (IEE Conference Publication)

Fitch, J. P., 1985. Applying computer algebra. In: International Conference on Computer Algebra and its Application in Theoretical Physics, Dubna, USSR. Soviet Academy of Sciences, pp. 262-275.

Fitch, J. P., 1989. Can REDUCE be run in parallel? In: Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation. New York, NY, USA: ACM, pp. 155-162.

Fitch, J. P., 1989. Compiling for Parallelism. In: Proceedings of European Workshop on Parallelism and Algebra, 1988-01-01.

Fitch, J. P., 1984. Implementing REDUCE on a microcomputer. In: Proceedings of EUROCAL 1983.Vol. 162. Springer, pp. 128-136. (Lecture Notes in Computer Science)

Fitch, J. P., 1986. LISP, A mature environment for problem solving. In: Ford, B. and Chatlin, F., eds. Proceedings of the IFIP TC 2/WG 2.5 Working Conference on Problem Solving Environments for Scientific Computing. North-Holland, pp. 367-377.

Fitch, J. P., 1977. Mechanizing the solution of perturbation problems (invited). In: Fourth Symposium on Advanced Computer Methods in Physics, 1977-01-01.

Fitch, J. P., 1973. On Algebraic Simplification. Computer Journal, 16 (1), pp. 23-27.

Fitch, J. P., 1977. Profiling a large program. Software: Practice and Experience, 7 (4), pp. 511-518.

Fitch, J. P., 1992. Providing REDUCE more easily. In: Ganzha, V. G., Rudenko, V. M. and Vorozhtsov, E. V., eds. Proceedings of Computer Algebra and Its Applications to Mechanics 1990 (CAAM'90). New York: Nova Science, Chapter 21, 1-13.

Fitch, J. P., 1993. REDUCE Meets CAMAL. In: Fitch, J. P., ed. Design and Implementation of Symbolic Computation Systems.Vol. 721. Heidelberg, Germany: Springer, pp. 104-115. (Lecture Notes in Computer Science)

Fitch, J. P., 1991. REDUCE as a numerical tool. In: Shirkov, D. V., Rostovtsev, V. A. and Gerdr, V. P., eds. Proceedings of the IV International Conference on Computer Algebra in Physical Research. World Scientific, pp. 89-97.

Fitch, J. P., 1985. Solving algebraic problems with REDUCE. Journal of Symbolic Computation, 1 (2), pp. 211-227.

Fitch, J. P., 1975. The Cambridge algebra system - An overview. In: Proceedings of SEAS Anniversary Meeting. SEAS, pp. 197-207.

Fitch, J. P., 1990. The algebraic-numeric interface. Computer Physics Communications Package, 61 (1-2), pp. 22-33.

Fitch, J. P., 1979. The application of algebraic manipulation to physics, A case of creeping flow? In: Ng, W., ed. Symbolic and Algebraic Computation.Vol. 72. Springer, pp. 30-41. (Lecture Notes in Computer Science)

Fitch, J. P., 1981. User-based Integration Software. In: Wang, P. A., ed. Proceedings of the 1981 ACM Symposium on Symbolic and Algebraic Computation. New York, USA: ACM, pp. 245-248.

Fitch, J. P., 1987. Utilisation du calcul formel. In: Chenin, P., ed. Calcul Formel et Automatique. Paris: Editions du CNRS, pp. 119-136.

Fitch, J. P. and Cohen, H. I., 1991. Uses made of computer algebra in physics. Journal of Symbolic Computation, 11 (3), pp. 291-305.

Fitch, J. P. and Leach, J. L., 1995. Nature Music and Algorithmic Composition. Computer Music Journal, 19 (2), pp. 23-33.

Fitch, J. P., Varga, I. and Gogins, M., 2007. Csound5. Sourceforge.

Fitch, J., Lazzarini, V. and Yi, S., 2013. Csound6:old code renewed. In: zmölnig, I. m. and Plessas, P., eds. Linux Audio Conference 2013 (LAC 2013), 2013-05-09 - 2013-05-12, Institute of Electronic Music and Acoustics (IEM) University of Music and Performing Arts Graz. Graz, Austria: Institute of Electronic Music and Acoustics, University for Music and Performing Arts Graz, Austria, pp. 69-75.

Fitch, J. P. and Cohen, H. I., 1979. Using CAMAL for algebraic calculations in general relativity. General Relativity and Gravitation, 11, pp. 411-418.

Fitch, J. P. and Garnett, D. J., 1972. Measurements on the Cambridge Algebra System. In: Proceedings of the International Computing Symposium, Venice. New York: ACM, pp. 139-147.

Fitch, J. P. and Hall, R. G., 1989. Symbolic Computation and the Finite Element Method. In: Davenport, J. H., ed. Title Eurocal '87 European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings.378 ed. Heidelberg: Springer, pp. 95-96. (Lecture Notes on Computer Science)

Fitch, J. P., Herbert, P. and Norman, A. C., 1976. The Design Features of COBALG. In: Proceedings of SYMSAM 1976. New York: ACM, pp. 185-188.

Fitch, J. P. and Marti, J. B., 1982. NLARGEing a Z80 Microprocessor. In: Computer Algebra EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982.144 ed. Heidelberg: Springer, pp. 249-255. (Lecture Notes in Computer Science)

Fitch, J. P. and Marti, J. B., 1983. The Bath Concurrent LISP Machine. In: Title Computer Algebra EUROCAL'83, European Computer Algebra Conference London, England, March 28–30, 1983 Proceedings.162 ed. Heidelberg: Springer, pp. 78-90. (Lecture Notes in Computer Science)

Fitch, J. P. and Norman, A. C., 1977. A high level implementation of LISP. Software--Practice and Experience, 7, pp. 713-725.

Fitch, J. P. and Norman, A. C., 1977. A note on compacting garbage collection. The Computer Journal, 21 (1), pp. 31-34.

Fitch, J. P., Norman, A. C. and Moore, P. M. A., 1986. ALKAHEST III: Automatic Analysis of Periodic Weakly Nonlinear ODEs. In: Proceedings of SYMSAC 86, Waterloo, Canada. New York: ACM, pp. 34-38.

Fitch, J. P., Norman, A. C. and Moore, P. M. A., 1981. The Automatic Derivation of Periodic Solutions to a Class of Weakly Nonlinear Differential Equations. In: Wang, P. A., ed. SYMSAC '81: Proceedings of the 1981 ACM Symposium on Symboliic and Algebraic Computation. New York: ACM, pp. 239-244.

Fitch, J. P. and Padget, J. A., 1984. A Pure And Really Simple Initial Functional Algebraic Language. In: Fitch, J. P., ed. Proceedings of EUROSAM 84, 1984-01-01. Heidelberg: Springer, pp. 148-158. (Lecture Notes in Computer Science)

Fitch, J. P. and Padget, J. A., 2004. Ride a Cock-horse.... In: Delgado, J., Nesi, P. and Ng, K., eds. WEDELMUSIC 2004, 2004-09-01. IEEE, pp. 136-143.

Fitch, J. P. and Padget, J. A., 1985. The Extent of Scope. In: Proceedings of 5th Hungarian Computer Science Conference, GyHor, Hungary, 1985-01-01. Budapest:: Hungariam Academy of Sciences, pp. 173-184.

Froehner, T., Nickles, M. and Weiss, G., 2004. Open ontologies - The need for modeling heterogeneous knowledge. Unkown Publisher. (Ike '04: Proceedings of the International Conference on Information and Knowledge Engnineering)

Fuhrmann, C. and Pym, D., 2007. On categorical models of classical logic and the Geometry of Interaction. Mathematical Structures in Computer Science, 17 (5), pp. 957-1027.

Fuhrmann, C. and Pym, D., 2006. Order-enriched categorical models of the classical sequent calculus. Journal of Pure and Applied Algebra, 204 (1), pp. 21-78.

Gabrielov, A. and Vorobjov, N., 2005. Betti numbers of semialgebraic sets defined by quantifier-free formulae. Discrete & Computational Geometry, 33 (3), pp. 395-401.

Gabrielov, A. and Vorobjov, N., 2001. Complexity of cylindrical decompositions of sub-Pfaffian sets. Journal of Pure and Applied Algebra, 164 (1-2), pp. 179-197.

Gabrielov, A., Vorobjov, N. and Zell, T., 2004. Betti numbers of semialgebraic and sub-Pfaffian sets. Journal of the London Mathematical Society, 69, pp. 27-43.

Gabrielov, A. and Vorobjov, N., 2009. Approximation of definable sets by compact families, and upper bounds on homotopy and homology. Journal of the London Mathematical Society, 80 (1), pp. 35-54.

Gabrielov, A. and Vorobjov, N., 2015. On topological lower bounds for algebraic computation trees. Foundations of Computational Mathematics

Galmiche, D., Mery, D. and Pym, D., 2005. The semantics of BI and resource tableaux. Mathematical Structures in Computer Science, 15 (6), pp. 1033-1088.

Galmiche, D., Mery, D. and Pym, D., 2005. The semantics of BI and resource tableaux. Mathematical Structures in Computer Science, 15 (6), pp. 1033-1088.

Galmiche, D., Mery, D. and Pym, D., 2002. Resource tableaux - (extended abstract). In: Bradfield, J., ed. Computer Science Logic.Vol. 2471. Berlin, Germany: Springer, pp. 183-199. (Lecture Notes in Computer Science; 2471)

Gao, H., Naeem, M. A., Lutteroth, C. and Weber, G., 2015. S3J:a parallel semi-stream similarity join. New York, U. S. A.: ACM, pp. 49-57.

Garzonis, S. and O'Neill, E., 2005. Usability evaluation of context-aware mobile phones. IEEE Pervasive Computing, 4 (2), pp. 82-83.

Garzonis, S., 2010. Mobile Service Awareness via Auditory Notifications. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Garzonis, S., Bevan, C. and O'Neill, E., 2008. Mobile Service Audio Notifications: Intuitive Semantics and Noises. In: OZCHI '08 Proceedings of the 20th Australasian Conference on Computer-Human Interaction: Designing for Habitus and Habitat. New York, USA: ACM, pp. 156-163.

Garzonis, S., Jones, S., Jay, T. and O'Neill, E., 2009. Auditory Icon and Earcon Mobile Service Notifications:Intuitiveness, Learnability, Memorability and Preference. In: Greenberg, S., Hudson, S. E., Hinkley, K., RingelMorris, M. and Olsen, D. R., eds. 27th Annual CHI Conference on Human Factors in Computing Systems, 2009-04-04 - 2009-04-09. Association for Computing Machinery (ACM), pp. 1513-1522.

Garzonis, S. and O'Neill, E., 2006. Factors Contributing to Low Usage of Mobile Data Services: User requirements, service discovery and usability. In: Bryan-Kinns, N., Blandford, A., Curzon, P. and Nigay, L., eds. People and Computers XX - Engage. London: Springer, pp. 221-236. (Proceedings of HCI 2006)

Garzonis, S., O'Neill, E., Kostakos, V., Kaenampornpan, M. and Warr, A., 2004. A novel approach for identification and authentication of users in a pervasive environment. In: 2nd UK-UbiNet Workshop, 2004-05-05 - 2004-05-07.

Gaudl, S., Davies, S. and Bryson, J. J., 2013. Behaviour oriented design for real-time-strategy games: An approach on iterative development for STARCRAFT AI. In: Foundations of Digital Games 2013, 2013-05-14 - 2013-05-17. Foundations of Digital Games, pp. 198-205.

Gaudl, S., Osborn, J. and Bryson, J., 2015. Learning from Play:Facilitating character design through genetic programming and human mimicry. In: 17th Portuguese Conference on Artificial Intelligence (EPIA-2015), 2015-09-08 - 2015-09-11, University of Coimbra.

Gaudl, S. E. and Bryson, J. J., 2014. Extended ramp goal module:Low-cost behaviour arbitration for real-time controllers based on biological models of dopamine cells. In: 2014 IEEE Conference on Computational Intelligence and Games, CIG 2014, 2014-08-26 - 2014-08-29. IEEE Computer Society Press.

Gemrot, J., Brom, C., Bída, M. and Bryson, J., 2012. How to compare usability of techniques for the specification of virtual agents' behavior?:An experimental pilot study with human subjects. In: Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers.Vol. 7471 LNAI. Berlin: Springer, pp. 38-62. (Lecture Notes in Computer Science)

Gemrot, J., Brom, C., Bryson, J. J. and Bída, M., 2011. How to compare usability of techniques for the specification of virtual agents behavior? An experimental pilot study with human subjects. In: Proceedings of the AAMAS 2011 Workshop on the uses of Agents for Education, Games and Simulations, 2011-05-02 - 2011-05-03.

Geng, X., Smith-Miles, K., Wang, L., Li, M. and Wu, Q., 2010. Context-aware fusion: A case study on fusion of gait and face for human identification in video. Pattern Recognition, 43 (10), pp. 3660-3673.

Ghani, N. and Power, J., 2006. Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006). In: Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006), 2006-01-01.

Ghani, N., Lüth, C., De Marchi, F. and Power, J., 2003. Dualising initial algebras. Coalgebraic methods in computer science (Genova, 2001). Mathematical Structures in Computer Science, 13 (2), pp. 349-370.

Ghani, N., Lüth, C., de Marchi, F. and Power, J., 2001. Algebras, Coalgebras, Monads and Comonads. Electronic Notes in Theoretical Computer Science, 44 (1), pp. 128-145.

Girard, S. and Johnson, H., 2008. DividingQuest:Opening the Learner Model to Teachers. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2008-01)

Girard, S., 2011. Case studies illustrations of experimental settings issues in classrooms. In: Proceedings 1st Workshop on Usability and Educational Technology, supplementary proceedings of the IHM 2011 conference, Sophie-Antipolis, France, October 24-27 2011. New York: ACM.

Girard, S., 2006. DividingQuest:Using Emotive Interface Personas in Educational Software. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-19)

Girard, S., 2007. Towards promoting meta-cognition using emotive interface personas within Open-Learner Modelling Environments. In: Luckin, R., Koedinger, K. R. and Greer, J., eds. Artificial Intelligence in Education - Building Technology Rich Learning Contexts That Work.Vol. 158. I O S Press, pp. 687-688. (Frontiers in Artificial Intelligence and Applications)

Girard, S. and Johnson, H., 2011. Designing affective animations with children as design partners using role-playing. In: IHM'11 - 23rd Conference Francophone sur l'Interaction Homme-Machine - 23rd French Speaking Conference on Human-Computer Interaction, IHM'11. New York: Association for Computing Machinery (ACM). (ACM International Conference Proceeding Series)

Girard, S. and Johnson, H., 2010. Designing affective computing learning companions with teachers as design partners. In: Proceedings of the 3rd International Workshop on Affective Interaction in Natural Environments - AFFINE '10. New York: ACM, pp. 49-54.

Girard, S. and Johnson, H., 2008. Designing and evaluating affective open-learner modeling tutors. In: Proceedings of the 7th International Conference on Interaction Design and Children - IDC '08. New York: ACM, pp. 13-16.

Girard, S. and Johnson, H., 2006. DividingQuest: Using emotive interface personas in educational Software. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-20)

Girard, S. and Johnson, H., 2009. Educational software for children. In: Proceedings of the 21st International Conference on Association Francophone d'Interaction Homme-Machine - IHM '09. New York: ACM, pp. 259-262.

Girard, S. and Johnson, H., 2008. Including affect in Open-Learner Modelling environments: the impacts of emotive interface personas on learning. In: Peter, C., Beale, R., Crane, E., Axelrod, L. and Blyth, G., eds. Emotion in HCI: Joint Proceedings of the 2005, 2006, and 2007 International Workshops. Stuttgart: Fraunhofer IRB Verlag, pp. 180-182.

Girard, S. and Johnson, H., 2007. Opening the Learner-Model to teachers. In: Actes de la conférence EIAH 2007, Lusanne, 19-27 Juin 2007. , pp. 329-334.

Girard, S. and Johnson, H., 2007. Opening the learner-model to teachers. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-20)

Girard, S. and Johnson, H., 2008. Towards guidelines for designing open-learner modeling tutoring systems: mixing colors and emotions. In: roceedings of the WEITS workshop, ITS conference, Chicago, IL. , pp. 44-54.

Girard, S. and Johnson, H., 2010. What do children favor as embodied pedagogical agents? In: Aleven, V., Kay, J. and Mostow, J., eds. Intelligent Tutoring Systems, Pt 1, Proceedings.Vol. 6094. Springer, pp. 307-316. (Lecture Notes in Computer Science)

Gluckman, G. M. and Bryson, J. J., 2011. An agent-based model of the effects of a primate social structure on the speed of natural selection. In: Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication. New York: Association for Computing Machinery (ACM), pp. 535-542.

Gong, H., 2015. Interactive Shadow Removal. Thesis (Doctor of Philosophy (PhD)). University of Bath. Item availability may be restricted.

Gong, H. and Cosker, D. P., 2014. Interactive Shadow Removal and Ground Truth for Variable Scene Categories. In: BMVC 2014 - Proceedings of the British Machine Vision Conference 2014, 2014-09-01 - 2014-09-05.

Gong, H. and Cosker, D., 2014. Interactive shadow editing from single images. Springer, pp. 243-252. (Lecture Notes in Computer Science; 9009)

Gong, H., Cosker, D., Li, C. and Brown, M., 2013. User-aided single image shadow removal. In: 2013 IEEE International Conference on Multimedia and Expo (ICME), 2013-07-14 - 2013-07-18.

Gonzalez Castro, G., Ugail, H., Willis, P. and Palmer, I. J., 2006. Shape Morphing using PDE Surfaces. In: The Sixth IASTED International Conference on Visualisation, Imaging and Image Processing, 2006-01-01.

Gonzalez-George, V., 2006. Information retrieval and gathering: An experimental prototype for Mac OS X. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-16)

Gooch, D. and Watts, L., 2012. SleepyWhispers:Sharing goodnights within distant relationships. In: Proceedings of the UIST2012: 25th Annual ACM Symposium on User Interface Software and Technology, 2012-10-07 - 2012-10-10. ACM, pp. 61-62.

Gooch, D., 2013. Designing Communication Devices for Long Distance Dating Relationships. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Gooch, D., 2011. Socialising presence. In: CHI EA 2011 - 29th Annual CHI Conference on Human Factors in Computing Systems, Conference Proceedings and Extended Abstracts. New York: Association for Computing Machinery (ACM), pp. 1049-1052. (Conference on Human Factors in Computing Systems - Proceedings)

Gooch, D. and Kelly, R., 2016. Season's greetings: An analysis of Christmas card use. In: ACM SIGCHI Conference on Human Factors in Computing Systems (CHI 2016), 2016-05-07 - 2016-05-12, California.

Gooch, D. and Watts, L., 2012. It's neat to feel the heat:How can we hold hands at a distance? In: CHI'12: The 2012 ACM annual conference on Human Factors in Computing Systems, 2012-05-05 - 2012-05-10.

Gooch, D. and Watts, L., 2011. The Magic Sock Drawer project. In: CHI EA 2011 - 29th Annual CHI Conference on Human Factors in Computing Systems, Conference Proceedings and Extended Abstracts. New York: Association for Computing Machinery (ACM), pp. 243-252. (Conference on Human Factors in Computing Systems - Proceedings)

Gooch, D. and Watts, L. A., 2010. Understanding social presence. In: International Society for Presence Research Annual Conference (ISPR 2011), 2011-10-26 - 2011-10-28.

Gooch, D. and Watts, L. A., 2011. Up close and personal: social presence in mediated personal relationships. In: 25th BCS Conference on Human-Computer Interaction (HCI2011 Health, Wealth and Happiness), 2011-07-04 - 2011-07-08.

Gooch, D. and Watts, L. A., 2012. YourGloves, hothands and hotmits: devices to hold hands at a distance. In: Proceedings of the UIST2012: 25th Annual ACM Symposium on User Interface Software and Technology, 2012-10-07 - 2012-10-10. New York: Association for Computing Machinery (ACM), pp. 157-166.

Goodison, P., Johnson, P. and Thoms, J., 2009. Establishing causality in complex human interactions: Identifying breakdowns of intentionality. In: Complex Sciences - First International Conference, Complex 2009, Revised Papers. Heidelberg: Springer, pp. 1631-1641. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)

Gopsill, J. A., Payne, S. J. and Hicks, B. J., 2013. An exploratory study into automated real-time categorisation of engineering e-mail. In: 2013 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2013), 2013-10-13 - 2013-10-16.

Gopsill, J., Jones, S., Snider, C., Shi, L., McMahon, C. A. and Hicks, B. J., 2014. Understanding the Engineering Design Process Through the Evolution of Engineering Digital Objects. In: 13th International Design Conference, DESIGN 2014, 2014-05-19 - 2014-05-22.

Gouaich, A., 2004. Requirements for achieving software agents autonomy and defining their responsibility. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy. Berlin, Germany: Springer, pp. 128-139. (Lecture Notes in Computer Science; 2969)

Gourmel, O., Barthe, L., Cani, M.-P., Wyvill, B., Bernhardt, A., Paulin, M. and Grasberger, H., 2013. A gradient-based implicit blend. ACM Transactions on Graphics, 32 (2), 12.

Gradwell, P., Oey, M., Timmer, R., Brazier, F. and Padget, J., 2008. Engineering large-scale distributed auctions. In: 20th Belgian-Dutch Conference on Artificial Intelligence, BNAIC 2008, 2008-10-30 - 2008-10-31.

Gradwell, P., 2009. Economic Algorithms for the Management of Resources in Computer Systems. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Gradwell, P. and Padget, J., 2007. A comparison of distributed and centralised agent based bundling systems. In: Dellarocas, C. and Dignum, F., eds. ICEC 2007: Ninth International Conference on Electronic Commerce, 2007-08-01.

Gradwell, P. and Padget, J., 2005. Markets vs. Auctions: Approaches to Distributed Combinatorial Resource Scheduling. Multiagent and Grid Systems, 1, 251--262.

Granados, M., Kim, K. I., Tompkin, J., Kautz, J. and Theobalt, C., 2012. Background inpainting for videos with dynamic objects and a free-moving camera. Berlin, Germany: Springer Verlag, pp. 682-695. (Lecture Notes in Computer Science; 7272)

Granados, M., Kim, K. I., Tompkin, J. and Theobalt, C., 2013. Automatic noise modeling for ghost-free HDR reconstruction. ACM Transactions on Graphics, 32 (6), 201:1-201:10.

Granados, M., Tompkin, J., Kim, K. I., Grau, O., Kautz, J. and Theobalt, C., 2012. How not to be seen: object removal from videos of crowded scenes. Computer Graphics Forum, 31 (2 Part 1), pp. 219-228.

Grawemeyer, B., Johnson, H., Brosnan, M., Ashwin, E. and Benton, L., 2012. Developing an embodied pedagogical agent with and for young people with autism spectrum disorder. In: Cerri, S. A., Clancey, W. J., Papadourakis, G. and Panourgia, K., eds. Intelligent Tutoring Systems: 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings. Springer, pp. 262-267. (Lecture Notes in Computer Science; 7315)

Grawemeyer, B. and Johnson, H., 2011. Using and managing multiple passwords: a week to a view. Interacting with Computers, 23 (3), pp. 256-267.

Grawemeyer, B., Johnson, H., Brosnan, M., Ashwin, E. and Benton, L., 2011. Clustering of External Representations In Young People with Autism Spectrum Disorder. In: International Meeting For Autism Research, 2011-05-01.

Grawemeyer, B., Johnson, H., Brosnan, M., Ashwin, E. and Benton, L., 2011. The impact of Autism Spectrum Disorder on the Categorisation of External Representations. Cognitive Science. In: 33rd Annual Meeting of the Cognitive Science Society, 2011-07-20 - 2011-07-23.

Gray, P. and Johnson, H., 2003. People and Computers XVIII: Conference Companion. Cambridge University Press.

Grey, J. and Bryson, J. J., 2011. Procedural quests: A focus for agent interaction in role-playing-games. In: Proceedings of the AISB 2011 Symposium: AI & Games, 2011-04-06 - 2011-04-07.

Grigoriev, D. and Vorobjov, N., 2002. Complexity of null- and Positivstellensatz proofs. Annals of Pure and Applied Logic, 113 (1-3), pp. 153-160.

Grimmett, J. and O'Neill, E., 2012. UPnP: breaking out of the LAN. In: IEEE Wireless Communications and Networking Conference (WCNC) 2012, 2012-04-01 - 2012-04-04.

Grow, A., Gaudl, S., Gomes, P., Mateas, M. and Wardrip-Fruin, N., 2014. A Methodology for Requirements Analysis of AI Architecture Authoring Tools.

Guglielmi, A., 2007. A system of interaction and structure. ACM Transactions on Computational Logic, 8 (1).

Guglielmi, A., 2009. Personal portrait of Giorgio Levi. Theoretical Computer Science, 410 (46), pp. 4605-4607.

Guglielmi, A., 2005. The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference. In: ICALP '05 Workshop `Structures and Deduction', 2005-01-01.

Guglielmi, A. and Strassburger, L., 2002. A Non-commutative Extension of MELL. In: Logic for Programming, Artificial Intelligence, and Reasoning - 9th International Conference, LPAR, 2002-10-01.

Guglielmi, A. and Strassburger, L., 2001. Non-commutativity and MELL in the Calculus of Structures. In: Computer Science Logic (CSL) 2001 - Lecture Notes in Computer Science, 2001-09-01.

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

Guglielmi, A. and Gundersen, T., 2008. Normalisation control in deep inference via atomic flows. Logical Methods in Computer Science, 4 (1), 9.

Guglielmi, A., Gundersen, T. and Parigot, M., 2010. A proof calculus which reduces syntactic bureaucracy. In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications.Vol. 6. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 135-150.

Guglielmi, A., Gundersen, T. and Straburger, L., 2010. Breaking paths in atomic flows for classical logic. In: 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, July 11, 2010 - July 14, 2010, 2010-07-01. IEEE, pp. 284-293. (Proceedings - Symposium on Logic in Computer Science)

Guglielmi, A. and Straburger, L., 2011. A system of interaction and structure V: the exponentials and splitting. Mathematical Structures in Computer Science, 21 (3), pp. 563-584.

Gundersen, T., Heijltjes, W. and Parigot, M., 2013. A proof of strong normalisation of the typed atomic lambda-calculus. In: LPAR: International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2013-11-15. Heidelberg, Germany: Springer, pp. 340-354. (Lecture Notes in Computer Science; 8312)

Gundersen, T., Heijltjes, W. and Parigot, M., 2013. Atomic lambda-calculus:A typed lambda-calculus with explicit sharing. In: Twenty-Eighth Annucal ACM/IEEE Symposium on Logic in Computer Science (LICS 2013), 2013-06-24 - 2013-06-27. IEEE, pp. 311-320.

Gundersen, T. E., 2009. A general view of normalisation through atomic flows. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Gupta, P., Arrabolu, S. S., Brown, M. and Savarese, S., 2009. Video scene categorization by 3D hierarchical histogram matching. In: ICCV 2009: IEEE 12th International Conference on Computer Vision, 2009-09-29 - 2009-10-02.

Gwynn, G., 2005. Viewpoint invariant content based image retrieval for urban navigation. Department of Computer Science, University of Bath. (Computer Science Technical Reports)

Hall, P. and Barsky, B., 2005. Special issue: Vision, video and graphics 2003 - Introduction. Graphical Models, 67 (6), p. 475.

Hall, P. and Owen, M., 2004. Learning to detect low-level features. In: British Machine Vision Conference (BMVC), 2007-01-01.

Hall, P. and Owen, M. J., 2005. Simple Canonical Views. In: British Machine Vision Conference (BMVC), 2007-01-01.

Hall, P. M., 1999. Nonphotorealistic Rendering by Q-mapping. Computer Graphics Forum, 18 (1), pp. 27-39.

Hall, P. M., Collomosse, J. P., Song, Y. Z., Shen, P. Y. and Li, C., 2007. RTcams: A new perspective on nonphotorealistic rendering from photographs. IEEE Transactions on Visualization and Computer Graphics, 13 Sep-Oct (5), pp. 966-979.

Hall, P. M. and Hicks, Y., 2004. A method to add Gaussian mixture models. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-03)

Hall, P. M., Hicks, Y. and Robinson, T., 2005. A method to add Gaussian mixture models. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2005-03)

Hall, P. M. and Lehmann, A.-S., 2014. Don't measure - appreciate:NPR seen through the prism of art history. In: Collomosse, J. and Rosin, P., eds. Image and Video-Based Artistic Stylisation.Vol. 42. UK: Springer, pp. 333-351.

Hall, P. M., Ngan, M. and Andreae, P., 1997. Reconstruction of vascular networks using three-dimensional models. IEEE Transactions on Medical Imaging, 16 (6), pp. 919-929.

Hall, P. M., Owen, M. J. and Collomosse, J. P., 2004. A Trainable Low-level Feature Detector. In: Proceedings Intl. Conference on Pattern Recognition (ICPR), 2004-08-01.

Hall, P.M., 2014. Introduction to Machine Learning for Computer Graphics. In: ACM SIGGRAPH 2014 Courses, SIGGRAPH 2014. ACM.

Hall, P., Marshall, D. and Martin, R., 2002. Adding and subtracting eigenspaces with eigenvalue decomposition and singular value decomposition. Image and Vision Computing, 20 (13-14), pp. 1009-1016.

Hall, P. and Song, Y.-z., 2013. Simple Art as abstractions of photographs. In: Symposium on Computational Aesthetics, CAE 2013 - Part of the Joint Symposium on Computational Aesthetics, Sketch-Based Interfaces and Modeling, and Non-Photorealistic Animation and Rendering, Expressive 2013, 2013-07-19 - 2013-07-20, California. New York: ACM, pp. 77-85.

Harrison, T. S., 2012. Testing Boundaries: A Theory of Adaption and Framing Effects in Ongoing Tasks. Thesis (Doctor of Philosophy (PhD)). University of Bath.

He, L., Huang, C., Duan, K., Li, K., Chen, H., Sun, J. and Jarvis, S. A., 2012. Modeling and analyzing the impact of authorization on workflow executions. Future Generation Computer Systems, 28 (8), pp. 1177-1193.

He, L., Huang, C., Li, K., Chen, H., Sun, J., Gao, B., Duan, K. and Jarvis, S. A., 2011. Modelling and analyzing the authorization and execution of video workflows. In: 18th International Conference on High Performance Computing (HiPC), 2011. Piscataway, NJ: IEEE.

He, L., Duan, K., Chen, X., Zou, D., Han, Z., Fadavinia, A. and Jarvis, S. A., 2011. Modelling workflow executions under role-based authorisation control. In: Proceedings - 2011 IEEE International Conference on Services Computing, SCC 2011. Piscataway, NJ: IEEE, pp. 200-208.

Heijltjes, W. and Houston, R., 2014. No proof nets for MLL with units:Proof equivalence in MLL is PSPACE-complete. In: Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014, 2014-07-14 - 2014-07-18. New York: ACM.

Heijltjes, W., 2010. Classical proof forestry. Annals of Pure and Applied Logic, 161 (11), 1346–1366.

Heijltjes, W., 2012. Graphical Representation of Canonical Proof: Two Case Studies. Thesis (Doctor of Philosophy (PhD)). University of Edinburgh.

Heijltjes, W., 2011. Proof nets for additive linear logic with units. In: 26th Annual IEEE Symposium on Logic in Computer Science, 2011-06-20 - 2011-06-23. IEEE, pp. 207-216.

Heijltjes, W. and Houston, R., 2016. Proof equivalence in MLL is PSPACE-complete. Logical Methods in Computer Science, 12 (1).

Heijltjes, W. and Hughes, D., 2015. Complexity bounds for sum-product logic via additive proof nets and Petri nets. In: 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2015, 2015-07-06 - 2015-07-10. IEEE, pp. 80-91.

Heijltjes, W. and Strassburger, L., 2016. Proof nets and semi-*-autonomous categories. Mathematical Structures in Computer Science, 26 (5), pp. 789-828.

Herman, I. and Duke, D., 2001. Minimal graphics. IEEE Computer Graphics and Applications, 21 Nov-Dec (6), pp. 18-21.

Hermida, C., Makkai, M. and Power, J., 2000. On weak higher dimensional categories I: Part 1. Journal of Pure and Applied Algebra, 154 (1-3), pp. 221-246.

Hermida, C., Makkai, M. and Power, J., 2002. On weak higher-dimensional categories. I. 3. Journal of Pure and Applied Algebra, 166 (1-2), pp. 83-104.

Hermida, C., Makkai, M. and Power, J., 2001. On weak higher-dimensional categories. I.2. Journal of Pure and Applied Algebra, 157 (2-3), pp. 247-277.

Herzog, R., Cadik, M., Aydin, T. O., Kim, K. I., Myszkowski, K. and Seidel, H.-P., 2012. NoRM: no-reference image quality metric for realistic image synthesis. Computer Graphics Forum, 31, pp. 545-554.

Hicks, Y. A., Hall, P. M. and Marshall, A. D. M., 2003. A method to add Hidden Markov Models with application to learning articulated motion. In: British Machine Vision Conference, 2003-09-01.

Hinds, J., Calderon, A. and Johnson, P., 2013. Emergent behaviour and social media in large-scale disasters. In: IADIS Multi Conference on Computer Science and Information Systems 2013, 2013-07-24 - 2013-07-26.

Hinds, J. M. and Payne, S. J., 2016. Collaborative inhibition and semantic recall:improving collaboration through computer mediated communication. Applied Cognitive Psychology, 30 (4), pp. 554-565. Item availability may be restricted.

Hoare, C., Campbell, R., Felton, R. and Betsworth, L., 2015. Hide and seek:exploring interaction with smart wallpaper. In: 2nd ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play, CHI PLAY 2015, 2015-10-05 - 2015-10-07. New York, U. S. A.: Association for Computing Machinery, Inc, pp. 129-133.

Holstein, H., Anastasiades, C. and Willis, C., 2008. Gravity potential series expansion for homogeneous polyhedra. In: 70th European Association of Geoscientists & Engineers (EAGE) Conference & Exhibition, 2008-06-09 - 2008-06-12.

Holstein, H., Fitzgerald, D., Willis, C. and Foss, C., 2011. Magnetic gradient tensor eigen-analysis for dyke location. In: 73rd EAGE Conference & Exhibition incorporating SPE EUROPEC 2011, 2011-05-23 - 2011-05-26.

Holt, A. J. and Davenport, J. H., 2003. Resolving large prime(s) variants for discrete logarithm computation. In: Cryptography and Coding, Proceedings.Vol. 2898. , pp. 207-222. (Lecture Notes in Computer Science)

Hopton, L., Cliffe, O., De Vos, M. and Padget, J., 2009. AQL : A query language for action domains modelled using answer set programming. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 2009-01-01. Berlin, Germany: Springer, pp. 437-443. (Lecture Notes in Computer Science)

Hopton, L., Cliffe, O., De Vos, M. and Padget, J., 2010. InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. Berlin: Springer, pp. 102-121. (Lecture Notes in Artificial Intelligence)

Hopton, L., 2009. Modelling Institutions using Answer Set Programming:Enhancing the Institution Action Language. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2009-06)

Hourizi, R. and Johnson, P., 2004. Designing to support awareness: a predicative, composite model. In: Proceedings of the ACM CHI 2004 conference on Human Factors in computing systems, 2004-04-01.

Hourizi, R. and Johnson, P., 2003. Towards an explanatory, predictive account of awareness. Computers & Graphics, 27 (6), pp. 859-872.

Howell, L., Child, P. and Hall, P., 2013. Improved image segmentation using motion. In: ACM International Conference Proceeding Series. .

Hua, G., Brown, M. and Winder, S., 2007. Discriminant Embedding for Local Image Descriptors. In: ICCV 2007: IEEE 11th International Conference on Computer Vision, 2007, 2007-10-14 - 2007-10-21.

Huang, B., 2014. The Use of Modular Approaches for Robots to Learn Grasping and Manipulation. Thesis (Doctor of Philosophy (PhD)). Computer Science.

Huang, B., Bryson, J. J. and Inamura, T., 2013. Learning motion primitives of object manipulation using Mimesis Model. In: 2013 IEEE International Conference on Robotics and Biomimetics, ROBIO 2013, 2013-12-12 - 2013-12-14. IEEE, pp. 1144-1150.

Huang, B., El-Khoury, S., Li, M., Bryson, J. J. and Billard, A., 2013. Learning a real time grasping strategy.

Huang, B., Li, M., De Souza, R. L., Bryson, J. J. and Billard, A., 2015. A modular approach to learning manipulation strategies from human demonstration. Autonomous Robots, 40 (5), pp. 1-25.

Huang, Z., England, M., Wilson, D., Davenport, J. H., Paulson, L. and Bridge, J., 2014. Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. In: Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. and Urban, J., eds. Intelligent Computer Mathematics.Vol. 8543. Springer, pp. 92-107. (Lecture Notes in Artificial Intelligence)

Huang, Z., England, M., Wilson, D., Davenport, J. H. and Paulson, L. C., 2015. A comparison of three heuristics to choose the variable ordering for CAD. New York, U. S. A.: ACM, pp. 121-123.

Hughes, D. and Heijltjes, W., 2016. Conflict nets:efficient locally canonical MALL proof nets. In: 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, 2016-07-05 - 2016-07-08. New York, U. S. A.: ACM, pp. 437-446.

Hunter, A. and Willis, P., 1990. A note on the optimal labelling of quadtree nodes. The Computer Journal, 33 (5), pp. 398-401.

Hunter, A. and Willis, P., 1991. A picture archive browser. Computer Graphics Forum, 10 (1), pp. 49-59.

Hunter, A. and Willis, P., 1989. Breadth-first quad encoding for network picture browsing. Computers & Graphics, 13 (4), pp. 419-432.

Hunter, A. and Willis, P., 1991. Classification of quad-encoding techniques. Computer Graphics Forum, 10 (2), pp. 97-112.

Hur, N. and Davenport, J. H., 2001. A Generic Root Operation for Exact Real Arithmetic. In: Blanck, J., Brattka, V. and Hertling, P., eds. Computability and Complexity in Analysis, 2001-01-01.

Hutchinson, D. J. C. H. and Fitch, J. P., 1990. Implementing Timewarp in Linda and LISP. In: Proceedings of the EUROPAL Workshop on High Performance and Parallel Computing in Lisp, 1990-11-01.

Hyland, M., Levy, P., Plotkin, G. D. and Power, J., 2004. Combining continuations with other effects. In: Proceedings of the Fourth ACM SIGPLAN Continuations Workshop CW'04, Birmingham Technical Report CSR-04-1. .

Hyland, M., Nagayama, M., Power, J. and Rosolini, G., 2006. A Category Theoretic Formulation for Engeler-style Models of the Untyped λ-Calculus. Electronic Notes in Theoretical Computer Science, 161, pp. 43-57.

Hyland, M., Plotkin, G. D. and Power, J., 2002. Combining Computational Effects: commutativity & sum. In: Baeza-Yates, R. A., Montanari, U. and Santoro, N., eds. Proceedings of IFIP TCS'2002. Kluwer, pp. 474-484.

Hyland, M. and Power, J., 2001. Pseudo-commutative Monads. Electronic Notes in Theoretical Computer Science, 45, pp. 197-208.

Hyland, M. and Power, J., 2004. Symmetric Monoidal Sketches and Categories of Wirings. Electronic Notes in Theoretical Computer Science, 100, pp. 31-46.

Hyland, M., Levy, P. B., Plotkin, G. and Power, A., 2007. Combining algebraic effects with continuations. Theoretical Computer Science, 375 (1-3), pp. 20-40.

Hyland, M., Plotkin, G. and Power, J., 2006. Combining effects: sum and tensor. Theoretical Computer Science, 357 (1-3), pp. 70-99.

Hyland, M. and Power, J., 2006. Discrete Lawvere theories and computational effects. Theoretical Computer Science, 366 (1-2), pp. 144-162.

Hyland, M. and Power, J., 2002. Pseudo-commutative monads and pseudo-closed 2-categories. Journal of Pure and Applied Algebra, 175 (1-3), pp. 141-185.

Hyland, M. and Power, J., 2000. Symmetric monoidal sketches. In: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00. New York: ACM, pp. 280-288.

Hyland, M. and Power, J., 2007. The category theoretic understanding of universal algebra: Lawvere theories and monads. Electronic Notes in Theoretical Computer Science, 172, pp. 437-458.

Hyland, M. and Power, J., 2001. Two-dimensional linear algebra. Electronic Notes in Theoretical Computer Science, 44 (1), pp. 227-240.

Ioannidis, C., Pym, D. and Williams, J., 2009. Investments and trade-offs in the economics of information security. In: Dingledine, R. and Golle, P., eds. 13th International Conference on Financial Cryptography and Data Security, 2009-07-01. Berlin, Heidelberg: Springer, pp. 148-166. (Lecture Notes in Computer Science; 5628)

Ishtiaq, S. and Pym, D. J., 2002. Kripke resource models of a dependently-typed, bunched lambda-calculus. Journal of Logic and Computation, 12 (6), pp. 1061-1104.

Ivana, C. and Bryson, J. J., 2007. Agent Based Modelling of Communication Costs: Why Information can be Free. In: Lyon, C., Nehaniv, C. L. and Cangelosi, A., eds. Emergence and Evolution of Linguistic Communication. Springer, pp. 305-322.

Jahedpari, F., 2016. Artificial Prediction Markets for Online Prediction of Continuous Variables. Thesis (Doctor of Philosophy (PhD)). Item availability may be restricted.

Jahedpari, F., Rahwan, T., Michalak, T., Hashemi, S., De Vos, M., Padget, J. and Woon, W. L., 2016. Forthcoming. Online Prediction via Artificial Continuous Prediction Markets. IEEE Intelligent Systems

Jamil, N., Müller, J., Lutteroth, C. and Weber, G., 2012. Extending linear relaxation for user interface layout. IEEE, pp. 939-946.

Jamil, N., Müller, J., Lutteroth, C. and Weber, G., 2013. Speeding up SOR solvers for constraint-based GUIs with warm start strategies. IEEE, pp. 268-273.

Jamil, N., Müller, J., Naeem, M. A., Lutteroth, C. and Weber, G., 2016. Forthcoming. Extending linear relaxation for non-square matrices and soft constraints. Journal of Computational and Applied Mathematics, 308, pp. 346-360.

Jamil, N., Needell, D., Müller, J., Lutteroth, C. and Weber, G., 2013. Kaczmarz Algorithm with Soft Constraints for User Interface Layout. IEEE, pp. 818-824.

Jiang, R.M. and Crookes, D., 2012. Visual saliency estimation through manifold learning. In: Proceedings of the National Conference on Artificial Intelligence.Vol. 3. , pp. 2003-2009.

Jin, X. and Liu, J., 2004. From individual based modeling to autonomy oriented computation. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy. Berlin, Germany: Springer, pp. 151-169. (Lecture Notes in Computer Science; 2969)

John, N. W. and Willis, P., 1989. The controller animation system. Computer Graphics Forum, 8 (2), pp. 133-138.

Johnson, H. and Carruthers, L., 2006. Supporting creative and reflective processes. International Journal of Human-Computer Studies, 64 (10), pp. 998-1030.

Johnson, H. and Carruthers, L., 2007. Towards developing task-based models of creativity. In: 7th International Workshop on Task models and Diagrams for User Interface Design, 2007-01-01.

Johnson, H. and Hyde, J. K., 2003. Towards modelling individual and collaborative construction of jigsaws using Task Knowledge Structures. Transactions on Computer Human Interaction, 10 (4), pp. 339-387.

Johnson, H. and J K Hyde, [N. V.], 2004. Modeling individual and collaborative construction of jigsaws. Interactions, XI (5), pp. 11-12.

Johnson, H., Johnson, P. and Coughlan, T., 2007. Supporting and enhancing group creativity in 21st century/design. In: Inns, T., ed. Designing for the 21st Century. Gower Ashgate.

Johnson, H., Johnson, P. and Coughlan, T., 2007. Understanding and supporting group creativity in design. In: Inns, T., ed. Designing for the 21st Century: interdisciplinary questions and insights. Gower, viii, 338 p.

Johnson, H., Johnson, P., Wild, P., May, J. and Gamble, T. R., 2001. Modelling multiple and collaborative tasks. In: Vanderdonckt, J., Blanford, A. and Derycke, A., eds. Proceedings of IHM-HCI 2001.Vol. 2. Toulouse: Cepadues-Editions, p. 217.

Johnson, M., Naumann, D. and Power, J., 2009. Category Theoretic Models of Data Refinement. Electronic Notes in Theoretical Computer Science, 225, pp. 21-38.

Johnson, P., May, J. and Johnson, H., 2003. Introduction to Multiple and Collaborative Tasks. Transactions on Computer Human Interaction, 10 (4), pp. 1-4.

Johnson, P., 2004. Interactions, collaborations and breakdowns. In: 3rd Annual Conference on Task Models and Diagrams (TAMODIA 2004), 2004-11-15 - 2004-11-16.

Johnson, P., Hourizi, R., Carrigan, N. and Forbes, N., 2010. Collaboration and conflict: A framework for large-scale collaborations. In: 2010 International Symposium on Collaborative Technologies and Systems (CTS 2010), 2010-05-17 - 2010-05-21.

Johnson, P. and Martins Calderon, A., 2015. Achieving an Information System\'s Capability through C2. International Journal of Information Systems for Crisis Response and Management (IJISCRAM), 7 (1), 5.

Johnstone, P., Power, J., Tsujishita, T., Watanabe, H. and Worrell, J., 2001. On the structure of categories of coalgebras. Theoretical Computer Science, 260 (1-2), pp. 87-117.

Jones, J., Davenport, J. and Bradford, R., 2013. The changing relevance of the TLB. In: DCABES 2013, 2013-09-02 - 2013-09-04. Piscataway, NJ: IEEE, pp. 110-114.

Jones, R., 2004. Using rigid-body mechanics and dynamic interaction graphs to create a consistent and believable virtual environment. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-15)

Jones, S. L., 2012. Automating Group-Based Privacy Control in Social Networks. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Jones, S., 2011. User Experiences with Group-Based Access Control in a Mobile Photo-Sharing Application. In: PriMo 2011 Workshop, Workshop Proceedings of the 5th IFIP WG (Vol. 11), 2011-06-01, Denmark.

Jones, S., Cotterill, R., Dewdney, N., Muir, K. and Joinson, A., 2014. Finding Zelig in Text:A Measure for Normalising Linguistic Accommodation. In: 25th International Conference on Computational Linguistics, 2014-08-23 - 2014-08-29, Ireland.

Jones, S., Ferreira, D., Hosio, S., Goncalves, J. and Kostakos, V., 2015. Revisitation analysis of smartphone app use.

Jones, S. and Kelly, R., 2016. Finding “Interesting” Correlations in Multi-Faceted Personal Informatics Systems. In: SIGCHI Extended Abstracts on Human Factors in Computing Systems 2016, 2016-05-07, California.

Jones, S. and Kelly, R., 2016. Sensemaking Challenges in Personal Informatics and Self-Monitoring Systems. In: ACM SIGCHI Conference on Human Factors in Computing Systems (CHI 2016), 2016-05-07 - 2016-05-12, California. ACM SIGCHI Conference on Human Factors in Computing Systems (CHI 2016): Association for Computing Machinery (ACM).

Jones, S. and O'Neill, E., 2011. Contextual dynamics of group-based sharing decisions. In: 29th Annual CHI Conference on Human Factors in Computing Systems, CHI 2011, May 7, 2011 - May 12, 2011, 2011-01-01. New York: Association for Computing Machinery (ACM), pp. 1777-1786. (Conference on Human Factors in Computing Systems - Proceedings)

Jones, S. and O'Neill, E., 2010. Feasibility of structural network clustering for group-based privacy control in social networks. In: 6th Symposium on Usable Privacy and Security, SOUPS 2010, July 14, 2010 - July 16, 2010, 2010-01-01. New York: Association for Computing Machinery (ACM), Article9. (ACM International Conference Proceeding Series)

Jones, S., Payne, S., Hicks, B., Gopsill, J. and Snider, C., 2015. Subject Lines as Sensors:Co-word Analysis of Email to Support the Management of Collaborative Engineering Work. In: International Conference on Engineering Design 2015 (ICED 2015), 2015-07-27 - 2015-07-30.

Joyce, C., Pham, H., Fraser, D.S., Payne, S., Crellin, D. and McDougall, S., 2014. Building an Internet of school things ecosystem:A national collaborative experience. In: IDC '14 proceedigs of the 2014 conference on interaction design and children. New York: Association for Computing Machinery (ACM), pp. 289-292.

Joyce, S., Osguthorpe, D., Padget, J. and Price, G., 1995. Neural network prediction of glass-transition temperatures from monomer structure. Journal of Chemical Society, Faraday Transactions, 91, pp. 2491-2496.

Jung, K., Kim, K. I. and Jain, A. K., 2004. Text information extraction in images and video: a survey. Pattern Recognition, 37 (5), pp. 977-997.

Jung, K., Kim, K. I., Kurata, T., Kourogi, M. and Han, J., 2002. Text scanner with text detection technology on image sequences. In: 16th International Conference on Pattern Recogition, 2002, 2002-08-11 - 2002-08-15. Washington, U. S. A.: IEEE, pp. 473-476.

Jung, K. Y., Jung, K., Kim, K. I., Kim, H. J. and Lee, C. W., 2000. Neural network-based OCR for video indexing.

Kaenampornpan, M. and O'Neill, E., 2004. Modelling Context: An activity theory approach. In: Ambient Intelligence, Proceedings.Vol. 3295. , pp. 367-374. (Lecture Notes in Computer Science)

Kaenampornpan, M., 2009. A context model, design tool and architecture for context-aware systems designs. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Kaenampornpan, M. and O'Neill, E., 2004. Activity and context for mobile and ubiquitous computing users. In: ThCSC 2004, 1st Thailand Computer Science Conference, 2004-12-15 - 2004-12-17.

Kaenampornpan, M. and O'Neill, E., 2004. An integrated context model: bringing activity to context. In: Workshop on Advanced Context Modelling, Reasoning and Management, UbiComp 2004, 2004-09-07 - 2004-09-10.

Kaenampornpan, M. and O'Neill, E., 2005. History as part of context. In: 3rd UK Ubi-Net Workshop, 2005-02-09 - 2005-02-11.

Kaenampornpan, M. and O'Neill, E., 2005. Integrating history and activity theory in context aware system design. In: W8 ECHISE 2005 - 1st International Workshop on Exploiting Context Histories in Smart Environments, Pervasive 2005, 2005-05-08 - 2005-05-13.

Kaenampornpan, M., O'Neill, E., Kostakos, V. and Warr, A., 2004. Classifying context classifications: an activity theory perspective. In: 2nd UK-UbiNet Workshop, 2004-05-05 - 2004-05-07.

Kalnikaitėv, V., Rogers, Y., Bird, J., Villar, N., Bachour, K., Payne, S., Todd, P. M., Schöning, J., Krüger, A. and Kreitmayer, S., 2011. How to nudge in situ: Designing lambent devices to deliver salience information in supermarkets. In: 13th ACM International Conference on Ubiquitous Computer, 2011-09-17 - 2011-09-21.

Kalyanpur, A., Pastor, D. J., Battle, S. and Padget, J., 2004. Automatic mapping of OWL ontologies into Java. In: Maurer, G. R. F., ed. Proceedings of Sixteenth International Conference on Software Engineering and Knowledge Engineering (SEKE), 2004-06-01.

Kaparelos, S., 2014. Extending Cachegrind:L2 cache inclusion and TLB measuring. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2014-01)

Karaulova, I. A., Hall, P. M. and Marshall, A. D., 2002. Tracking people in three dimensions using a hierarchical model of dynamics. Image and Vision Computing, 20 (9-10), pp. 691-700.

Kassem, M., Dawood, N. and Mitchell, D., 2012. A decision support system for the selection of curtain wall systems at the design development stage. Construction Management and Economics, 30 (12), pp. 1039-1053.

Kelly, R., 2013. Fairness in the division and completion of collaborative work. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Kelly, R., 2013. Fairness in the division and completion of collaborative work. In: 2013 2nd ACM Conference on Computer Supported Cooperative Work Companion, CSCW 2013, 2013-02-23 - 2013-02-27. New York: ACM, pp. 65-68.

Kelly, R., 2011. Subliminal computing:The support you don't see. XRDS: Crossroads, The ACM Magazine for Students

Kelly, R. and Gooch, D., 2012. Understanding participation and opportunities for design from an online postcard sending community. In: DIS 2012: Designing Interactive Systems Conference, 2012-06-10 - 2012-06-14. New York, U. S. A.: ACM, pp. 568-571.

Kelly, R., Gooch, D., Patil, B. and Watts, L., 2016. Forthcoming. Demanding by Design: Supporting Effortful Communication Practices in Close Personal Relationships. In: The 20th ACM Conference on Computer-Supported Cooperative Work and Social Computing, 2017-02-25 - 2017-03-01.

Kelly, R., Gooch, D. and Watts, L., 2015. Is ‘additional’ effort always negative? Understanding discretionary work in interpersonal communications. In: 18th ACM Conference on Computer-Supported Cooperative Work and Social Computing, 2015-03-14 - 2015-03-18, BC.

Kelly, R., Gooch, D. and Watts, L., 2016. Technology appropriation as discretionary effort in mediated close personal relationships. In: Collaborative Appropriation: How Couples, Teams, Groups and Communities Adapt and Adopt Technologies, 2016-02-27 - 2016-02-27, In conjunction with CSCW 2016.

Kelly, R. and Payne, S., 2013. Division of labour in collaborative information seeking:Current approaches and future directions. In: The 3rd International Workshop on Collaborative Information Seeking, held at ACM CSCW 2013, 2013-02-23 - 2013-02-27, Texas.

Kelly, R. and Payne, S. J., 2014. Collaborative web search in context:a study of tool use in everyday tasks. In: 2014 ACM Conference on Computer Supported Cooperative Work, 2014-02-15 - 2014-02-19, MD.

Kelly, R. and Watts, L., 2015. Characterising the inventive appropriation of emoji as relationally meaningful in mediated close personal relationships. In: Experiences of Technology Appropriation: Unanticipated Users, Usage, Circumstances, and Design, 2015-09-20 - 2015-09-20.

Kelly, R., Watts, L. and Payne, S., 2016. Can visualization of contributions support fairness in collaboration? Findings from meters in an online game. In: The 19th ACM Conference on Computer-Supported Cooperative Work and Social Computing, 2016-02-27 - 2016-03-03, California.

Kenyon, J., 2013. Adapting a Video Game to do Psychological Experiments. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-09)

Khader, D., 2009. Attribute based authentication schemes. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Khader, D., Chen, L. Q. and Davenport, J. H., 2009. Certificate-free Attribute Authentication. Berlin: Springer, pp. 301-325. (Lecture Notes in Computer Science; 5921)

Khader, D., Padget, J. and Warnier, M., 2010. Reactive monitoring of service level agreements. Dordrecht, Germany: Springer Verlag, pp. 13-22.

Kick, M. and Power, J., 2004. Modularity of behaviours for mathematical operational semantics. Electronic Notes in Theoretical Computer Science, 106, pp. 185-200.

Kick, M., Power, J. and Simpson, A., 2006. Coalgebraic semantics for timed processes. Information and Computation, 204 (4), pp. 588-609.

Kim, E. Y., Kim, K. I., Jung, K. and Kim, H. J., 2000. A video indexing system using character recognition. In: International Conference on Consumer Electronics, 2000. ICCE. 2000 Digest of Technical Papers, 2000-06-13 - 2000-06-15. IEEE, pp. 358-359.

Kim, J. and Lutteroth, C., 2009. Multi-platform document-oriented GUIs. Darlinghurst, Australia: ACM, pp. 27-34.

Kim, J. W., Kim, K. I., Choi, B. J. and Kim, H. J., 1999. Decomposition of Chinese character into strokes using mathematical morphology. Pattern Recognition Letters, 20 (3), pp. 285-292.

Kim, K. I., Jung, K. and Kim, J. H., 2005. Fast color texture-based object detection in images:application to license plate localization. In: Wang, L., ed. Support Vector Machines. Berlin, Germany: Springer Verlag, pp. 297-320. (Studies in Fuzziness and Soft Computing; 177)

Kim, K. K., Kim, J. B., Kim, K. I. and Kim, H. J., 2001. Learning-based approach for license plate recognition. IEEE, pp. 614-623.

Kim, K. I., 2016. Semi-supervised learning based on joint diffusion of graph functions and Laplacians. In: Liebe, B., Matas, J., Sebe, M. and Welling, M., eds. European Conference on Computer Vision 2016, 2016-10-08 - 2016-10-16. Switzerland: Springer Verlag, pp. 713-729. (Lecture Notes in Computer Science; 9909)

Kim, K. I., Franz, M. O. and Schölkopf, B., 2005. Iterative kernel principal component analysis for image modeling. IEEE Transactions on Pattern Analysis and Machine Intelligence, 27 (9), pp. 1351-1366.

Kim, K. I., Franz, M. O. and Schölkopf, B., 2003. Kernel Hebbian algorithm for iterative kernel principal component analysis. In: Max Planck Institute for Biological Cybernetics Technical Reports. .

Kim, K. I., Jung, K. and Kim, H. J., 2002. Face recognition using kernel principal component analysis. IEEE Signal Processing Letters, 9 (2), pp. 40-42.

Kim, K. I., Jung, K. and Kim, J. H., 2002. Face recognition using support vector machines with local correlation kernels. International Journal of Pattern Recognition and Artificial Intelligence, 16 (1), pp. 97-111.

Kim, K. I., Jung, K. and Kim, J. H., 2003. Texture-based approach for text detection in images using support vector machines and continuously adaptive mean shift algorithm. IEEE Transactions on Pattern Analysis and Machine Intelligence, 25 (12), pp. 1631-1639.

Kim, K. I., Jung, K., Park, S. H. and Kim, H. J., 2002. Support vector machines for texture classification. IEEE Transactions on Pattern Analysis and Machine Intelligence, 24 (11), pp. 1542-1550.

Kim, K. I., Kim, J. H. and Jung, K., 2001. Recognition of facial images using support vector machines. IEEE, pp. 468-471.

Kim, K. I., Kim, K. K., Park, S. H., Jung, K., Park, M. H. and Kim, H. J., 1999. Vega Vision:a vision system for recognizing license plates.

Kim, K. I. and Kwon, Y., 2008. Example-based learning for single-image super-resolution and JPEG artifact removal. In: Max Planck Institute for Biological Cybernetics Technical Reports. .

Kim, K. I. and Kwon, Y., 2010. Single-image super-resolution using sparse regression and natural image prior. IEEE Transactions on Pattern Analysis and Machine Intelligence, 32 (6), pp. 1127-1133.

Kim, K. I., Kwon, Y., Kim, D. and Kim, J. H., 2005. Learning to remove JPEG artifacts.

Kim, K. I., Tompkin, J., Pfister, H. and Theobalt, C., 2015. Context-guided diffusion for label propagation on graphs. In: 2015 IEEE International Conference on Computer Vision Workshop (ICCVW) Date of Conference:, 2015-12-07 - 2015-12-13. IEEE, pp. 2776-2784.

Kim, K. I., Tompkin, J., Pfister, H. and Theobalt, C., 2015. Local high-order regularization on data manifolds. IEEE, pp. 5473-5481.

Kim, K. I., Tompkin, J., Pfister, H. and Theobalt, C., 2015. Semi-supervised learning with explicit relationship regularization. IEEE, pp. 2188-2196.

Kim, K. I., Tompkin, J., Theobald, M., Kautz, J. and Theobalt, C., 2012. Match graph construction for large image databases. Berlin, Germany: Springer Verlag, pp. 272-285. (Lecture Notes in Computer Science; 7572)

Kim, K. I., Tompkin, J. and Theobalt, C., 2013. Curvature-aware regularization on Riemannian submanifolds. In: 2013 IEEE International Conference on Computer Vision, 2013-12-01 - 2013-12-08. IEEE, pp. 881-888.

Kind, A. and Padget, J., 1998. Multi-lingual threading. In: Sixth Euromicro Workshop on Parallel and Distributed Processing, 1998, 1998-01-21 - 1998-01-23. IEEE Computer Society, pp. 431-437.

Kind, A. and Padget, J., 1999. Towards meta-agent protocols. Berlin, Germany: Springer Verlag, pp. 30-42. (Lecture Notes in Computer Science; 1624)

Kindberg, T., Bevan, C., O'Neill, E., Mitchell, J., Grimmett, J. and Woodgate, D., 2009. Authenticating Ubiquitous Services: A study of wireless hotspot access. In: Ubicomp '09 Proceedings of the 11th International Conference on Ubiquitous Computing. New York, USA: ACM, pp. 115-124.

Kindberg, T., Mitchell, J., Grimmett, J., Bevan, C. and O'Neill, E., 2009. Authenticating Public Wireless Networks with Physical Evidence. In: Wireless and Mobile Computing, Networking and Communications, 2009. IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WIMOB) 2009. IEEE Computer Society, pp. 394-399.

Kindberg, T., O'Neill, E., Bevan, C., Kostakos, V., Stanton Fraser, D. and Jay, T., 2008. Measuring trust in wi-fi hotspots. In: SIGCHI Conference on Human Factors in Computing Systems (CHI 2008), 2008-04-05 - 2008-04-10. New York: Association for Computing Machinery (ACM), pp. 173-182.

King, T., Li, T., De Vos, M., Dignum, V., Jonker, C., Padget, J. and van Riemsdijk, M. B., 2015. A Framework for Institutions Governing Institutions. In: 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015), 2015-05-04 - 2015-05-08.

King, T. C., Li, T., De Vos, M., Jonker, C. M., Padget, J. and van Riemsdijk, M. B., 2016. Revising institutions governed by institutions for compliant regulations. In: Dignum, V., Noriega, P., Sensoy, M. and Simao Sichman, J., eds. International Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015, 2015-05-04 - 2015-05-04. Springer International Publishing, pp. 191-208. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9628)

Kinoshita, Y. and Power, J., 2000. A General Completeness Result in Refinement. In: Recent Trends in Algebraic Development Techniques.Vol. 1827. Heidelberg: Springer, pp. 201-218. (Lecture Notes in Computer Science)

Kinoshita, Y. and Power, J., 2014. Category theoretic structure of setoids. Theoretical Computer Science, 546, pp. 145-163.

Kirste, T. and Duke, D., 2003. Introduction:situation- and task-awareness computing. Computers & Graphics, 27 (6), pp. 835-836.

Klusch, M., 2004. Toward quantum computational agents. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy. Berlin, Germany: Springer, pp. 170-186. (Lecture Notes in Computer Science; 2969)

Knapp, P., Gardner, P. H., Carrigan, N., Raynor, D. K. and Woolf, E., 2009. Perceived risk of medicine side effects in users of a patient information website: A study of the use of verbal descriptors, percentages and natural frequencies. British Journal of Health Psychology, 14 (3), pp. 579-594.

Komendantskaya, E. and Power, J., 2011. Coalgebraic Derivations in Logic Programming. In: Bezem, M., ed. Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 352-366. (Leibniz International Proceedings in Informatics (LIPIcs))

Komendantskaya, E., McCusker, G. and Power, J., 2011. Coalgebraic semantics for parallel derivation strategies in logic programming. In: Johnson, M. and Pavlovic, D., eds. Algebraic Methodology and Software Technology.Vol. 6486. Springer, pp. 111-127. (Lecture Notes in Computer Science)

Komendantskaya, E. and Power, J., 2016. Category theoretic semantics for theorem proving in logic programming: embracing the laxness. Springer, pp. 94-113. (Lecture Notes in Computer Science)

Komendantskaya, E. and Power, J., 2011. Coalgebraic semantics for derivations in logic programming. In: Corradini, A., Kin, B. and Cirstea, C., eds. Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchetser, UK, August 30 - September 2, 2011. Proceedings. Heidelberg: Springer, pp. 268-282. (Lecture Notes in Computer Science; 6859)

Komendantskaya, E. and Power, J., 2008. Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. In: Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings.Vol. 5293. Heidelberg: Springer, pp. 258-271.

Komendantskaya, E., Power, J. and Schmidt, M., 2016. Coalgebraic logic programming:from semantics to implementation. Journal of Logic and Computation, 26 (2), 745 - 783.

Koniaris, C., Cosker, D., Yang, X., Mitchell, K. and Matthews, I., 2013. Real-time content-aware texturing for deformable surfaces. In: ACM International Conference Proceeding Series. .

Koniaris, C., 2015. Real-time Rendering of Complex, Heterogeneous Mesostructure on Deformable Surfaces. Thesis (Doctor of Engineering (EngD)). Computer Science.

Koniaris, C., Cosker, D., Yang, X. and Mitchell, K., 2014. Survey of texture mapping techniques for representing and rendering volumetric mesostructure. Journal of Computer Graphics Techniques

Koniaris, C., Cosker, D., Yang, X., Mitchell, K. and Matthews, I., 2014. Content aware texture mapping on deformable surfaces. US2014267306, 2014.

Korovina, M. and Vorobjov, N., 2004. Pfaffian hybrid systems. In: Computer Science Logic, Proceedings.Vol. 3210. , pp. 430-441. (Lecture Notes in Computer Science)

Korovina, M. and Vorobjov, N., 2006. Upper and lower bounds on sizes of finite bisimulations of Pfaffian hybrid systems. In: Logical Approaches to Computational Barriers, Proceedings.Vol. 3988. , pp. 267-276. (Lecture Notes in Computer Science)

Korovina, M. and Vorobjov, N., 2008. Bounds on sizes of finite bisimulations of Pfaffian dynamical systems. Theory of Computing Systems, 43 (3-4), pp. 498-515.

Korovina, M. and Vorobjov, N., 2012. Reachability in one-dimensional controlled polynomial dynamical systems. Berlin: Springer, pp. 251-261. (Lecture Notes in Computer Science; 7162)

Kostakos, V., 2005. A design framework for pervasive computing systems. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2005-02)

Kostakos, V., Jones, S. and O'Neill, E., 2008. Social networking 2.0. In: SIGCHI Conference on Human Factors in Computing Systems (CHI 2008), 2008-04-05 - 2008-04-10.

Kostakos, V., O'Neill, E. and Penn, A., 2006. Designing urban pervasive systems. Computer, 39 (9), pp. 52-59.

Kostakos, V. and O'Neill, E., 2003. A Directional Stroke Recognition Technique for Mobile Interaction in a Pervasive Computing World. In: O'Neill, E., Palanque, P. and Johnson, P., eds. People and Computers XVII - Proceedings of HCI 2003, Designing for Society. London: Springer, pp. 197-206.

Kostakos, V. and O'Neill, E., 2005. A space oriented approach to designing pervasive systems. In: 3rd UK Ubi-Net Workshop, 2005-02-09 - 2005-02-11.

Kostakos, V. and O'Neill, E., 2008. Cityware: Urban Computing to Bridge Online and Real-World Social Networks. In: Foth, M., ed. Handbook of research on urban informatics: the practice and promise of the real-time city. Hershey,Philadelphia, USA: Information Science Reference.

Kostakos, V. and O'Neill, E., 2004. Designing pervasive systems for society. In: First International Workshop on Sustainable Pervasive Computing a one day workshop in conjunction with PERVASIVE 2004 Second International Conference on Pervasive Computing 2004, 2004-04-20.

Kostakos, V. and O'Neill, E., 2004. Extending traditional design approaches for Pervasive Computing. In: PREP 2004 Conference, 2004-04-05 - 2004-04-07.

Kostakos, V. and O'Neill, E., 2008. Human-in-the-loop: Rethinking security in mobile and pervasive systems. In: Proceedings of ACM CHI 2008 Conference on Human Factors in Computing Systems. New York, USA: ACM, pp. 3075-3080.

Kostakos, V. and O'Neill, E., 2006. Interacting with Mobile and Pervasive Systems. In: Ibrahim, I. K., ed. Handbook of research on mobile multimedia. Hershey: Idea Group, pp. 71-85.

Kostakos, V. and O'Neill, E., 2003. Introducing pervasive computing to society. In: 1st UK-UbiNet Workshop, 2003-09-25 - 2003-09-26.

Kostakos, V. and O'Neill, E., 2007. NFC on Mobile Phones: Issues, lessons and future research. In: Proceedings of the Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, 2007 ( PerCom W'07). IEEE Computer Society, pp. 367-370.

Kostakos, V. and O'Neill, E., 2004. Pervasive Computing in Emergency Situations. In: Proceedings of the 37th Annual Hawaii International Conference on System Sciences. IEEE Computer Society Press, pp. 1-10.

Kostakos, V. and O'Neill, E., 2007. Quantifying the Effects of Space on Encounter. In: Kubat, A. S., ed. Proceedings of Space Syntax Symposium 2007.Vol. 2 volumes. Istanbul Technical University of Architecture, Istanbul, Turkey, pp. 9701-9709.

Kostakos, V., O'Neill, E., Little, L. and Sillence, E., 2005. The social implications of emerging technologies. Interacting with Computers, 17 (5), pp. 475-483.

Kostakos, V., O'Neill, E. and Shahi, A., 2006. Building Common Ground for Face to Face Interactions by Sharing Mobile Device Context. In: Hazas, M., Krumm, J. and Strang, T., eds. Location- and Context-Awareness, Proceedings.Vol. 3987. Springer, pp. 222-238. (Lecture Notes in Computer Science)

Kostakos, V. and Kostakos, P. A., 2010. Inferring social networks from physical interactions:A feasibility study. International Journal of Pervasive Computing and Communications, 6 (4), pp. 423-431.

Kostakos, V., Nicolai, T., Yoneki, E., O'Neill, E., Kenn, H. and Crowcroft, J., 2009. Understanding and measuring the urban pervasive infrastructure. Personal and Ubiquitous Computing, 13 (5), pp. 355-364.

Kostakos, V., O'Neill, E., Penn, A., Roussos, G. and Papadongonas, D., 2010. Brief encounters: sensing, modeling and visualizing urban mobility and copresence networks. ACM Transactions on Computer-Human Interaction, 17 (1), 2.

Kostakos, V., Venkatanathan, J., Reynolds, B., Sadeh, N., Toch, E., Shaikh, S. A. and Jones, S., 2011. Who's your best friend? Targeted privacy attacks in location-sharing social networks. In: 13th International Conference on Ubiquitous Computing, UbiComp'11 and the Co-located Workshops, September 17, 2011 - September 21, 2011, 2011-09-01. New York: Association for Computing Machinery (ACM), pp. 177-186.

Krishnan, S. B., Dhillon, J. S. and Lutteroth, C., 2016. Factors influencing consumer intention to adopt Consumer Health Informatics applications an empirical study in Malaysia. In: 2015 IEEE Student Conference on Research and Development (SCOReD), 2015-12-13 - 2015-12-14. IEEE, pp. 653-658.

Krumhuber, E., Manstead, A. S. R., Cosker, D., Marshall, D. and Rosin, P. L., 2009. Effects of dynamic attributes of smiles in human and synthetic faces: a simulated job interview setting. Journal of Nonverbal Behavior, 33 (1), pp. 1-15.

Krumhuber, E., Manstead, A. S. R., Cosker, D., Marshall, D., Rosin, P. L. and Kappas, A., 2007. Facial dynamics as indicators of trustworthiness and cooperative behavior. Emotion, 7 (4), pp. 730-735.

Kuo, M.-H., Lin, Y.-E., Chu, H.-K., Lee, R.-R. and Yang, Y., 2015. Pixel2Brick:constructing brick sculptures from Pixel Art. Computer Graphics Forum, 34 (7), pp. 339-348.

Kuo, M.-H., Yang, Y. and Chu, H.-K., 2016. Feature-Aware Pixel Art Animation. Computer Graphics Forum, 35 (7), pp. 411-420. Item availability may be restricted.

Kwon, Y., Kim, K. I. and Kim, J. H., 2008. Suppressing artifacts in block DCT coded images based on re-encoding, regression, and image prior. In: KAIST Department of Computer Science Technical Reports. .

Kwon, Y., Kim, K. I., Kim, J. H. and Theobalt, C., 2012. Efficient learning-based image enhancement:application to super-resolution and compression artifact removal. In: Bowden, R., Collomosse, J. and Mikolajczyk, K., eds. British Machine Vision Conference, 2012, 2012-09-03 - 2012-09-07.

Kwon, Y., Kim, K. I., Tompkin, J., Kim, J. H. and Theobalt, C., 2015. Efficient learning of image super-resolution and compression artifact removal with semi-local Gaussian processes. IEEE Transactions on Pattern Analysis and Machine Intelligence, 37 (9), pp. 1792-1805.

Labrosse, F. and Willis, P. J., 2001. Towards Continuous Image Representations. In: Winter School of Computer Graphics and Visualisation `01, 2001-01-01.

Lack, S. and Power, J., 2009. Gabriel-Ulmer duality and Lawvere theories enriched over a general base. Journal of Functional Programming, 19 (3-4), pp. 265-286.

Laird, J., 2006. A calculus of coroutines. Theoretical Computer Science, 350 (2-3), pp. 275-291.

Laird, J., 2007. Bistable biorders: A sequential domain theory. Logical Methods in Computer Science, 3 (2), pp. 1-22.

Laird, J., 2005. Game semantics and linear CPS interpretation. Theoretical Computer Science, 333 (1-2), pp. 199-224.

Laird, J., 2005. Locally Boolean domains. Theoretical Computer Science, 342 (1), pp. 132-148.

Laird, J. D., Manzonetto, G., Mccusker, G. and Pagani, M., 2013. Weighted relational models of typed Lambda-Calculi. In: 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013), 2013-06-25 - 2013-06-28. Los Alamitos, California: IEEE, pp. 301-310. (Annual IEEE/ACM Symposium on Logic in Computer Science (LICS))

Laird, J., 2004. A calculus of coroutines. In: Diaz, J., Karhumaki, J., Lepisto, A. and Sannella, D., eds. Automata, Languages and Programming. Berlin, Germany: Springer Verlag, pp. 882-893. (Lecture Notes in Computer Science; 3142)

Laird, J., 2003. A categorical semantics of higher order store. Electronic Notes in Theoretical Computer Science, 69, pp. 209-226.

Laird, J., 2001. A deconstruction of non-deterministic classical cut elimination. In: Abramsky, S., ed. 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, 2001-05-02 - 2001-05-05. Berlin, Germany: Springer Verlag, pp. 268-282. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 2044)

Laird, J., 2001. A fully abstract game semantics of local exceptions. In: 16th Annual IEEE Symposium on Logic in Computer Science, 2001-06-16 - 2001-06-19. IEEE, pp. 105-114.

Laird, J., 2007. A fully abstract trace semantics for general references. In: Arge, L., Cachin, C., Jurdziński, T. and Tarlecki, A., eds. Automata, Languages and Programming. Berlin, Germany: Springer Verlag, pp. 667-679. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 4596)

Laird, J., 2001. A game semantics of idealized CSP. Electronic Notes in Theoretical Computer Science, 45, pp. 232-257.

Laird, J., 2008. A game semantics of names and pointers. Annals of Pure and Applied Logic, 151 (2-3), pp. 151-169.

Laird, J., 2005. Decidability in syntactic control of interference. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C. and Yung, M., eds. 32nd International Colloquium on Automata, Languages and Programming, ICALP 2005, 2005-07-11 - 2005-07-15. Berlin, Germany: Springer Verlag, pp. 904-916. (Theoretical Computer Science and General Issues; 3580/Edition 1)

Laird, J., 2015. Sequential algorithms for unbounded nondeterminism. Electronic Notes in Theoretical Computer Science, 319, pp. 271-287.

Laird, J., 2007. Sequentiality and the CPS semantics of fresh names. Electronic Notes in Theoretical Computer Science, 173, pp. 203-219.

Laird, J., 2005. The elimination of nesting in SPCF. In: Urzyczyn, P., ed. 7th International Conference on Typed Lambda Calculi and Applications, TLCA 2005, 2005-04-21 - 2005-04-23. Berlin, Germany: Springer Verlag, pp. 234-245. (Lecture Notes in Computer Science; 3461)

Laird, J., 2003. A game semantics of linearly used continuations. In: Gordon, A. D., ed. Foundations of Software Science and Computation Structures. Berlin, Germany: Springer Verlag, pp. 313-327. (Lecture Notes in Computer Science; 2620)

Laird, J., 2004. A game semantics of local names and good variables. In: Walukiewicz, I., ed. Foundations of Software Science and Computation Structures. Berlin, Germany: Springer Verlag, pp. 289-303. (Lecture Notes in Computer Science; 2987)

Laird, J., 2006. Bidomains and full abstraction for countable nondeterminism. In: Aceto, L. and Ingolfsdottir, A., eds. 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, 2006-03-25 - 2006-03-31. Berlin, Germany: Springer Verlag, pp. 352-366. (Lecture Notes in Computer Science; 3921)

Laird, J., 2003. Bistability:an extensional characterization of sequentiality. In: Baaz, M. and Makowsky, J. A., eds. Computer Science Logic. Berlin, Germany: Springer Verlag, pp. 372-383. (Lecture Notes in Computer Science; 2803)

Laird, J., 2013. Combining and Relating Control Operators and their Semantics. In: Control Operators and their Semantics.Vol. 127. Elsevier, pp. 113-129. (Electronic Proceedings in Theoretical Computer Science)

Laird, J., 2008. Decidability and syntactic control of interference. Theoretical Computer Science, 394 (1-2), pp. 64-83.

Laird, J., 2002. Exceptions, continuations and macro-expressiveness. In: Le Metayer, D., ed. 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, 2002-04-08 - 2002-04-12. Berlin, Germany: Springer Verlag, pp. 133-146. (Lecture Notes in Computer Science; 2305)

Laird, J., 2016. Fixed points in quantitative semantics. In: Shankar, N., ed. 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, 2016-07-05 - 2016-07-08. New York, U. S. A.: ACM, pp. 347-356.

Laird, J., 1997. Full abstraction for functional languages with control. In: Anon,, ed. 12th Annual IEEE Symposium on Logic in Computer Science (LICS), 1997, 1997-06-29 - 1997-07-02. California, U. S. A.: IEEE, pp. 58-67.

Laird, J., 2010. Game semantics for a polymorphic programming language. In: 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, July 11, 2010 - July 14, 2010, 2010-07-01. IEEE, pp. 41-49. (Proceedings - Symposium on Logic in Computer Science)

Laird, J., 2016. Game semantics for bounded polymorphism. In: Jacobs, B. and Loding, C., eds. 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, 2016-04-02 - 2016-04-08. The Netherlands: Springer Verlag, pp. 55-70. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9634) Item availability may be restricted.

Laird, J., 2010. Game semantics for call-by-value polymorphism. Lecture Notes in Computer Science, 6199 LNCS, pp. 187-198.

Laird, J., 2009. Nondeterminism and observable sequentiality. Berlin: Springer, pp. 379-393. (Lecture Notes in Computer Science; 5771)

Laird, J., 2005. Sequentiality in bounded biorders. Fundamenta Informaticae, 65 (1-2), pp. 173-191.

Laird, J., 2016. Weighted relational models for mobility. In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, 2016-06-22 - 2016-06-26. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

Laird, J., Manzonetto, G. and McCusker, G., 2013. Constructing differential categories and deconstructing categories of games. Information and Computation, 222, pp. 247-264.

Laird, J., 2003. A fully abstract bidomain model of unary FPC. In: Hofmann, M., ed. Typed Lambda Calculi and Applications. Berlin, Germany: Springer Verlag, pp. 211-225. (Lecture Notes in Computer Science; 2701)

Laird, J., 2005. A game semantics of the asynchronous π-calculus. In: Abadi, M. and Alfaro, L., eds. 16th International Conference on Concurrency Theory, CONCUR 2005, 2005-08-23 - 2005-08-26. Berlin, Germany: Springer Verlag, pp. 51-65. (Lecture Notes in Computer Science; 3653)

Laird, J., Manzonetto, G. and McCusker, G., 2011. Constructing differential categories and deconstructing categories of games. In: Aceto, L., Henzinger, M. and Sgall, J., eds. Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Proceedings. Heidelberg, Germany: Springer, pp. 186-197. (Lecture Notes in Computer Science; 6756)

Lam, J. S. C., Vasconcelos, W. W., Guerin, F., Corsar, D., Chorley, A., Norman, T. J., Vázquez-Salceda, J., Panagiotidi, S., Confalonieri, R., Gomez, I., Hidalgo, S., Napagao, S. A., Nieves, J. C., Palau Roig, M., Ceccaroni, L., Aldewereld, H., Dignum, V., Dignum, F., Penserini, L., Padget, J., De Vos, M., Andreou, D., Cliffe, O., Staikopoulos, A., Popescu, R., Clarke, S., Sergeant, P., Reed, C., Quillinan, T. and Nieuwenhuis, K., 2009. ALIVE: A Framework for Flexible and Adaptive Service Coordination. Heidelberg: Springer, pp. 236-239.

Lam, V. S. W., 2006. A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-04)

Lam, V. S. W. and Padget, J., 2005. Consistency checking of statechart diagrams of a class hierarchy. (Lecture Notes in Computer Science)

Lam, V. S. W. and Padget, J., 2012. Equivalence checking of communicating UML statechart diagrams. International Journal of Software Engineering and Knowledge Engineering, 22 (2), pp. 265-304.

Lam, V. and Padget, J., 2001. Formalization of UML Statechart Diagrams in the π-calculus. In: Proceedings of the 13th Australian Software Engineering Conference (ASWEC'01), 2001-08-01.

Lam, V. S. W. and Padget, J., 2003. Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. In: 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003-10-01.

Lam, V. S. W. and Padget, J., 2004. Formal Specification and Verification of the SET/A Protocol with an Integrated Approach. In: IEEE International Conference on E-Commerce Technology (CEC'04), 2004-07-01.

Lam, V. S. W. and Padget, J., 2003. On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. In: Al-Ani, B., Arabnia, H. R. and Mun, Y., eds. Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03, 2003-06-01.

Lam, V. S. W. and Padget, J., 2004. Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. In: 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004-05-01.

Lam, V. S. W. and Padget, J., 2005. Consistency checking of sequence diagrams and statechart diagrams using the pi-calculus. Berlin, Germany: Springer, pp. 347-365. (Lecture Notes in Computer Science : Programming and Software Engineering; 3771)

Larkin, J., 2006. Implementation of chaffing and winnowing: Providing confidentiality without encryption. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-10)

Lazzarini, V., Costello, E., Yi, S. and ffitch, J. P., 2014. Csound on the Web.

Lazzarini, V., Costello, E., Yi, S. and ffitch, J. P., 2014. Development Tools for Ubiquitous Music on the World Wide Web. In: Keller, D., Lazzarini, V. and Pimenta, M. S., eds. Ubiquitous Music. Springer, pp. 111-128. (Computational Music Science)

Leach, J. L. and Fitch, J. P., 1995. The Application of Differential Equations to the Modelling of Musical Change. In: ICMC'95: Digital Playgrounds, Banff, Canada. ICMA and Banff Centre for the Arts, pp. 440-443.

Lee, J., Baines, V. and Padget, J., 2013. Decoupling cognitive agents and virtual environments. In: 1st International Workshop on Cognitive Agents for Virtual Environments, CAVE 2012, 2012-06-03 - 2012-06-03. Berlin, Germany: Springer, pp. 17-36. (Lecture Notes in Computer Science; 7764)

Lee, J., Li, T. and Padget, J., 2013. Towards polite virtual agents using social reasoning techniques. Computer Animation and Virtual Worlds, 24 (3-4), pp. 335-343.

Lee, J., 2015. Norm Awareness for Virtual Characters Behaviour: A Socio-Cognitive Approach. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Lee, J., Padget, J., Logan, B., Dybalova, D. and Alechina, N., 2014. N-Jason: Run-time norm compliance in AgentSpeak(L). In: Dalpiaz, F., Dix, J. and Birna van Riemsdiijk, M., eds. 2nd International Workshop on Engineering Multi-Agent Systems, EMAS 2014, 2014-05-05 - 2014-05-06. Springer, pp. 367-387. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8758)

Lee, J., Li, T., De Vos, M. and Padget, J. A., 2013. Governing intelligent virtual agent behaviour with norms. The International Foundation for Autonomous Agents and Multiagent Systems, pp. 1205-1206.

Lee, J., Padget, J., Logan, B., Dybalova, D. and Alechina, N., 2014. Run-time norm compliance in BDI agents. In: 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014, 2014-05-05 - 2014-05-09. The International Foundation for Autonomous Agents and Multiagent Systems, pp. 1581-1582.

Lee, L. H., Lutteroth, C. and Weber, G., 2011. Enhancing Wikipedia with semantic technologies. Swindon, U. K.: British Computer Society, pp. 22-31.

Lee, L.-C., Lutteroth, C. and Weber, G., 2010. Improving end-user GUI customization with transclusion. ACM, pp. 163-172.

Lehmann, H. and Bryson, J. J., 2007. Modelling Primate Social Order: Ultimate Causation of Social Evolution. In: Amblard, F., ed. Proceedings of the 4th Conference of the European Social Simulation Association (ESSA 2007), 2007-09-10 - 2007-09-14.

Lehmann, H., 2009. On the applicability of agent based modelling in behavioural ecology. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Lehmann, H., Wang, J. and Bryson, J. J., 2005. Tolerance and Sexual Attraction in Despotic Societies: A Replication and Analysis of Hemelrijk (2002). In: Bryson, J. J., Prescott, T. J. and Seth, A. K., eds. Modelling Natural Action Selecton: Proceedings of an International Workshop, 2005-07-01.

Lenisa, M., Power, J. and Watanabe, H., 2000. Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. Electronic Notes in Theoretical Computer Science, 33, pp. 230-260.

Lenisa, M., Power, J. and Watanabe, H., 2004. Category theory for operational semantics. Theoretical Computer Science, 327 (1-2), pp. 135-154.

Lenzen, F., Kim, K. I., Schäfer, H., Nair, R., Meister, S., Becker, F., Garbe, C. S. and Theobalt, C., 2013. Denoising strategies for time-of-flight data. In: Grzegorzek, M., Theobalt, C., Koch, R. and Kolb, A., eds. Time-of-Flight and Depth Imaging. Berlin, Germany: Springer Verlag, pp. 25-45. (Lecture Notes in COmputer Science)

Levy, P. B., Power, J. and Thielecke, H., 2003. Modelling environments in call-by-value programming languages. Information and Computation, 185 (2), pp. 182-210.

Lewin, C., 2016. Constraint based simulation of soft and rigid bodies. Thesis (Doctor of Engineering (EngD)). University of Bath.

Lewin, C., Thorman, M., Waterson, T., Williams, C. and Willis, P., 2013. Rod constraints for simplified ragdolls. In: Symposium on Computer Animation 2013, 2013-07-19. New York: ACM, pp. 79-84.

Li, C., Willis, P. J. and Brown, M., 2014. Appearance stylization of Manhattan world buildings. Computer Graphics Forum, 33 (1), pp. 15-26.

Li, C., Zhang, R., Wang, L., Bowyer, A., Eisenthal, R., Shen, Y. and Hubble, J., 2013. Purification of lysozyme by intrinsically shielded hydrogel beads. Modern Physics Letters B, 27 (19), 1341028.

Li, C.L., McMahon, C. and Newnes, L., 2013. Supporting multiple engineering viewpoints in computer-aided design using ontology-based annotations. In: Proceedings of the International Conference on Engineering Design, ICED.Vol. 6 DS75-06. , pp. 249-258.

Li, C. L., Aivar, M. P., Kit, D. M., Tong, M. H. and Hayhoe, M. M., 2016. Memory and visual search in naturalistic 2D and 3D environments. Journal of Vision, 16 (8), 9.

Li, C., Deussen, O., Song, Y.-Z., Willis, P. and Hall, P., 2011. Modeling and generating moving trees from video. ACM Transactions on Graphics, 30 (6), 127.

Li, C. and Hall, P., 2006. Attributed Rational Tensor Camera. In: CVMP 2006. 3rd European Conference on Visual Media Production, 2006-11-29 - 2006-11-30.

Li, C. and Hall, P., 2007. Colour Constancy Based on Model Selection. In: British Machine Vision Conference (BMVC), 2007-01-01.

Li, C., Hall, P. and Willis, P., 2008. Environment matting into photographs using coloured RTcams. In: IET 5th European Conference on Visual Media Production, 2008-11-27 - 2008-11-28.

Li, C., Pickup, D., Saunders, T., Cosker, D., Marshall, D., Hall, P. and Willis, P., 2013. Water surface modeling from a single viewpoint video. IEEE Transactions on Visualization and Computer Graphics, 19 (7), pp. 1242-1251.

Li, C., Shaw, M., Pickup, D., Cosker, D., Willis, P. and Hall, P., 2011. Realtime video based water surface approximation. In: 8th European Conference on Visual Media Production, CVMP 2011. Piscataway, NJ: IEEE, pp. 109-117.

Li, H., 2007. The analysis and implementation of the AKS algorithm and its improvement algorithms. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-09)

Li, I. K. Y., Peek, E. M., Wünsche, B. C. and Lutteroth, C., 2012. Enhancing 3D applications using stereoscopic 3D and motion parallax. Darlinghurst, Australia: Australian Computer Society, pp. 59-68.

Li, T., 2013. Normative conflict detection and resolution in cooperating institutions. In: 23rd International Joint Conference on artificial Intelligence (IJCAI 2013), 2013-08-03 - 2013-08-09.

Li, T., 2014. Normative Conflict Detection and Resolution in Cooperating Institutions. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Li, T., Balke, T., De Vos, M., Satoh, K. and Padget, J. A., 2013. Detecting conflicts in legal systems. In: Motomura, Y., Butler, A. and Bekki, D., eds. 4th JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2012, 2012-11-30 - 2012-12-01. Berlin: Springer, pp. 174-189. (Lecture Notes in Computer Science; 7856)

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2013. A model-based approach to the automatic revision of secondary legislation. In: 14th International Conference on Artificial Intelligence and Law, ICAIL 2013, 2013-06-10 - 2013-06-14. NY, USA: ACM, pp. 202-206.

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2013. Legal conflict detection in interacting legal systems. Amsterdam, The Netherlands: IOS Press, pp. 107-116. (Legal Knowledge and Information Systems; 259)

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2014. Legal conflict detection in interacting legal systems. In: 1st International Jurix Doctoral Consortium and Poster Sessions, JURIX-DoCoPe 2013, in Conjunction with the 26th International Conference on Legal Knowledge and Information Systems, JURIX 2013, 2013-12-11 - 2013-12-13.

Li, T., De Vos, M., Padget, J., Satoh, K. and Balke, T., 2015. Debugging ASP using ILP. CEUR, 1 - 14.

Li, T., Jiang, J., Aldewereld, H., De Vos, M., Dignum, V. and Padget, J., 2014. Contextualized Institutions in Virtual Organizations. Springer, pp. 136-154. (Lecture Notes in Computer Science)

Li, W., 2013. Nonrigid Surface Tracking, Analysis and Evaluation. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Li, W., Cosker, D. and Brown, M., 2013. An anchor patch based optimisation framework for reducing optical flow drift in long image sequences. In: Lee, K. M., Matsushita, Y., Rehg, J. M. and Hu, Z., eds. 11th Asian Conference on Computer Vision (ACCV), 2012-11-07. Berlin: Springer, pp. 112-125. (Lecture Notes in Computer Science; 7726)

Li, W., Cosker, D., Brown, M. and Tang, R., 2013. Optical flow estimation using Laplacian Mesh Energy. In: IEEE International Conference on Computer Vision and Pattern Recognition (CVPR), 2013-06-25 - 2013-06-27.

Li, W., Viola, F., Starck, J., Brostow, G. J. and Campbell, N., 2016. Roto++: accelerating professional rotoscoping using shape manifolds. ACM Transactions on Graphics, 35 (4), 62.

Lillehagen, T., 2011. Compilation and Automatic Parallelisation of Functional Code for Data-Parallel Architectures. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2011-01)

Liu, C., Yang, Y., Lee, Y.-H. and Chu, H.-K., 2014. Image-based Paper Pop-up Design. New York, NY, USA: ACM, 36:1-36:1. (SIGGRAPH '14)

Liu, H., Yang, Y., AlHalawani, S. and Mitra, N. J., 2013. Constraint-aware interior layout exploration for pre-cast concrete-based buildings. Visual Computer, 29 (6-8), pp. 663-673.

Liu, Y., Pottmann, H., Wallner, J., Yang, Y. and Wang, W., 2006. Geometric Modeling with Conical Meshes and Developable Surfaces. ACM Transactions on Graphics, 25 (3), pp. 681-689.

Lombardo, V., Valle, A., Fitch, J., Tazelaar, K., Weinzierl, S. and Borczyk, W., 2009. A Virtual-Reality Reconstruction of Poeme Electronique Based on Philological Research. Computer Music Journal, 33 (2), pp. 24-47.

Lombardo, V., Arghinenti, A., Nunnari, F., Valle, A., Vogel, H. H., Fitch, J., Dobson, R., Padget, J., Tazelaar, K., Weinzierl, S., Benser, S., Kersten, S., Starosolski, R., Borczyk, W., Pytlik, W. and Niedba, X., 2005. The Virtual Electronic Poem (VEP) Project. In: Tampere SuviSoft, O. L., ed. ICMC 2005 Free Sound, 2005-09-01.

Longridge, T. N., 2005. Developing an XCS Framework. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-11)

Lovett, T. and O'Neill, E., 2012. Capturing Transitions Between Users' Semantically Meaningful Places Using Mobile Devices. In: MCSS '12 Proceedings of the 1st ACM workshop on Mobile systems for computational social science. New York, USA: ACM, pp. 11-16.

Lovett, T. and O'Neill, E., 2012. Simulating User Intervention for Interactive Semantic Place Recognition with Mobile Devices. In: LocalPeMA'12: Proceedings of the 2012 RecSys Workshop on Personalizing the Local Mobile Experience. New York: ACM, pp. 13-18.

Lovett, T. and O'Neill, E., 2011. Context Transitions: User identification and comparison of mobile device motion data. In: Activity Context Representation: Techniques and Languages - Papers from the 2011 AAAI Workshop, Technical Report.Vol. WS-11-04. El Segundo, CA.: AI Access Foundation, pp. 42-47. (AAAI Workshop - Technical Report)

Lovett, T., O'Neill, E., Pollington, D. and Irwin, J., 2009. Event-based mobile social network services. In: Workshop on Context-Aware Mobile Media and Mobile Social Networks, Mobile HCI 2009, 2009-09-15 - 2009-09-18.

Lovett, T., Gabe-Thomas, E., Natarajan, S., Brown, M. and Padget, J., 2014. Designing sensor sets for capturing energy events in buildings. In: 5th ACM International Conference on Future Energy Systems, e-Energy 2014, 2014-06-11 - 2014-06-13. New York, U. S. A.: ACM, pp. 229-230.

Lovett, T. and O'Neill, E., 2010. Mobile Context-awareness: Capabilities, challenges and applications. In: Proceedings of the 12th ACM International Conference Adjunct papers on Ubiquitous computing - Ubicomp '10. New York, USA: ACM, pp. 539-540.

Lu, J., Willis, C. P. and Paddon, D., 2003. Genetic algorithms for flower growth. In: AISB 2003 Convention on Cognition in Machines and Animals, 2003-04-07.

Lu, J., Willis, C. P. and Paddon, D., 2000. Surface Animation for Flower Growth. In: Mathematical Methods for Curves and Surfaces: Oslo 2000, 2000-06-29.

Ludwig, S., Naylor, W., Rana, O. and Padget, J., 2005. Agent-based Matchmaking of Mathematical Web Services. In: Dignum, F., Dignum, V., Koenig, S., Kraus, S., Singh, M. and Wooldridge, M., eds. 4th International Joint Conference on Autonomous Agents and Multiagent Systems 2005, 2005-07-25 - 2005-07-29.

Ludwig, S., Naylor, W., Rana, O. and Padget, J., 2005. Matchmaking of Mathematical Web Services. In: Workshop on Large Scale Computations on Grids (LaSCoG) in proceedings of 6th International Conference on Parallel Processing and Applied Mathematics, 2005-09-01.

Ludwig, S. A., Rana, O. F., Naylor, W. and Padget, J., 2006. Matchmaking framework for mathematical web services. Journal of Grid Computing, 4 (1), pp. 33-48.

Ludwig, S. A., Rana, O. F., Naylor, W. and Padget, J., 2006. Mathematical Service Discovery: Architecture, Implementation and Performance. Journal of Scalable Computing: Practice and Experience, 7 (2), pp. 35-52.

Ludwig, S. A., Rana, O. F., Naylor, W. and Padget, J. A., 2005. Mathematical matchmaker for numeric and symbolic services. In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems 2005, 2005-07-25 - 2005-07-29.

Lutteroth, C. and Weber, G., 2011. Rewriting History:More Power to Creative People. Working Paper. Auckland, Australia: University of Auckland Computer Science Department.

Lutteroth, C., 2007. AP1:a platform for model-based software engineering. Berlin, Germany: Springer, pp. 270-284. (Lecture Notes in Computer Science; 4473)

Lutteroth, C., 2008. Automated reverse engineering of hard-coded GUI layouts. Darlinghurst, Australia: ACM, pp. 65-73.

Lutteroth, C., 2005. Demonstration of Factory:A Java Extension for Generative Programming. Working Paper. Kiel, Gernmany: Christian-Albrechts-University of Kiel.

Lutteroth, C., 2004. Reverse Engineering Web Sites. Working Paper. Berlian, Germany: Institute of Computer Science, Freie Universität Berlin.

Lutteroth, C., Draheim, D. and Weber, G., 2011. A type system for reflective program generators. Science of Computer Programming, 76 (5), pp. 392-422.

Lutteroth, C. and Luxton-Reilly, A., 2008. Flexible learning in CS2: a case study. Computing and Information Technology Research and Education New Zealand (CITRENZ), pp. 77-83.

Lutteroth, C., Luxton-Reilly, A., Dobbie, G. and Hamer, J., 2007. A maturity model for computing education. Darlinghurst, Australia: Australian Computer Society, pp. 107-114.

Lutteroth, C., Penkar, A. M. and Weber, G., 2015. Gaze vs. Mouse:A Fast and Accurate Gaze-Only Click Alternative. New York, U. S. A.: ACM, pp. 385-394.

Lutteroth, C., Strandh, R. and Weber, G., 2008. Domain specific high-level constraints for user interface layout. Constraints, 13 (3), pp. 307-342.

Lutteroth, C., Strandh, R. and Weber, G., 2007. Optimal GUI Layout as a Problem of Linear Programming. Working Paper. Auckland, Australia: University of Auckland Computer Science Department.

Lutteroth, C., Tian, S. and Weber, G., 2011. Tuple Space for Mashups. Working Paper. Auckland, Australia: University of Auckland Computer Science Department.

Lutteroth, C. and Weber, G., 2009. Database synchronization as a service. IEEE, pp. 84-91.

Lutteroth, C. and Weber, G., 2008. Efficient Use of GUIDs. IEEE, pp. 115-120.

Lutteroth, C. and Weber, G., 2008. End-user GUI customization. New York, U. S. A.: ACM, pp. 1-8.

Lutteroth, C. and Weber, G., 2008. Information Content and Compression of GUIDs. Working Paper. Auckland, Australia: University of Auckland Computer Science Department.

Lutteroth, C. and Weber, G., 2007. Reflection as a principle for better usability. IEEE, pp. 297-306.

Lutteroth, C. and Weber, G., 2006. User interface layout with ordinal and linear constraints. Australian Computer Society, pp. 53-60.

Lutteroth, C., Weber, G., Chaffe, T., Lim, K., Liu, B., Speakman, A. and Watt, J., 2011. Going Paperless:On the Evaluation of Electronic Form Technologies. Working Paper. Auckland, Australia: University of Auckland Computer Science Department.

Lyons, Z., Barak, O., Caleb-Solly, P., Harris, N., O'Neill, B., da Silva Ramos, S. and Watts, L., 2015. Establishing Design Requirements for a Virtual Therapy Aid for Executive Dysfunction. In: The 2015 International Conference on Brain Informatics and Health, 2015-08-30 - 2015-09-02.

Lyttleton, R. A. and Fitch, J. P., 1977. Cosmological change of G and the structure of the earth. Monthly Notices of the Royal Astronomical Society, 180, pp. 471-477.

Lyttleton, R. A. and Fitch, J. P., 1978. On the accelerations of the moon and sun, the constant of gravitation, and the origin of mountains. Earth, Moon and Planets, 18 (2), pp. 223-240.

Lyttleton, R. A. and Fitch, J. P., 1980. On the apparent secular accelerations of the moon and sun. Earth Moon and Planets, 22 (1), pp. 99-102.

Lyttleton, R. A. and Fitch, J. P., 1978. The effect of a changing G on the moment of inertia of the earth. Astrophysical Journal, 221, pp. 412-413.

Mac Aodha, O., Campbell, N., Kautz, J. and Brostow, G.J., 2014. Hierarchical Subquery Evaluation for Active Learning on a Graph. In: International Conference on Computer Vision and Pattern Recognition (CVPR), 2014-06-24 - 2014-06-27.

Mac Aodha, O., Campbell, N. D. F., Nair, A. and Brostow, G. J., 2012. Patch based synthesis for single depth image super-resolution. In: Fitzgibbon, A., Lazebnik, S., Perona, P., Sato, Y. and Schmid, C., eds. Computer Vision – ECCV 2012. Berlin, Germany: Springer, pp. 71-84. (Lecture Notes in Computer Science; 7574)

MacFarlane, T., 2013. Extracting Semantics from the Enron Corpus. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-08)

Maheswaran, R. T., Tambe, M., Varakantham, P. and Myers, K., 2004. Adjustable autonomy challenges in personal assistant agents:a position paper. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy. Berlin, Germany: Springer, pp. 187-194. (Lecture Notes in Computer Science; 2969)

Mahmud, J., 2006. Grammar based modeling and generation of Tabla compositions. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-09)

Mankin, B., 2005. The formalisation of authorisation systems. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-13)

Marshall, A., 2007. Agent-based simulation of organisational learning. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-11)

McCullen, N., Walker, I., Natarajan, S. and Padget, J., 2014. Smart meter roll-out strategy and its effect on energy savings at community level. In: Behave Energy Conference, 2014-09-03 - 2014-09-04, Said Business School, University of Oxford.

McCusker, G., 2002. A fully abstract relational model of syntactic control of interference. In: Bradfield, J., ed. Computer Science Logic: Proceedings of 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL.Vol. 2471. Berlin, Germany: Springer, pp. 445-490.

McCusker, G., 2007. Categorical semantics of Syntactic Control of Interference Revisited, Revisited. London Mathematical Society Journal of Computation and Mathematics, 10, pp. 176-206.

McCusker, G., 2004. On the semantics of the bad-variable constructor in Algol-like languages. In: Brookes, S. and Panagaden, P., eds. Proceedings, 19th International Conference on the Mathematical Foundations of Programming Semantics, MFPS XIX.Vol. 83. Elsevier. (Electronic Notes in Theoretical Computer Science)

McCusker, G. and Ghica, D., 2008. Foreword for special issue of APAL for GaLoP 2005. Annals of Pure and Applied Logic, 151 (2-3), p. 69.

McCusker, G. and Ghica, D., 2003. The regular-language semantics of second-order Idealized Algol. Theoretical Computer Science, 309 (1-3), pp. 469-502.

McCusker, G. and Power, J., 2008. Logic Programs as Coalgebras. In: Proc. CMCS Short Contributions 2008. .

McCusker, G., Power, J. and Wingfield, C., 2015. A graphical foundation for interleaving in game semantics. Journal of Pure and Applied Algebra, 219 (4), pp. 1131-1174.

McCusker, G., Power, J. and Wingfield, C., 2012. A graphical foundation for schedules. Electronic Notes in Theoretical Computer Science, 286, pp. 273-289.

McCusker, G. and Pym, D., 2007. A games model of bunched implications. In: Duparc, J. and Henzinger, T. A., eds. Computer Science Logic: Proceedings of 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL.Vol. 4646. Berlin, Germany: Springer, pp. 573-588. (Lecture Notes in Computer Science)

McCusker, G. A., 2010. A graph model for imperative computation. Logical Methods in Computer Science, 6 (1), Paper 2.

McCusker, G. A. and Power, J., 2010. Modelling local variables: possible worlds and object spaces. Electronic Notes in Theoretical Computer Science, 265, pp. 389-402.

Mehrabi, M., Lutteroth, C. and Wünsche, B. C., 2014. Effects of 3D display technologies on spatial memory. In: Mehrabi, M. and Marks, S., eds. 15th Australasian User Interface Conference (AUIC), 2014, 2014-01-20 - 2014-01-23. Darlinghurst, Australia: Australian Computer Society, pp. 91-92. (Conferences in Research and Practice in Information Technology; 150)

Mehrabi, M., Peek, E. M., Wuensche, B. C. and Lutteroth, C., 2013. Making 3D work:a classification of visual depth cues, 3D display technologies and their applications. Darlinghurst, Australia: Australian Computer Society, pp. 91-100.

Meka, A., Zollhöfer, M., Richardt, C. and Theobalt, C., 2016. Live Intrinsic Video. ACM Transactions on Graphics, 35 (4), 109.

Merrall, S. and Padget, J., 1993. Plurals:A SIMD extension to EuLisp. Lisp and Symbolic Computation, 6 (1/2), pp. 201-219.

Merrall, S. C. and Padget, J. A., 1992. Collections and garbage collection. Berlin, Germany: Springer Verlag, pp. 473-489. (Lecture Notes in COmputer Science; 637)

Middup, C., 2008. Supporting collaboration in problem-solving groups. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Mills, A., Lister, D. and De Vos, M., 2011. Understanding static inter-cell interference coordination mechanisms in LTE. Journal of Communications, 6 (4), pp. 312-318.

Mills, A., Lister, D., De Vos, M. and Ji, Y., 2010. The impact of MS velocity on the performance of frequency selective scheduling in IEEE 802.16e Mobile WiMAX. In: Consumer Communications and Networking Conference (CCNC), 2010 7th IEEE. IEEE Computer Society, pp. 1-5.

Miltiadou, M., Warren, M. A., Grant, M. and Brown, M., 2015. Alignment of hyperspectral imagery and full-waveform LIDAR data for visualisation and classification purposes. International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 40 (7W3), pp. 1257-1264.

Mitchell, J., O'Neill, E., Zyba, G., Voelker, G. M., Liljenstam, M., Mehes, A. and Johansson, P., 2012. Limitations of Scanned Human Copresence Encounters for Modelling Proximity-Borne Malware. In: 2012 4th International Conference on Communication Systems and Networks, COMSNETS 2012. IEEE.

Mitra, N. J., Yang, Y.-L., Yan, D.-M., Li, W. and Agrawala, M., 2013. Illustrating how mechanical assemblies work. Communications of the ACM (CACM), 56 (1), pp. 106-114.

Mitra, N. J., Yang, Y., Yan, D.-M., Li, W. and Agrawala, M., 2010. Illustrating How Mechanical Assemblies Work. ACM Transactions on Graphics, 29 (4), 58:1-58:12.

Mulholland, P., Anastopoulou, S., Collins, T., Feisst, M., Gaved, M., Kerawalla, L., Paxton, M., Scanlon, E., Sharples, M. and Wright, M., 2012. nQuire: Technological support for personal inquiry learning. IEEE Transactions on Learning Technologies, 5 (2), pp. 157-169.

Munroe, S. and Luck, M., 2004. Agent autonomy through the M-3 motivational taxonomy. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy. Berlin, Geramny: Springer, pp. 55-67. (Lecture Notes in Computer Science; 2969)

Murphy, E., Davenport, J. and Crick, T., 2016. An Analysis of Introductory University Programming Courses in the UK. Working Paper. Bath: University of Bath.

Naeem, M. A., Weber, G., Dobbie, G. and Lutteroth, C., 2013. A generic front-stage for semi-stream processing. New York, U. S. A.: ACM, pp. 769-774.

Naeem, M. A., Weber, G., Dobbie, G. and Lutteroth, C., 2013. SSCJ:a semi-stream cache join using a front-stage cache module. Berlin, Germany: Springer, pp. 236-247. (Lecture Notes in Computer Science; 8057)

Naeem, M. A., Weber, G., Lutteroth, C. and Dobbie, G., 2014. Optimizing queue-based semi-stream joins with indexed master data. Springer India, pp. 171-182. (Lecture Notes in Computer Science; 8646)

Nascimento, A. S., Rubira, C. M. F., Burrows, R. and Castor, F., 2013. A model-driven infrastructure for developing product line architectures using CVL. In: 7th Brazilian Symposium on Software Components, Architectures and Reuse, SBCARs 2013, 2013-09-29 - 2013-10-04.

Nascimento, A., Rubira, C. M. F., Burrows, R. and Castor, F., 2013. A systematic review of design diversity-based solutions for fault-tolerant SOAs. In: EASE 2013: 17th International Conference on Evaluation and Assessment in Software Engineering, 2013-04-13 - 2013-04-15. New York: ACM, pp. 107-118.

Natarajan, S., Padget, J. and Elliott, L., 2011. Modelling UK domestic energy and carbon emissions: an agent-based approach. Energy and Buildings, 43 (10), pp. 2602-2612.

Naylor, W. and Padget, J., 2006. From untyped to polymorphically typed objects in mathematical web services. (Lecture Notes in Artificial Intelligence)

Naylor, W. and Padget, J., 2006. Semantic matching for mathematical services. Springer, pp. 174-189. (Lecture Notes in Computer Science)

Nguyen, H. M., Wünsche, B. C., Delmas, P., Lutteroth, C. and van der Mark, W., 2014. A Robust System for High-Quality Reconstruction of 3D Objects from Photographs. In: Hippe, Z. S., Kulikowski, J. L., Mroczek, T. and Wtorek, J., eds. Issues and Challenges in Artificial Intelligence. Springer International Publishing, pp. 3-15. (Studies in Computational Intelligence; 559)

Nguyen, H. M., Wünsche, B. C., Delmas, P. and Lutteroth, C., 2014. Identifying Low Confidence Mesh Regions: Uncertainty Measures and Segmentation. ACM, pp. 48-53.

Nguyen, H. M., Wünsche, B. C., Delmas, P. and Lutteroth, C., 2013. Parameter optimisation for texture completion. IEEE, pp. 226-230.

Nguyen, H. M., Wünsche, B. C., Delmas, P. and Lutteroth, C., 2014. Poisson blended exemplar-based texture completion. Darlinghurst, Australia: ACM, pp. 99-104.

Nguyen, H. M., Wünsche, B., Delmas, P., Lutteroth, C. and Zhang, E., 2016. A robust hybrid image-based modeling system. Visual Computer, 32 (5), pp. 625-640.

Nguyen, H. M., Wünsche, B., Delmas, P., Lutteroth, C., van der Mark, W. and Zhang, E., 2013. High-Definition Texture Reconstruction for 3D Image-based Modeling.

Nguyen, H. M., Wünsche, B., Lutteroth, C. and Delmas, P., 2013. A hybrid image-based modelling algorithm. Darlinghurst, Australia: Australian Computer Society, pp. 115-123.

Nguyen, H. M., Wünsche, B. C., Delmas, P., Lutteroth, C. and van der Mark, W., 2013. High resolution 3D content creation using unconstrained and uncalibrated cameras. IEEE, pp. 637-644.

Nguyen, M. H., Wünsche, B., Delmas, P. and Lutteroth, C., 2013. Modelling of 3D objects using unconstrained and uncalibrated images taken with a handheld camera. In: Csurka, G., Kraus, M., Mestetskiy, L., Richard, P. and Braz, J., eds. Computer Vision, Imaging and Computer Graphics. Theory and Applications. Berlin. Germany: Springer, pp. 86-101. (Communications in Computer and Information Science; 274)

Nguyen, T. T., Willis, C. P., Paddon, D. J. and Nguyen, H. S., 2006. A Hybrid System for Learning Sunspot Recognition and Classification. In: 2006 International Conference on Hybrid Information Technology, 2006-11-09.

Nguyen, T. T., Willis, C. P., Paddon, D. J. and Nguyen, H. S., 2004. On Learning of Sunspot Classification. In: Intelligent Information Processing and Web Mining, Proceedings of the International IIS: IIPWM'04, 2004-05-17.

Nguyen, T. T., Willis, C. P., Paddon, D. J., Nguyen, S. H. and Nguyen, H. S., 2006. Learning sunspot classification. Fundamenta Informaticae, 72 Jul-Aug (1-3), pp. 295-309.

Nickles, M., 2006. Modeling social attitudes on the Web. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M. and Aroyo, L., eds. Semantic Web - Isec 2006, Proceedings.Vol. 4273. , pp. 529-543. (Lecture Notes in Computer Science)

Nickles, M., Cobos, R., Weiss, G. and Froehner, T., 2005. Multi-source knowledge bases and ontologies with multiple individual and social viewpoints. In: 2005 Ieee/Wic/Acm International Conference on Web Intelligence, Proceedings, 2005-09-19 - 2005-09-22.

Nickles, M., Rovatsos, M. and Weiss, G., 2003. A schema for specifying computational autonomy. In: Petta, P., Tolksdorf, R. and Zambonelli, F., eds. Engineering Societis in the Agents World Iii.Vol. 2577. , pp. 82-95. (Lecture Notes in Artificial Intelligence)

Nickles, M., Rovatsos, M. and Weiss, G., 2005. Formulating agent communication semantics and pragmatics as behavioral expectations. In: VanEijk, R. M., Huget, M. P. and Dignum, F., eds. Agent Communication.Vol. 3396. , pp. 153-172. (Lecture Notes in Computer Science)

Nickles, M. and Weiss, G., 2003. A framework for the social description of resources in open environments. In: Klusch, M., Omicini, A., Ossowski, S. and Laamanen, H., eds. Cooperative Information Agents Vii, Proceedings.Vol. 2782. , pp. 206-221. (Lecture Notes in Artificial Intelligence)

Nickles, M. and Weiss, G., 2004. Agent-based social assessment of shared resources. In: Moro, G., Sartori, C. and Singh, M. P., eds. Agents and Peer-to-Peer Computing.Vol. 2872. , pp. 35-40. (Lecture Notes in Computer Science)

Nickles, M., Weiss, G. and Rovatsos, M., 2005. Expectation-Oriented modeling. Engineering Applications of Artificial Intelligence, 18 (8), pp. 891-918.

Nickles, M. and Cobos, R., 2008. An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion. In: daCosta, P. C. G., dAmato, C., Fanizzi, N., Laskey, K. B., Laskey, K. J., Lukasiewicz, T., Nickles, M. and Pool, M., eds. Uncertainty Reasoning for the Semantic Web 1. Berlin, Germany: Springer, pp. 124-142. (Lecture Notes in Artificial Intelligence; 5327)

Nickles, M. and Cobos, R., 2008. An approach to description logic with support for propositional attitudes and belief fusion. In: Uncertainty Reasoning for the Semantic Web I - ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers.Vol. 5327 NAI. Heidelberg, Germany: Springer, pp. 124-142. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

Nickles, M., Rovatsos, M. and Weis, G., 2004. Empirical-Rational Semantics of Agent Communication. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1, 2004-01-01.

Nickles, M. and Sottara, D., 2009. Approaches to uncertain or imprecise rules: a survey. In: Governatori, G., Hall, J. and Paschke, A., eds. Rule Interchange and Applications.Vol. 5858. Springer, pp. 323-336. (Lecture Notes in Computer Science)

Nieves, J. C., Padget, J., Vasconcelos, W., Staikopoulos, A., Cliffe, O., Dignum, F., Vazquez-Salceda, J., Clarke, S. and Reed, C., 2011. Coordination, organisation and model driven approaches for dynamic, flexible, robust software and services engineering. In: Schahram, D. and Li, F., eds. Services Engineering: European Research Results. Vienna, Austria: Springer, pp. 85-115.