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: 1440.

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)

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

, 2006. Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Revised selected papers. In: Boissier, O., Padget, J., Virgini, D., Gabriel, L., Eri, M., Sasch, O., Sichman, J. S. and Vazquez-Salceda, J., eds. AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, 2006-06-01.

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

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. Other. 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. 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, 1986-07-20 - 1986-07-22, Waterloo. 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. New York, USA: Springer, pp. 391-402. (Lecture Notes in Computer Science; 378)

Adams, A. A. and Davenport, J. H., 2004. Copyright issues for MKM. In: 3rd International Conference on Mathematical Knowledge Management, 2004-09-18 - 2004-09-20, Bialowieza. 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.-L., Laird, J. and Ffitch, J., 2001. Extending Digital Waveguides To Include Material Modelling. In: Proceedings of DAFx01, 2001-12-01, University of Limerick.

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

Aird, M.-L., Medina, W. B. and Padget, J., 2005. Brokerage for Mathematical Services in MONET. Springer, pp. 253-272. (Multiagent Systems, Artificial Societies, and Simulated Organizations)

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.

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. 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. 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. CEUR Workshop Proceedings, 494, pp. 114-115.

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

Anderson, S., Power, J. and Tourlas, K., 2001. Reasoning in higraphs with loose edges. 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. Other. 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, Cambridge.

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

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, Valencia. Berlin: Springer, pp. 1-19. (Lecture Notes in Computer Science; 7784)

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, Berlin. Springer, pp. 77-103. (Lecture Notes in Mobility)

Balikai, A. A., Sundaram, S. and Hall, P. M., 2008. AUTOMATIC multilevel form colour dropout using graph cuts. IADIS, pp. 127-133.

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, Valencia. Springer, pp. 53-70. (Lecture Notes in Computer Science; 7756)

Balke, T., Noriega, P., Verhagen, H. and De Vos, M., 2013. Social coordination:Principles, artifacts and theories. In: Social Coordination: Principles, Artefacts and Theories, SOCIAL.PATH 2013,, 2013-04-03 - 2013-04-05, Exeter.

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., 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, Lyon. 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, Taipei, Taiwan.

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, Lyon. 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. Other. 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, San Sebastien. 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, Berlin. 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, London.

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

Barber, K. S. and Park, J., 2004. Agent belief autonomy in open multi-agent systems. Berlin, Germany: Springer, pp. 7-16. (Lecture Notes in Computer Science; 2969)

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: Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation, 1971-04-01. 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, Taipei. Berlin, Germany: Springer, pp. 14-26. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9394)

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, Quebec City, QC.

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

Batenin, A., 2006. Subjectivity and ownership:a perspective on software reuse. Other. 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. Other. 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., 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: 23rd IEEE/RSJ 2010 International Conference on Intelligent Robots and Systems, IROS 2010, October 18, 2010 - October 22, 2010, 2010-10-01, Taipei, Taiwan. Piscataway, NJ: IEEE Computer Society, pp. 3931-3936.

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 2003 International Symposium on Symbolic and Algebraic Computation, 2003-08-03 - 2003-08-06, Philadelphia, U. S. A.. 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, Santander.

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. 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. Other. 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, Honolulu. 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. 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. Other. University of Bath.

Benton, L., 2007. An investigation into second language acquisition and tutoring systems for children at Key Stage 2. Other. 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: 29th Annual CHI Conference on Human Factors in Computing Systems, CHI 2011, May 7, 2011 - May 12, 2011, 2011-01-01, Vancouver, BC. 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, Austin, Texas. 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, San Diego.

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

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

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, Chicago. 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: Proc. of the Int. Conf. on Digital Audio Effects (DAFx-06), 2006-09-01. Montreal, Quebec, Canada: DAFx, pp. 77-82.

Billings, M. and Watts, L. A., 2006. The Model of Relational Communication: explaining difficulties encountered through the use of technology in alternative dispute resolution. In: 8th Australian National Mediation Conference, 2006-05-01, Hobart, Tasmania.

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, Atlanta, GA. 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. Other. 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. Proceedings of the AAAI Fall Symposium on Naturally-Inspired Artificial Intelligence, 2008-11-05 - 2008-11-07, Arlington, Virginia. Arlington, VA: AAAI Press, pp. 21-26.

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

Blute, R., Guglielmi, A., Ivanov, I., Panangaden, P. and Straßburger, L., 2014. A Logical Basis for Quantum Evolution and Entanglement. 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: 8th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2012 Workshop, 2012-10-08, Stanford, CA.. 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 Nonmonotonic Reasoning, 10th International Conference, 2009-09-01. 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 ICMC2011, 2011-08-01. 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 Twelfth International Workshop on Non-Monotonic Reasoning, 2008-09-01. 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. Springer, pp. 160-174. (Lecture Notes in Computer Science)

Boonkrong, S., 2006. Authentication, pre-Handoff and Handoff in Pure MANET. Other. 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ß~1999, 2003-06-01. 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: ICMC2000, 2000-08-01. ICMA, pp. 372-375.

Boulanger, R. and ffitch, J., 1998. Teaching software synthesis through Csound's new modelling opcodes. 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. 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)

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

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

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. 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. 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, Boston. 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, Bath. 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, Grand Bend, Ontario. Berlin: Springer, pp. 75-89. (Lecture Notes in Computer Science; 5625/2)

Bradford, R., Dobson, R. and ffitch, J. P., 2007. The Sliding Phase Vocoder. In: Proceedings of the 2007 International Computer Music Conference, 2007-08-01. 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 ICMC2011, 2011-08-01. 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. (Lecture Notes in Computer Science)

Brain, M., Crick, T., De Vos, M. and Fitch, J., 2006. TOAST: Applying answer set programming to superoptimisation. (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, Bath.

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

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

Brain, M. J., Crick, T., Fitch, J. P. and de Vos, M., 2006. An application of answer set programming: Superoptimisation (A preliminary report). Other. 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, Tempe, Arizona.

Brain, M. J., 2004. Incremental answer set programming. Other. 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, Potsdam.

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

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

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. Other. 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. Other. 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, University of Cambridge, Cambridge.

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. Other. 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, Waterloo, Ontario. 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, Bristol.

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

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

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

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

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

Brown, M., Szeliski, R. and Winder, S., 2004. Multi-Scale Oriented Patches. Other. 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, Colorado Springs. IEEE, pp. 177-184.

Bruennler, K. and Guglielmi, A., 2004. A First Order System with Finite Choice of Premises. Logos Verlag, pp. 59-74. (Logische Philosophie)

Bruscoli, P. and Guglielmi, A., 2003. A Tutorial on Proof Theoretic Foundations of Logic Programming. 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, Argonne.

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, Heriot-Watt University, Edinburgh, Scotland.

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

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. AISB/IACAP World Congress 2012 - The Machine Question: AI, Ethics and Moral Responsibility, Part of Alan Turing Year 2012, 2012-07-02 - 2012-07-06, Birmingham. 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, 2008-03-01. 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, Arlington, Virginia.

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. Springer, pp. 61-76. (Lecture Notes in Computer Science)

Bryson, J. J., 2002. Where should complexity go? Cooperation in complex agents with minimal communication. 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, Monte Verita.

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. 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. Detroit: Greenhaven Press. (Opposing Viewpoints Series)

Bryson, J., 2015. Artificial intelligence and pro-social behaviour. Berlin: Springer, pp. 281-306. (Philosophical Studies; 122) Item availability may be restricted.

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

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

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, University of York.

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

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

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

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

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

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, La Jolla, California.

Bryson, J. J., 2010. Robots should be slaves. Amsterdam: John Benjamins, pp. 63-74. (Natural Language Processing; 8)

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

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. 22nd International Joint Conference on Artificial Intelligence, 2011-07-16 - 2011-07-22, Barcelona, Catalonia. 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, Washington, DC.

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

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

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

Bryson, J. J., Mitchell, J., Powers, S. T. and Sylwester, K., 2014. Understanding and addressing cultural variation in costly antisocial punishment. London, U. K.: Springer, pp. 201-222. (Advances in the Evolutionary Analysis of Human Behaviour; 1)

Burdorf, C. and Fitch, J. P., 1993. Cloning Persistent Simulation Objects under a Conservative Mechanism of Concurrency-Control. 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, 1992-01-01. 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, Padova.

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

Butler, S., 2006. A simulated exploration into the growth of modern terrorist networks. Other. 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. The Proceedings of the Fourth Conference of the European Social Simuation Society (ESSA '07), 2007-01-01. 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, London.

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

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

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: 1980 LISP Conference, Stanford, 1980-01-01. 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: Conference for Visual Media Production (CVMP), 2011, 2011-11-16 - 2011-11-17, London. IEEE, pp. 126-137.

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. 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, Technische Universität München, München.

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: IADIS Int. Conf. Collaborative Technologies 2010,CT, IADIS Int. Conf. Web Based Communities 2010,WBC, Part of the MCCSIS 2010, July 26, 2010 - July 31, 2010, 2010-01-01, Freiburg. Lisbon: IADIS, pp. 37-44.

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

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. (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. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-17)

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.

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, September 27, 2009 - October 4, 2009, 2009-01-01, Kyoto. 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, Grand Bend, Ontario, Canada.

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, San Jose, CA. 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, Munich. 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.

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

Chung, K., 2004. Development of an integrated chat monitoring and web filtering parental control for child online supervision. Other. 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. 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. IEEE Press.

Clairambault, P., 2011. Estimation of the length of interactions in arena game semantics. In: 14th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, March 26, 2010 - April 3, 2010, 2011-01-01, Saarbrucken. Heidelberg: Springer, pp. 335-349. (Lecture Notes in Computer Science)

Clairambault, P., 2011. Isomorphisms of types in the presence of higher-order references. 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: 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, June 1, 2011 - June 3, 2011, 2011-01-01, Novi Sad. Heidelberg: Springer, pp. 91-106. (Lecture Notes in Computer Science)

Cliffe, E., 2007. Reflections on the number of field sieve. Other. 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, Durham.

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, Potsdam. 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. 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. Other. 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. Other. 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, Hakodate. 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, Durham. 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, Udine. Italy. 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, Heraklion.

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. Chichester, UK: John Wiley, pp. 1-52.

Collier, M., 2005. An investigation into real-time automated painterly video techniques. Other. 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. (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., 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, London.

Collomosse, J. P., 2006. Supervised genetic search for parameter selection in painterly rendering. (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, London.

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. (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, Eurographics Assoc.

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. Other. 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. Other. 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, Tampa, FL.

Constantinou, M., 2013. Tuning of rsync Algorithm for Optimum Cloud Storage Performance. Other. 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. Other. 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, Lyon. 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. International Conference Artificial Intelligence and Symbolic Computation (AISC), 2000, 2000-07-17 - 2000-07-19, Madrid. 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, Portland.

Corradi, T. M., 2004. TOADS: A tool to aid in the development of MAS consisting of OCLP-minded agents, under JADE. Other. 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, Seattle.

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. Proceedings of the 15th Annual Conference, TAROS, 2014, 2014-09-01 - 2014-09-03, Birmingham. 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, London. IET, p. 16.

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., 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, Barcelona. IEEE, pp. 2296-2303.

Cosker, D., Krumhuber, E. and Hilton, A., 2010. A FACS validated 3D human facial model. In: ACM/SSPNET 2nd International Symposium on Facial Analysis and Animation, FAA 2010, October 21, 2010 - October 21, 2010, 2010-01-01, Edinburgh. 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, Los Angeles, CA. 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. 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, Washington, DC.

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, Montreal. New York, USA: ACM, pp. 531-540.

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

Crick, T., 2004. A GCC front end for BCPL. Other. 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. 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 2009-01-01, Potsdam. 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, Edinburgh.

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

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. 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. Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, 2012-06-17 - 2012-06-22, Cambridge. 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: 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, Vienna. ACM.

Das, A., 2013. Rewriting with linear inferences in propositional logic. 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: 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, July 4, 2011 - July 8, 2011, 2011-01-01, Bern. Heidelberg: Springer, pp. 134-148. (Lecture Notes in Computer Science)

Dastani, M., Dignum, F. and Meyer, J. J., 2004. Autonomy and agent deliberation. Berlin, Germany: Springer, pp. 114-127. (Lecture Notes in Computer Science; 2969)

Davenport, J. H., 2008. AISC Meets Natural Typography. Berlin, Heidelberg: Springer, pp. 53-60. (Lecture Notes in Computer Science)

Davenport, J. H., 2008. Effective Set Membership in Computer Algebra and Beyond. 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. (Lecture Notes in Computer Science)

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

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 The 1991 International Symposium on Symbolic and Algebraic Computation, 1991-07-14 - 1991-07-16, Bonn. 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., 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, Seoul.

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

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, Timisoara. Piscataway: IEEE, pp. 83-88.

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

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. 8th International Conference on Mathematical Knowledge Management (MKM 2009), 2009-07-10 - 2009-07-12, Grand Bend, Ontario. 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, Capri. 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. 10th International Workshop on Automated Deduction in Geometry (ADG), 2014, 2011-07-09 - 2011-07-11, Coimbra. 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. Forthcoming. Solving computational problems in real algebra/geometry. Annales Mathematicae et Informaticae, 44, pp. 35-46.

Day, C., 2005. An ontological approach to song scheduling for an automated radio station. Other. 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 the 33rd Annual ACM Conference Human Factors in Computing Systems, 2015-04-18. 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. 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 2009-01-01, Potsdam. 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, Reggio Calabria.

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

De Vos, M. and Vermeir, D., 2002. Dynamic decision-making in logic programming and game theory. (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 (ES2002), 2002-12-01. 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, Saint Paul.

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, Tokyo. 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, Kauai. 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, Aarhus.

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

Denney, E. W., Tourlas, K. and Power, J., 2005. Hierarchical Proof Structures. 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.

Di Fiore, F., Van Reeth, F., Patterson, J. and Willis, P., 2006. Highly stylised drawn animation. 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, Kuala Lumpur.

Dobson, R. W. and Fitch, J. P., 1995. Experiments with Chaotic Oscillators. In: ICMC'95: Digital Playgrounds, 1995-09-01. 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, Barcelona.

Dobson, R., ffitch, J. and Bradford, R., 2008. High performance audio computing: a position paper. In: Proceedings of the 2008 ICMC, 2008-01-01. 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, Koloa, Kauai, HI. Piscataway, NJ: IEEE Computer Society, pp. 1-10. (Proceedings of the Annual Hawaii International Conference on System Sciences)

Drugowitsch, J. and Barry, A., 2007. Generalised mixtures of experts, independent expert training, and learning classifier systems. Other. 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. Other. 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. Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-02)

Drugowitsch, J. and Barry, A. M., 2006. Mixing independent classifiers. Other. 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. Other. 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. Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2005-01)

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

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

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: Third International Workshop on RESTful Design (WS-REST 2012) at WWW2012, 2012-04-16, Lyon. Association for Computing Machinery (ACM), pp. 41-48.

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

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, Vancouver, BC. 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. Item availability may be restricted.

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. Item availability may be restricted.

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, Heraklion, Crete. 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, San Francisco. 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, Estoril. 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. Item availability may be restricted.

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, Koblenz. 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, London. 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: ACM, pp. 9-16.

Elliott, L., 2008. Using Agent-Based Modelling to Explore the Environmental Impact of Changes to the UK Housing Stock. Other. 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. Springer, pp. 394-404. (Lecture Notes in Artificial Intelligence)

England, M., 2013. An Implementation of CAD in Maple Utilising McCallum Projection. Other. 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. Other. 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. and Davenport, J., 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, Bath.

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, Bath. Berlin: Springer, pp. 136-151. (Lecture Notes in Computer Science; 7961)

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

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

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

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. 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, 2006-01-01. 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. Leende, Netherlands: Springer, pp. 38-58.

Fedorec, A. J., 2013. Information Acquisition and Communication and its Impact on Social Structure. Other. 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. Forthcoming. 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, Brussels.

Fitch, J., 2009. CAMAL 40 Years on - Is Small Still Beautiful? In: Carette, J., Dixon, L., Coen, C. S. and Watt, S. M., eds. 16th Symposium on Integration of Symbolic Computation and Mechanized Researching/8th International Conference on Mathematical Knowledge Management, 2009-01-01, Granda Bend. Berlin: Springer, pp. 32-44. (Lecture Notes in Computer Science)

Fitch, J. and Shabana, W., 1999. A wavelet-based pitch detector for musical signals. Trondheim: Norwegian University of Science and Technology, pp. 101-104.

Fitch, J. P., 1990. A Delivery System for REDUCE. In: Proceedings of ISSAC90, Tokyo, Japan, 1990-08-01. ACM and Addison-Wesley, pp. 76-81.

Fitch, J. P., 1988. A Loosely Coupled Parallel LISP Execution System. In: The Design and Application of Parallel Digital Processors, 1988-04-01. 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, 1985-09-01. Soviet Academy of Sciences, pp. 262-275.

Fitch, J. P., 1989. Can REDUCE be run in parallel? In: Proceedings of ISSAC89, Portland, Oregon, 1989-07-01. 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, Grenoble.

Fitch, J. P., 1984. Implementing REDUCE on a microcomputer. In: Proceedings of EUROCAL 1983, 1984-01-01. 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. Problem Solving Environments for Scientific Computing, 1986-01-01. 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, St Maximan.

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. Computer Algebra and Its Applications to Mechanics, 1992-01-01. 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, 1993-09-01. 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, 1991-01-01. 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, Dublin, 1975-01-01. 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. Algebraic and Symbolic Calculations, 1979-01-01. 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, 1981-01-01. New York, USA: ACM, pp. 245-248.

Fitch, J. P., 1987. Utilisation du calcul formel. In: Chenin, P., ed. Calcul Formel et Automatique, 1987-01-01. 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, 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, 1972-01-01. 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. Proceedings of EUROCAL87, Leipzig, 1989-01-01. 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 SYMSAC, Yorktown Heights, 1976-01-01. New York: ACM, pp. 185-188.

Fitch, J. P. and Marti, J. B., 1982. NLARGEing a Z80 Microprocessor. In: Proceedings of EUROCAM 1982, 1982-01-01. Heidelberg: Springer, pp. 249-255. (Lecture Notes in Computer Science)

Fitch, J. P. and Marti, J. B., 1983. The Bath Concurrent LISP Machine. In: Proceedings of EUROCAL 1983, 1984-01-01. 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, 1986-01-01. 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. Proceedings of the 1981 ACM Symposium on Symbolic and Algebraic Computation, 1981-01-01. 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. 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL, 2002-09-22 - 2002-09-25, Edinburgh. Berlin, Germany: Springer, pp. 183-199. (Lecture Notes in Computer Science; 2471)

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., 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, Boston, MA. 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. HCI 2006: Engage, 2006-09-01, London. 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, University of Cambridge.

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, Chania. 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, 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, Dortmund. 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. 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, Taipei, Taiwan.

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

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. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2008-01)

Girard, S., 2006. DividingQuest:Using Emotive Interface Personas in Educational Software. Other. 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. 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: 23rd Conference Francophone sur l'Interaction Homme-Machine, IHM'11 - 23rd French Speaking Conference on Human-Computer Interaction, IHM'11, October 24, 2011 - October 27, 2011, 2011-01-01, Sophia Antipolis. New York: Association for Computing Machinery (ACM). (ACM International Conference Proceeding Series)

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

Girard, S. and Johnson, H., 2009. Educational software for children. New York: ACM, pp. 259-262.

Girard, S. and Johnson, H., 2007. Opening the Learner-Model to teachers. In: EIAH 2007, 2007-06-19 - 2007-06-27, Lausanne.

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

Girard, S. and Johnson, H., 2010. What do children favor as embodied pedagogical agents? 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: 13th Annual Genetic and Evolutionary Computation Conference, GECCO'11, July 12, 2011 - July 16, 2011, 2011-07-01, Dublin. 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, Nottingham.

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, San Jose, California.

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. Other. 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, Cambridge, MA. 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: 29th Annual CHI Conference on Human Factors in Computing Systems, CHI 2011, May 7, 2011 - May 12, 2011, 2011-01-01, Vancouver, BC. New York: Association for Computing Machinery (ACM), pp. 1049-1052. (Conference on Human Factors in Computing Systems - Proceedings)

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

Gooch, D. and Watts, L., 2011. The Magic Sock Drawer project. In: 29th Annual CHI Conference on Human Factors in Computing Systems, CHI 2011, May 7, 2011 - May 12, 2011, 2011-01-01, Vancouver, BC. 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, Edinburgh, Scotland.

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, Newcastle Upon Tyne.

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, Cambridge, MA. 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: 1st International Conference on Complex Sciences: Theory and Applications, Complex 2009, February 23, 2009 - February 25, 2009, 2009-01-01, Shanghai. 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, Manchester.

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: DESIGN 2014 13th International Design Conference, 2014-05-19 - 2014-05-22, Dubrovnik.

Gouaich, A., 2004. Requirements for achieving software agents autonomy and defining their responsibility. 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, Enshede.

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, New York, NY.

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

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, 2012-06-13 - 2012-06-17, Chania, Crete. 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, San Diego.

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

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, University of York.

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

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. 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. 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, Edinburgh. 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, Stellenbosch. 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, New Orleans. 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, Kyoto.

Gwynn, G., 2005. Viewpoint invariant content based image retrieval for urban navigation. Other. 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. Other. 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. Other. 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. 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 Special Interest Group on Computer Graphics and Interactive Techniques Conference, SIGGRAPH 2014, 2014-08-10 - 2014-08-14, Vamcouver. 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, Anaheim. 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. 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. 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, Vienna. 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, Toronto. IEEE, pp. 207-216.

Heijltjes, W. and Houston, R., 2015. Forthcoming. Proof equivalence in MLL is PSPACE-complete. Logical Methods in Computer Science

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, Kyoto. IEEE, pp. 80-91.

Heijltjes, W. and Strassburger, L., 2014. Proof nets and semi-*-autonomous categories. Mathematical Structures in Computer Science, FirstView.

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.

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

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

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

Holt, A. J. and Davenport, J. H., 2003. Resolving large prime(s) variants for discrete logarithm computation. (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, Potsdam. 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. Other. 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, Vienna.

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

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, Rio de Janeiro.

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, Shenzhen. 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 Item availability may be restricted.

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

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, Berlin-Heidelberg-New York.

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

Hyland, M., Levy, P., Plotkin, G. D. and Power, J., 2004. Combining continuations with other effects.

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

Jiang, R.M. and Crookes, D., 2012. Visual saliency estimation through manifold learning. In: 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference, 2012-07-22 - 2013-02-26, Toronto.

Jin, X. and Liu, J., 2004. From individual based modeling to autonomy oriented computation. 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., Wild, P., May, J. and Gamble, T. R., 2001. Modelling multiple and collaborative tasks. 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, Prague.

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

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, Kingston-on-Thames. 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. Other. 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., 2015. Exploring Correlational Information in Aggregated Quantified Self Data Dashboards. In: Ubicomp/ISWC 2015, 2015-09-07 - 2015-09-11, Osaka.

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

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

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

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, Vancouver, BC. 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, Redmond, WA. 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, Milan.

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

Kaenampornpan, M. and O'Neill, E., 2004. Modelling context: an activity theory approach. (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, Bangkok.

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

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

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

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, University of Cambridge.

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

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. Other. 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, San Antonio. New York: ACM, pp. 65-68.

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, Newcastle. New York, U. S. A.: ACM, pp. 568-571.

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

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

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

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

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

Kelly, R., Watts, L. and Payne, S., 2016. Forthcoming. 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, San Francisco.

Kenyon, J., 2013. Adapting a Video Game to do Psychological Experiments. Other. 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)

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.

Kindberg, T., Bevan, C., O'Neill, E., Mitchell, J., Grimmett, J. and Woodgate, D., 2009. Authenticating ubiquitous services: a study of wireless hotspot access. 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. 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, Florence. 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, Istanbul.

Kinoshita, Y. and Power, J., 2000. A General Completeness Result in Refinement. 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. 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. 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. Springer, pp. 111-127. (Lecture Notes in Computer Science)

Komendantskaya, E. and Power, J., 2011. Coalgebraic semantics for derivations in logic programming. 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. Heidelberg: Springer, pp. 258-271.

Komendantskaya, E., Power, J. and Schmidt, M., 2014. Coalgebraic logic programming:from semantics to implementation. Journal of Logic and Computation

Koniaris, C., 2015. Real-time Rendering of Complex, Heterogeneous Mesostructure on Deformable Surfaces. Thesis (Doctor of Engineering (EngD)). Computer Science. Item availability may be restricted.

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. (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. Other. 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, Florence.

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, 2003-09-08 - 2003-09-12, Bath. 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, University of Bath.

Kostakos, V. and O'Neill, E., 2008. Cityware: urban computing to bridge online and real-world social networks. 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, Vienna.

Kostakos, V. and O'Neill, E., 2004. Extending traditional design approaches for Pervasive Computing. In: PREP 2004 Conference, 2004-04-05 - 2004-04-07, University of Hertfordshire.

Kostakos, V. and O'Neill, E., 2008. Human-in-the-loop: rethinking security in mobile and pervasive systems. New York, USA: ACM, pp. 3075-3080.

Kostakos, V. and O'Neill, E., 2006. Interacting with mobile and pervasive systems. 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, Imperial College, London.

Kostakos, V. and O'Neill, E., 2007. NFC on mobile phones: issues, lessons and future research. 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, 2004-01-05 - 2004-01-08, Big Island,Hawaii. IEEE Computer Society Press, pp. 1-10.

Kostakos, V. and O'Neill, E., 2007. Quantifying the effects of space on encounter. 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. 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, Beijing. New York: Association for Computing Machinery (ACM), pp. 177-186.

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.

Labrosse, F. and Willis, P. J., 2001. Towards Continuous Image Representations. In: Winter School of Computer Graphics and Visualisation `01, 2001-01-01, University of West Bohemia.

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, New Orleans, LA, USA. Los Alamitos, California: IEEE, pp. 301-310. (Annual IEEE/ACM Symposium on Logic in Computer Science (LICS))

Laird, J., 2015. Sequential algorithms for unbounded nondeterminism. Electronic Notes in Theoretical Computer Science, 319, pp. 271-287.

Laird, J., 2013. Combining and Relating Control Operators and their Semantics. 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., 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, Edinburgh. IEEE, pp. 41-49. (Proceedings - Symposium on Logic in Computer Science)

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., Manzonetto, G. and McCusker, G., 2013. Constructing differential categories and deconstructing categories of games. Information and Computation, 222, pp. 247-264.

Laird, J., Manzonetto, G. and McCusker, G., 2011. Constructing differential categories and deconstructing categories of games. 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. Other. 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 $i$-calculus. In: Proceedings of the 13th Australian Software Engineering Conference (ASWEC'01), 2001-08-01, Canberra.

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.

Larkin, J., 2006. Implementation of chaffing and winnowing: Providing confidentiality without encryption. Other. 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. 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, 1995-09-01. 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, Valencia. Berlin: 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, Paris. 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, Paris. The International Foundation for Autonomous Agents and Multiagent Systems, pp. 1581-1582.

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

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

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.

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., Thorman, M., Waterson, T., Williams, C. and Willis, P., 2013. Rod constraints for simplified ragdolls. In: Symposium on Computer Animation 2013, 2013-07-19, Anaheim, California. 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., 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, London.

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

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. Piscataway, NJ: IEEE, pp. 109-117.

Li, H., 2007. The analysis and implementation of the AKS algorithm and its improvement algorithms. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-09)

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

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, Miyazaki. 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, Rome. 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. CEUR Workshop Proceedings, 1105.

Li, T., De Vos, M., Padget, J., Satoh, K. and Balke, T., 2015. Debugging ASP using ILP. CEUR.

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

Lillehagen, T., 2011. Compilation and Automatic Parallelisation of Functional Code for Data-Parallel Architectures. Other. 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, Barcelona.

Longridge, T. N., 2005. Developing an XCS Framework. Other. 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: MobiSys 2012: The Tenth International Conference on Mobile Systems, Applications, and Services, 2012-06-24 - 2012-06-28, Low Wood Bay, Lake District. 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: RecSys Workshop on Personalizing the Local Mobile Experience, 2012-09-13 - 2012-09-13, Dublin. 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: 2011 AAAI Workshop, August 7, 2011 - August 8, 2011, 2011-08-01, San Francisco, CA. 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, University of Bonn.

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, Cambridge. New York, U. S. A.: ACM, pp. 229-230.

Lovett, T., Gabe-Thomas, E., Natarajan, S., O'neill, E. and Padget, J., 2013. 'Just enough' sensing to ENLITEN:A preliminary demonstration of sensing strategy for the 'ENergy LIteracy Through an intelligent home ENergy advisor' (ENLITEN) project. In: 4th ACM International Conference on Future Energy Systems, e-Energy 2013, 2013-05-21 - 2013-05-24, Berkeley, CA. New York: ACM, pp. 279-280.

Lovett, T. and O'Neill, E., 2010. Mobile context-awareness: capabilities, challenges and applications. In: 12th ACM International Conference on Ubiquitous Computing (UbiComp’10), 2010-09-26 - 2010-09-29, Copenhagen. 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, UK.

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

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. Proceedings of Conference on Autonomous Agents and Multi-Agent Systems, 2005-01-01.

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: AAMAS, 2005-01-01.

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

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

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. 12th European Conference on Computer Vision,2012, 2012-10-07 - 2012-10-13, Florence. Berlin, Germany: Springer, pp. 71-84. (Lecture Notes in Computer Science; 7574)

MacFarlane, T., 2013. Extracting Semantics from the Enron Corpus. Other. 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. Berlin, Germany: Springer, pp. 187-194. (Lecture Notes in Computer Science; 2969)

Mahmud, J., 2006. Grammar based modeling and generation of Tabla compositions. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-09)

Mankin, B., 2005. The formalisation of authorisation systems. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-13)

Marshall, A., 2007. Agent-based simulation of organisational learning. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-11)

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 Mathematical Foundations of Programming Languages, 2004-03-01. 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., 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. 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.

Merrall, S. and Padget, J., 1993. Plurals: A SIMD extension to EuLisp. Lisp and Symbolic Computation, 6 (1/2), pp. 201-219.

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: 2010 7th IEEE Consumer Communications and Networking Conference, CCNC 2010, January 9, 2010 - January 12, 2010, 2010-01-01, Las Vegas, NV. 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. 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. Berlin, Geramny: Springer, pp. 55-67. (Lecture Notes in Computer Science; 2969)

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

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, Porto de Galinhas. 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)

Neives, 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. Vienna, Austria: Springer, pp. 85-115.

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

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

Nickles, M., Rovatsos, M. and Weiss, G., 2003. A schema for specifying computational autonomy. (Lecture Notes in Artificial Intelligence)

Nickles, M., Rovatsos, M. and Weiss, G., 2005. Formulating agent communication semantics and pragmatics as behavioral expectations. (Lecture Notes in Computer Science)

Nickles, M. and Weiss, G., 2003. A framework for the social description of resources in open environments. (Lecture Notes in Artificial Intelligence)

Nickles, M. and Weiss, G., 2004. Agent-based social assessment of shared resources. (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. 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. 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, New York, New York.

Nickles, M. and Sottara, D., 2009. Approaches to uncertain or imprecise rules: a survey. Springer, pp. 323-336. (Lecture Notes in Computer Science)

Nishizawa, K. and Power, J., 2009. Lawvere theories enriched over a general base. Journal of Pure and Applied Algebra, 213 (3), pp. 377-386.

Noriega, P., Padget, J., Verhagen, H. and D’Inverno, M., 2015. Towards a framework for socio-cognitive technical systems. In: Ghose, A., Oren, N., Telang, P. and Thangarajah, J., eds. 10th International Conference on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2014, 2016-05-06 - 2016-05-06, Paris. Switerland: Springer, pp. 164-181. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9372)

Norman, A. and Fitch, J., 1997. CABAL: Polynomial and power series algebra on a parallel computer. In: Hitz, M. and Kaltofen, E., eds. Proceedings PASCO'97, 1997-07-01. New York: ACM, pp. 196-203.

Norman, A. and Fitch, J., 1996. Interfacing REDUCE to Java. In: Calmet, J. and Limongelli, C., eds. International Symposium on the Design and Implementation of Symbolic Computation Systems (DISCO-96), 1996-09-18 - 1996-09-20, Karlsruhe.

Norman, A. and Fitch, J. P., 1996. Memory Tracing of Algebraic Calculations. In: Lakshman, Y. N., ed. Proceedings of the 1996 International Symposium on Synbolic and Algebraic Computation, 1996-07-01. New York: ACM, pp. 113-119. (ISSAC)

Nosseir, A., Hourizi, R., Middup, C., Nemetz, F. and Johnson, P., 2008. Towards autonomous systems that collaborate. In: Third Systems Engineering for Autonomous Systems Defence Technology Centre (SEAS DTC) Technical Conference, 2008-06-24 - 2008-06-25, Edinburgh.

Novelli, V., De Vos, M., Padget, J. and D'Ayala, D., 2012. LOG-IDEAH:ASP for architectonic asset preservation. In: Dovier, A. and Santos Costa, V., eds. 28th International Conference on Logic Programming, 2012-09-04 - 2012-09-08, Budapest. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 393-403. (Leibniz International Proceedings in Informatics (LIPIcs); 17)

Novikova, J., Gaudl, S. and Bryson, J., 2014. Emotionally driven robot control architecture for human-robot interaction. Berlin, Germany: Springer, pp. 261-263. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8069)

Novikova, J., Ren, G. and Watts, L., 2015. It’s not the way you look, it’s how you move:validating a general scheme for robot affective behaviour. In: 15th IFIP TC.13 International Conference on Human-Computer Interaction - INTERACT 2015, 2015-09-14 - 2015-09-18, Bamberg. Item availability may be restricted.

Novikova, J. and Watts, L. A., 2014. A design model of emotional body expressions in non-humanoid robots. In: The Second International Conference on Human-Agent Interaction (HAI 2014), 2014-10-28 - 2014-10-31, Tsukuba. ACM, pp. 353-360.

Novikova, J., Watts, L. and Bryson, J. J., 2014. The role of emotions in inter-action selection. Interaction Studies, 15 (2), pp. 216-223.

Novikova, J., Watts, L. and Inamura, T., 2015. Emotionally Expressive Robot Behavior Improves Human-Robot Collaboration. In: IEEE RO-MAN 2015, 2015-08-31 - 2015-09-04, Kobe.

Novikova, J., Watts, L. and Inamura, T., 2015. Modeling Human-Robot Collaboration in a Simulated Environment. In: 10th ACM/IEEE International Conference on Human-Robot Interaction; HRI2015, 2015-03-02 - 2015-03-05, Portland.

Nuckols, M.L., Kolaczkowski, S.T., Awdry, S., Le, C., Smith, T. and Thomas, D., 2013. An alternative method to remove carbon dioxide from submersible environments. In: Underwater Intervation Conference 2012, 2012-01-24 - 2012-01-26, New Orleans, LA. Curran Associates, pp. 316-324.

O'Dwyer, C. and Richardson, D., 2005. Spiking neural nets with symbolic internal state. Information Processing Letters, 95 (6), pp. 529-536.

O'Neill, E., Kaenampornpan, M., Kostakos, V., Warr, A. and Woodgate, D., 2006. Can we do without GUIs? Gesture and speech interaction with a patient information system. Personal and Ubiquitous Computing, 10 (5), pp. 269-283.

O'Neill, E., 2012. Improving Mobile Services. University of Bath.

O'Neill, E., 1996. Task model support for co-operative analysis. New York, USA: ACM, pp. 259-260.

O'Neill, E., 2011. The future is a foreign country: we'll do things differently there. IEEE Internet Computing, 15 (2), pp. 82-85.

O'Neill, E., Collomosse, J., Jay, T., Yousef, K., Rieser, M. and Jones, S., 2010. Older user experience: an evaluation with a location-based mobile multimedia service. IEEE Vehicular Technology Magazine, 5 (1), pp. 31-38.

O'Neill, E. and Johnson, P., 2004. Participatory task modelling: users and developers modelling users' tasks and domains. In: Proceedings of the 3rd Annual Conference on Task Models and Diagrams (TAMODIA 2004), 2004-11-15 - 2004-11-16, Prague.

O'Neill, E. and Johnson, P., 1999. Task knowledge structures and the design of collaborative systems. Other. Association for the Advancement of Artificial Intelligence (AAAI).

O'Neill, E., Johnson, P. and Johnson, H., 2001. Participatory analysis: modelling users, tasks and domains. In: 8th IFIP TC.13 Conference on Human-Computer Interaction, 2001-07-09 - 2001-07-13, Tokyo.

O'Neill, E., Johnson, P. and Johnson, H., 1997. Representations in cooperative software development:an initial framework. In: International Workshop on Representations in Interactive Software Development, 1997-07-02 - 1997-07-03, London. London, UK: Queen Mary and Westfield College. Department of Computer Science.

O'Neill, E., Kostakos, V., Kindberg, T., Schiek, A. F. G., Penn, A., Fraser, D. S. and Jones, T., 2006. Instrumenting the city: developing methods for observing and understanding the digital cityscape. Springer, pp. 315-332. (Lecture Notes in Computer Science)

O'Neill, E., Thompson, P., Garzonis, S. and Warr, A., 2007. Reach out and touch: using NFC and 2D barcodes for service discovery and interaction with mobile devices. In: LaMarca, A., Langheinrich, M. and Truong, K., eds. Pervasive Computing, 2007-05-01, Toronto. Springer, pp. 19-36. (Lecture Notes in Computer Science)

O'Neill, E., Woodgate, D. and Kostakos, V., 2004. Easing the wait in the Emergency Room:building a theory of public information systems. In: Proceedings of the 2004 conference on Designing interactive systems: processes, practices, methods, and techniques, 2004-08-01, Boston.

O'Neill, E., Woodgate, D., Johnson, H. and Johnson, P., 2002. Designing interaction spaces to support successful participation and collaboration. In: Faulkner, X., Finlay, J. and Détienne, F., eds. HCI 2002: memorable yet invisible, 2002-09-01, London. London, U. K.: Springer, pp. 158-161. (BCS Conference Series)

Oleinik, E., 2004. Development of an OpenMath-based unit converter to demonstrate the benefits of the. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-12)

Pacheco, O., 2004. Autonomy in an organizational context. Berlin, Germany: Springer, pp. 195-208. (Lecture Notes in Computer Science; 2969)

Padget, J., 2005. E-government and E-democracy in Latin America. IEEE Intelligent Systems, 20 Jan-Feb (1), pp. 94-96.

Padget, J., 2013. Situating COIN in the cloud (Invited Paper). In: 14th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems VIII (COIN 2012), 2012-06-05 - 2012-06-05, Valencia. Springer, pp. 1-16. (Lecture Notes in Computer Science)

Padget, J., Batey, D. and Merrall, S., 1993. Architecture independence and coordination. Springer, pp. 287-299. (Lecture Notes in Computer Science)

Padget, J. and Fitch, J., 1985. The rationale of LIER: A considered LISP. Philadelphia PA, USA: Word Scientific Publishing Company, pp. 41-53. (Series in Computer Science)

Padget, J., Neira, R. and Díaz de León, J. L., 2004. e-Government and e-Democracy: Progress and Challenges. Instituto Politécnico Nactional.

Padget, J., Nuyens, G. and Bretthauer, H., 1993. An overview of EuLisp. Lisp and Symbolic Computation, 6 (1-2), pp. 9-97.

Padget, J. A., 2005. AgentcitiesUK.net Challenge Day 1: e-Health. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-08)

Padget, J. A., 2005. AgentcitiesUK.net Challenge Day 2: e-Government and e-Democracy. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-09)

Padget, J., Bradford, R. and ffitch, J., 1991. Concurrent object-oriented programming in LISP. The Computer Journal, 34 (4), pp. 311-319.

Padget, J., 2001. Modelling simple market structures in process algebras with locations. Artificial Intelligence and Simulation of Behaviour Journal, 1, pp. 87-108.

Padget, J., 2001. Modelling simple market structures in process algebras with locations. In: Luc, M., ed. AISB'01 Symposium on Software Mobility and Adaptive Behaviour, 2001-01-01.

Padget, J., Elakehal, E. E., Satoh, K. and Ishikawa, F., 2014. On requirements representation and reasoning using answer set programming. In: 2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, AIRE 2014 - Proceedings, 2014-08-26 - 2014-08-26, Karlskrona. IEEE, pp. 35-42.

Padget, J., Parkes, D., Sadeh, N., Shehory, O. and Walsh, W., 2002. Agent-Mediated Electronic Commerce IV. Springer. (Lecture Notes in Artificial Intelligence)

Padget, J. and Rana, O., 2006. Mathematical Service Discovery. In: Gaffney, P., ed. Proceedings of IFIP 2.5 Working Group Meeting (Prescott, AZ), 2006-01-01.

Padget, J., Riat, H., Forchhammer, B., Warnier, M., Brazier, F. M. T. and Natarajan, S., 2011. An agent-based infrastructure for energy profile capture and management. In: 2011 International Conference on Networking, Sensing and Control, ICNSC 2011, 2011-04-11 - 2011-04-13, Delft.

Padget, J., Riat, H., Warnier, M., Brazier, F. and Natarajan, S., 2010. An agent-based infrastructure for energy profile capture and management. In: Agent Technologies for Energy Systems (ATES 2010), 2010-05-11, Toronto.

Padget, J. and Vasconcelos, W., 2015. Policy-Carrying Data:A Step Towards Transparent Data Sharing. In: The 6th International Conference on Ambient Systems, Networks and Technologies, 2015-06-02 - 2015-06-05, London.

Padget, J. A. and Fitch, J. P., 1985. Closurize and Concentrate. In: Proceedings of POPL 85, New Orleans, 1985-01-01. New York: ACM, pp. 255-265.

Palmer, F., Fatah gen Schieck, A. and O'Neill, E., 2010. Bluetooth enabled performative interactions in public spaces. In: Designing for Performative Interactions in Public Spaces (UbiComp 2010), 2010-09-26 - 2010-09-29, Copenhagen.

Palmer, F. and O'Neill, E., 2010. Interpreting technology-mediated identity: Perception of social intention and meaning in Bluetooth names. In: OZCHI '10 (22nd Annual Conference of the Australian Computer-Human Interaction Special Interest Group (CHISIG)), 2010-11-22 - 2010-11-26, Brisbane.

Palmer, F. and O'Neill, E., 2010. Interpreting technology-mediated identity: perception of social intention and meaning in Bluetooth name. In: 22nd Annual Conference of the Computer-Human Interaction Special Interest Group (CHISIG) of Australia on Computer-Human Interaction: Design - Interaction - Participation, OZCHI 2010, November 22, 2010 - November 26, 2010, 2010-01-01, Brisbane, QLD. New York: Association for Computing Machinery (ACM), pp. 232-239. (ACM International Conference Proceeding Series)

Pan, J. J., Yang, X. S., Xie, X., Willis, P. and Zhang, J. J., 2009. Automatic rigging for animation characters with 3D silhouette. Computer Animation and Virtual Worlds, 20 (2-3), pp. 121-131.

Panteli, N., Marder, B., Davenport, J.H. and Nemetz, F., 2014. Travelling through facebook:Exploring affordances through the Lens of age. In: ECIS 2014 Proceedings - 22nd European Conference on Information Systems, 2014-06-09 - 2014-06-11, Tel Aviv.

Parry, L., 2004. A scripted sample-based music system for game environments using .NET. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-14)

Partington, S. J., 2005. A critical analysis of Behaviour-Oriented Design (BOD), based on experiences in using it to create an Unreal Tournament Capture-the-Flag (CTF) team. Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2005-05)

Partington, S. J. and Bryson, J. J., 2005. The Behavior oriented design of an unreal tournament character. Springer, pp. 466-477. (Lecture Notes in Artificial Intelligence)

Pastor, D. J. and Padget, J., 2003. Towards c HarmonmIA.

Patel, M., 1995. Colouration issues in computer generated facial animation. Computer Graphics Forum, 14 (2), pp. 117-126.

Patel, M., 1991. Making FACES: The Facial Animation, Construction and Editing System. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Paton, C., 2004. Development of a message oriented interaction layer for agent communication. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-11)

Patterson, J. W., Taylor, C. D. and Willis, P. J., 2009. Reconstructing vectorised photographic images. In: 6th European Conference for Visual Media Production, CVMP 2009, November 12, 2009 - November 13, 2009, 2010-03-15, London. IEEE Computer Society, pp. 15-24.

Patterson, J. W. and Willis, P., 1994. Computer assisted animation: 2D or not 2D? The Computer Journal, 37 (10), pp. 829-839.

Patterson, J. W., Taylor, C. D. and Willis, P. J., 2012. Constructing and rendering vectorised photographic images. The Journal of Virtual Reality and Broadcasting, 9 (3), urn:nbn:de:0009-6-32713.

Payne, S. and Duggan, G. B., 2008. Accumulation versus accomplishment as organizing structures for human activity. In: The Third International Conference on Cognitive Science, 2008-06-01, Moscow, Russia.

Payne, S. and Neth, H., 2011. Interactive coin addition: How hands can help us think. Austin, TX: Cognitive Science Society, pp. 279-284.

Payne, S. J. and Duggan, G. B., 2011. Giving up problem solving. Memory & Cognition, 39 (5), pp. 902-913.

Payne, S. J., Duggan, G. B. and Neth, H., 2007. Discretionary task interleaving: heuristics for time allocation in cognitive foraging. Journal of Experimental Psychology: General, 136 (3), pp. 370-388.

Pearce, P. D. and Fitch, J. P., 1989. Dynamic program improvement. In: Davenport, J. H., ed. Proceedings of EUROCAL87, Leipzig, 1989-01-01. Heidelberg: Springer, pp. 202-203. (Lecture Notes on Computer Science)

Pearcy, R. C., 2007. Advanced Golf Tutor. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-15)

Peng, C.-H., Yang, Y.-L. and Wonka, P., 2014. Computing layouts with deformable templates. ACM Transactions on Graphics, 33 (4), 99:1-99:11.

Perryman, D. G., 2006. Generating English language based On formal grammars. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-08)

Phisanbut, N., 2011. Practical simplification of elementary functions using CAD. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Pickup, D., Li, C., Cosker, D., Hall, P. and Willis, P., 2011. Reconstructing mass-conserved water surfaces using shape from shading and optical flow. In: 10th Asian Conference on Computer Vision, ACCV 2010, November 8, 2010 - November 12, 2010, 2011-01-01, Queenstown. Heidelberg: Springer, pp. 189-201.

Pickup, D. L., 2013. Example-Based Water Animation. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Pieters, W., Padget, J., Dechesne, F., Dignum, V. and Aldewereld, H., 2013. Obligations to enforce prohibitions:On the adequacy of security policies. In: 6th International Conference on Security of Information and Networks (SIN 2013), 2013-11-26 - 2013-11-28, Aksaray. New York, NY, USA: ACM, pp. 54-61.

Pieters, W., Padget, J., Dechesne, F., Dignum, V. and Aldewereld, H., 2015. Effectiveness of qualitative and quantitative security obligations. Journal of Information Security and Applications, 22, pp. 3-16.

Plotkin, G. and Power, J., 2004. Computational Effects and Operations: An Overview. Electronic Notes in Theoretical Computer Science, 73, pp. 149-163.

Plotkin, G. and Power, J., 2001. Semantics for Algebraic Operations. Electronic Notes in Theoretical Computer Science, 45, pp. 332-345.

Plotkin, G. and Power, J., 2008. Tensors of comodels and models for operational semantics. Electronic Notes in Theoretical Computer Science, 218, pp. 295-311.

Plotkin, G. and Power, J., 2001. Adequacy for algebraic effects. Berlin: Springer, pp. 1-24. (Lecture Notes in Comput. Sci.)

Plotkin, G. and Power, J., 2003. Algebraic operations and generic effects. Applied Categorical Structures, 11 (1), pp. 69-94.

Plotkin, G. and Power, J., 2002. Notions of computation determine monads. Berlin: Springer, pp. 342-356. (Lecture Notes in Computer Science)

Plotkin, G., Power, J., Sannella, D. and Tennent, R., 2002. Lax Logical Relations. (Lecture Notes in Computer Science)

Porteous, A., 2005. An investigation into the use of Genetic Algorithms for the automated solution of Jigsaw Puzzles. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports)

Pottmann, H., Huang, Q.-X., Yang, Y. and Hu, S.-M., 2006. Geometry and convergence analysis of algorithms for registration of 3D shapes. International Journal of Computer Vision, 67 (3), pp. 277-296.

Pottmann, H., Wallner, J., Huang, Q.-X. and Yang, Y.-L., 2009. Integral invariants for robust geometry processing. Computer Aided Geometric Design, 26 (1), pp. 37-60.

Pottmann, H., Wallner, J., Yang, Y.-L., Lai, Y.-K. and Hu, S.-M., 2007. Principal curvatures from the integral invariant viewpoint. Computer Aided Geometric Design, 24 (8-9), pp. 428-442.

Pourroostaei Ardakani, S., 2014. Wireless Sensor Network Routing Protocols for Data Aggregation. Thesis (Doctor of Philosophy (PhD)). University of Bath. Item availability may be restricted.

Pourroostaei Ardakani, S., Padget, J. and De Vos, M., 2014. HRTS: A Hierarchical Reactive Time Synchronization Protocol for Wireless Sensor Networks. Springer, pp. 47-62. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)

Power, A. J. and Tanaka, M., 2006. Pseudo-distributive laws and axiomatics for variable binding. Higher-Order and Symbolic Computation, 19 (2/3), pp. 305-337.

Power, A. J., Cattani, G. L. and Winskel, G., 2000. A representation result for free cocompletions. Journal of Pure and Applied Algebra, 151 (3), pp. 273-286.

Power, D. and Bradford, R., 1999. A library for parallel modular arithmetic. In: Amestoy, P., Berger, P., Dayde, M., Ruiz, D., Duff, I., Fraysse, V. and Girard, L., eds. 5th International Conference on Parallel Processing, 1999-08-31 - 1999-09-03, Toulouse. Berlin: Springer, pp. 1476-1483. (Lecture Notes in Computer Science; 1685)

Power, J., 2011. Unicity of Enrichment over Cat or Gpd. Applied Categorical Structures, 19 (1), pp. 293-299.

Power, J. and Tanaka, M., 2009. Axiomatics for Data Refinement in Call by Value Programming Languages. Electronic Notes in Theoretical Computer Science, 225, pp. 281-302.

Power, J., 2003. A universal embedding for the higher order structure of computational effects. Berlin: Springer, pp. 301-315. (Lecture Notes in Computer Science)

Power, J., 2007. Abstract Syntax: Substitution and Binders. Electronic Notes in Theoretical Computer Science, 173, pp. 3-16.

Power, J., 2004. Canonical models for computational effects. Berlin: Springer, pp. 438-452. (Lecture Notes in Comput. Sci.)

Power, J., 2006. Countable Lawvere Theories and Computational Effects. Electronic Notes in Theoretical Computer Science, 161, pp. 59-71.

Power, J., 2005. Discrete Lawvere theories. Berlin: Springer, pp. 348-363. (Lecture Notes in Comput. Sci.)

Power, J., 2006. Generic models for computational effects. Theoretical Computer Science, 364 (2), pp. 254-269.

Power, J., 2011. Indexed Lawvere theories for local state. Rhode Island: American Mathematical Society, pp. 213-229. (CRM Proceedings & Lecture Notes; 53)

Power, J., 2001. Models for the computational λ-calculus. Electronic Notes in Theoretical Computer Science, 40, pp. 288-301.

Power, J., 2002. Premonoidal categories as categories with algebraic structure. Theoretical Computer Science, 278 (1-2), pp. 303-321.

Power, J., 2006. Semantics for Local Computational Effects. Electronic Notes in Theoretical Computer Science, 158, pp. 355-371.

Power, J., 2007. Three dimensional monad theory. Providence, RI: Amer. Math. Soc., pp. 405-426. (Contemp. Math.)

Power, J., 2003. Towards a theory of mathematical operational semantics. Electronic Notes in Theoretical Computer Science, 82 (1), pp. 257-272.

Power, J. and Robinson, E., 2001. Logical Relations and Data Abstraction. Heidelberg: Springer, pp. 497-511.

Power, J. and Robinson, E., 2000. Logical relations, data abstraction, and structured fibrations. New York: ACM, pp. 15-23.

Power, J. and Rosolini, G., 2002. Fixpoint operators for domain equations. Theoretical Computer Science, 278 (1-2), pp. 323-333.

Power, J. and Shkaravska, O., 2004. From comodels to coalgebras: state and arrays. Electronic Notes in Theoretical Computer Science, 106, pp. 297-314.

Power, J. and Tanaka, M., 2008. Category Theoretic Semantics for Typed Binding Signatures with Recursion. Fundamenta Informaticae, 84 (2), pp. 221-240.

Power, J. and Tanaka, M., 2005. Binding signatures for generic contexts. Berlin: Springer, pp. 308-323. (Lecture Notes in Comput. Sci.)

Power, J. and Tourlas, K., 2001. An Algebraic Foundation for Graph-based Diagrams in Computing. Electronic Notes in Theoretical Computer Science, 45, pp. 346-357.

Power, J. and Tourlas, K., 2003. On the Geometric Modelling of Visual Languages. Electronic Notes in Theoretical Computer Science, 72 (3), pp. 1-12.

Power, J. and Tourlas, K., 2003. Abstraction in reasoning about higraph-based systems. Berlin: Springer, pp. 392-408. (Lecture Notes in Comput. Sci.)

Power, J. and Tourlas, K., 2001. An algebraic foundation for higraphs. Berlin: Springer, pp. 145-159. (Lecture Notes in Computer Science)

Power, J. and Watanabe, H., 2002. Combining a monad and a comonad. Theoretical Computer Science, 280 (1-2), pp. 137-162.

Power, J. and Wingfield, C., 2014. Preface. Electronic Notes in Theoretical Computer Science, 303, pp. 1-2.

Powers, S.T., Taylor, D. J. and Bryson, J. J., 2012. Punishment can promote defection in group-structured populations. Journal of Theoretical Biology, 311, pp. 107-116.

Prescott, T. J., Bryson, J. J. and Seth, A. K., 2007. Introduction. Modelling natural action selection. Philosophical Transactions of the Royal Society B - Biological Sciences, 362 (1485), pp. 1521-1529.

Price, M., 2008. Logical Aspects of Logical Frameworks. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2008-07)

Price, M., 2008. Logical aspects of logical frameworks. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Pym, D. and Tofts, C., 2006. A Calculus and Logic of Resources and Processes. Formal Aspects of Computing, 18 (4), pp. 495-517.

Pym, D. J., 2001. Notes towards a semantics for Proof-Search. In: ENTCS 37, 2001-01-01.

Pym, D. J., 2000. On the Geometry of Interaction for Classical Logic. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04) - Volume 00, 2004-07-01, Turku.

Pym, D. J., 2003. Semantic Foundations of Proof-search. Journal of Logic and Computation, 13 (5), pp. 634-638.

Pym, D. J., 2002. The Semantics and Proof Theory of the Logic of Bunched Implications. Kluwer Academic Publishers. (Applied Logic Series)

Pym, D. J. and Armelin, P., 2001. Bunched Logic Programming. In: IJCAR 2001, 2001-01-01.

Pym, D. J. and Collinson, M., 2006. Bunching for regions and locations. Electronic Notes in Theoretical Computer Science

Pym, D. J. and Harland, J., 2003. Resource-distribution via Boolean constraints. ACM Transactions on Computational Logic, 4 (1), pp. 56-90.

Pym, D. J., O'Hearn, P. W. and Yang, H., 2004. Possible worlds and resources: The semantics of BI. Theoretical Computer Science, 315 (1), pp. 257-305.

Pym, D. J. and Ritter, E., 2005. A games semantics for reductive logic and proof-search. In: ETAPS 05, 2005-04-01, Edinburgh.

Pym, D. J. and Ritter, E., 2001. On the semantics of classical disjunction. Journal of Pure and Applied Algebra, 159, pp. 315-338.

Pym, D. J. and Ritter, E., 2004. Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Clarendon Press.

Pym, D. J., Winikoff, M. and Harland, J., 2001. Forward and Backward Chaining in Linear Logic. In: ENTCS 37, 2001-01-01.

Pym, D. J. and Ritter, E., 2004. A semantics for reductive logic and proof-search. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-01)

Qi, M. and Willis, P. J., 2003. Quasi-3D Cel-based Animation. In: Vision, Video and Graphics 2003, 2003-07-10 - 2003-07-11, Bath.

Qi, M., Li, M. and Willis, P., 2008. Fast implementation of cel-based animation. In: 2008 International Conference on Advanced Infocomm Technology, ICAIT '08, July 29, 2008 - July 31, 2008, 2008-07-01, Shenzhen. Association for Computing Machinery (ACM).

Rackham, C., 2004. A student event management solution. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-07)

Ramallo Gonzalez, A., Brown, M. and Coley, D., 2015. Forthcoming. Identifying the Ideal Topology of Simple Models Used to Represent Dwellings. In: Buildign Simulation International Conference BS2015, 2015-12-11, Hyderabad.

Ramallo Gonzalez, A., Vellei, M., Brown, M. and Coley, D., 2015. Remote facade surveying. In: 6th International Building Physics Conference, 2015-06-14 - 2015-06-17, Torino.

Ramondt, L. and Watts, L. A., 2005. Sustainability through engagement: Contribution- and Progress- Oriented Strategies as Incentives for Participation. In: Workshop on "Sustaining Community - Incentive Mechanisms in Online Systems" at ACM Group 2005 Conference, 2005-11-01, Florida.

Raptis, G.E., Katsini, C.P. and Payne, S. J., 2013. VirDO: A virtual workspace for research documents. In: Aalberg, T., Papatheodorou, C., Dobreva, M., Tsakonas, G. and Farrugia, C. J., eds. International Conference on Theory and Practice of Digital Libraries, TPDL 2013, 2013-09-22 - 2013-09-26, Valletta. Berlin: Springer, pp. 470-473. (Lecture Notes in Computer Science; 8092)

Rauwolf, P., Balke, T. and De Vos, M., 2013. Modelling normative awareness:First considerations. In: Social Coordination: Principles, Artefacts and Theories, SOCIAL.PATH 2013,, 2013-04-03 - 2013-04-05, Exeter.

Ren, G., 2013. Designing for Effective Freehand Gestural Interaction. Thesis (Doctor of Philosophy (PhD)). Computer Science.

Ren, G. and O'Neill, E., 2013. 3D selection with freehand gesture. Computers & Graphics, 37 (3), pp. 101-120.

Ren, G. and O'Neill, E., 2013. Freehand gestural text entry for interactive TV. In: 11th European Conference on Interactive TV and Video, 2013-06-24 - 2013-06-26, Como. New York: ACM, pp. 121-129.

Ren, G., Hourizi, R. and O'Neill, E., 2015. Forthcoming. Situation Awareness and Home Energy Consumption Feedback. In: The 5th World Sustainability Forum, 2015, 2015-09-07 - 2015-09-09.

Ren, G. and O'Neill, E., 2012. 3D marking menu selection with freehand gestures. In: IEEE Symposium on 3D User Interfaces 2012, 2012-03-04 - 2012-03-05, California.

Rettinger, A., Nickles, M. and Tresp, V., 2007. Learning initial trust among interacting agents. (Lecture Notes in Artificial Intelligence)

Richardson, D. S. and Fitch, J. P., 1994. The Identity Problem for Elementary Functions and Constants. In: ISSAC'94, 1994-07-01. New York: ACM, pp. 285-290. (ISSAC)

Richardson, D., 2001. Multiplicative independence of algebraic numbers and expressions. Journal of Pure and Applied Algebra, 164 (1-2), pp. 231-245.

Richardson, D. and Carnell, A., 2005. Linear algebra for time series of spikes. European Symposium of Artificial Neural Networks (ESANN)

Richardson, D. S. and Langley, S., 2002. What can we do with a solution? Electronic Notes in Theoretical Computer Science, 66 (1), pp. 1-14.

Richardson, D. S. and Carnell, A., 2007. Parallel computation in spiking neural networks. Theoretical Computer Science, 386 (1-2), pp. 57-72.

Richardson, D., 2001. The uniformity conjecture. Berlin, Germany: Springer, pp. 253-272. (Lecture Notes in Computer Science; 2064)

Richardson, D. and El-Sonbaty, A., 2003. Use of algebraically independent numbers for zero recognition of polynomial terms. Journal of Complexity, 19 (5), pp. 631-637.

Richardson, D. and Elsonbaty, A., 2006. Counterexamples to the uniformity conjecture. Computational Geometry-Theory and Applications, 33 (1-2), pp. 58-64.

Richardson, D. and Langley, S., 2002. Some observations on familiar numbers. In: Mora, T., ed. ISSAC '02 International Symposium on Symbolic and Algebraic Computation, 2002-07-07 - 2002-07-10, Lille. New York, U. S. A.: ACM, pp. 214-220.

Richardson, D. S., 2007. Zero tests for constants in simple scientific computation. Mathematics in Computer Science, 1 (1), pp. 21-37.

Ridge, A., 2014. On the Design of End-user Service Composition Applications. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Ridge, A. and O'Neill, E., 2015. Establishing requirements for end-user service composition tools. Requirements Engineering, 20 (4), pp. 435-463.

Rigamonti, R., Brown, M. A. and Lepetit, V., 2011. Are sparse representations really relevant for image classification? In: IEEE Computer Vision and Pattern Recognition (CVPR) 2011, 2011-06-21 - 2011-06-25, Colorado Springs. IEEE, pp. 1545-1552.

Rigamonti, R., Lepetit, V., González, G., Türetken, E., Benmansour, F., Brown, M. and Fua, P., 2014. On the relevance of sparsity for image classification. Computer Vision and Image Understanding, 125, pp. 115-127.

Robinson, P., 2007. Multi-agent simulation of the dynamics of social exclusion in school choice. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-14)

Rodriguez, J. A., Noriega, P., Sierra, C. and Padget, J., 1997. A Java-based electronic auction house. In: 2nd International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM) '97, 1997-03-10 - 1997-03-10. Practical Application Company Ltd, pp. 207-224.

Rogers, Y., Payne, S. J. and Todd, P., 2010. Projecting instant information in situ: can it help us make more informed decisions? In: Ubiprojection 2010 (workshop in conjunction with Pervasive 2010), 2010-05-17, Helsinki.

Rohlfshagen, P. and Bryson, J. J., 2008. Improved Animal-Like Maintenance of Homeostatic Goals via Flexible Latching. In: Samsonovich, A. V., ed. Proceedings of the AAAI Fall Symposium on Biologically Inspired Cognitive Architectures, 2008-11-01. Arlington, VA: AAAI Press, pp. 153-160.

Rovatsos, M., Nickles, M. and Weiss, G., 2003. An empirical model of communication in multiagent systems. (Lecture Notes in Artificial Intelligence)

Rovatsos, M., Nickles, M. and Weiss, G., 2003. Interaction is meaning: a new model for communication in open systems. In: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, 2003-01-01, Melbourne.

Roy, M. F. and Vorobjov, N., 2002. The complexification and degree of a semi-algebraic set. Mathematische Zeitschrift, 239 (1), pp. 131-142.

Rüfenacht, D., Brown, M., Beutel, J. and Süsstrunk, S., 2014. Temporally consistent snow cover estimation from noisy, irregularly sampled measurements. In: 9th International Conference on Computer Vision Theory and Applications, VISAPP, 2014, 2014-01-05 - 2014-01-08, Lisbon.

Saunders, I., 2007. Call graphing in C. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-07)

Schanda, F., 2004. Visualisation of IPTABLES. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-10)

Schanda, F., 2012. A modular physics methodology for games. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Schanda, F. and Willis, P., 2010. A modular physical-simulation methodology. In: 7th Workshop on Virtual Reality Interactions and Physical Simulations, VRIPHYS 2010, 2010-11-11 - 2010-11-12, Copenhagen. Goslar: Eurographics Association, pp. 105-114.

Schillo, M. and Fischer, K., 2004. A taxonomy of autonomy in multiagent organisation. Berlin, Germany: Springer, pp. 68-82. (Lecture Notes in Computer Science; 2969)

Schindler, G., Brown, M. and Szeliski, R., 2007. City-Scale Location Recognition. In: CVPR '07: IEEE Conference on Computer Vision and Pattern Recognition, 2007, 2007-06-17 - 2007-06-22, Minneapolis.

Schindler, G., Zitnick, L. and Brown, M., 2008. Internet video category recognition. In: CVPRW '08: IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, 2008, 2008-06-23 - 2008-06-28, Anchorage.

Seth, A. K. and Bryson, J. J., 2013. Natural action selection, modeling. Thousand Oaks, CA: Sage.

Shams, Z., Vos, M. D. and Satoh, K., 2014. ArgPROLEG:A normative framework for the JUF theory. Springer, pp. 183-198. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8417)

Sharples, M., Collins, T., Feit, M., Gaved, M., Mulholland, P., Paxton, M. and Wright, M., 2011. A laboratory of knowledge-making for personal inquiry learning. In: 15th International Conference on Artificial Intelligence in Education, AIED 2011, June 28, 2011 - July 1, 2011, 2011-06-01, Auckland. Heidelberg: Springer, pp. 312-319. (Lecture Notes in Computer Science)

Shaw, A., 2006. Optimising the Java virtual machine instruction set. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-11)

Shen, P. and Willis, P., 2005. Texture Mapping Volume Objects. In: Int. Conference on Vision, Video and Graphics, 2005-01-01, Edinburgh.

Shen, P. Y., 2007. Semantic models for texturing volume objects. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-13)

Shen, P. and Willis, P., 2005. Texture for volume character animation. In: Proceedings of the 3rd international conference on Computer graphics and interactive techniques in Australasia and South East Asia, 2005-01-01, Dunedin.

Sheng, Y., Willis, P., Castro, G. G. and Ugail, H., 2008. PDE-based facial animation: Making the complex simple. In: Bebis, G., Boyle, R., Parvin, B., Koracin, D., Remagnino, P., Porikli, F., Peters, J., Klosowski, J., Arns, L., Chun, Y. K., Rhyne, T. M. and Monroe, L., eds. 4th International Symposium on Visual Computing, 2008-01-01, Las Vegas, NV. Berlin: Springer, pp. 723-732. (Lecture Notes in Computer Science)

Sheng, Y., Willis, P. J., Castro, G. G. and Ugail, H., 2011. Facial geometry parameterisation based on Partial Differential Equations. Mathematical and Computer Modelling, 54 (5-6), pp. 1536-1548.

Shi, L., Gopsill, J., Sinder, C., Jones, S., Newnes, L. and Culley, S., 2014. Towards identifying patterns in engineering documents to aid project planning. In: DESIGN 2014 13th International Design Conference, 2014-05-19 - 2014-05-22, Dubrovnik.

Shi, L., Newnes, L., Culley, S., Gopsill, J., Jones, S. and Snider, C., 2015. Identifying and Visualising KPIs for Collaborative Engineering Projects:a Knowledge Based Approach. In: ICED15, The 20th International Conference on Engineering Design, 2015, 2015-07-27 - 2015-07-31, Milan.

Shipp, V. E., 2006. Multimedia educational software to aid learning in pupils with reading difficulties. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-23)

Shipp, V. E. and Johnson, P., 2011. Supporting collaboration in the development of complex engineering software. In: 4th International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2011, Co-located with ICSE 2011, May 21, 2011 - May 21, 2011, 2011-01-01, Waikiki, Honolulu, HI. Piscataway, NJ: IEEE Computer Society, pp. 84-87. (Proceedings - International Conference on Software Engineering)

Shirazian, P., Wyvill, B. and Duprat, J.-L., 2012. Polygonization of implicit surfaces on multi-core architectures with SIMD instructions. Eurographics: European Association for Computer Graphics, pp. 89-98. (Eurographics Symposium on Parallel Graphics and Visualization)

Shugrina, M., Betke, M. and Collomosse, J. P., 2006. Empathic painting: interactive stylization through observed emotional state. In: Proceedings of the 4th international symposium on Non-photorealistic animation and rendering, 2006-01-01, Annecy.

Sloman, M., Thomas, M., Sparck-Jones, K., Crowcroft, J., Kwiatkowska, M., Garner, P., Jennings, N. R., Sassone, V., O'Neill, E., Wooldridge, M., Maple, C., Coulouris, G. and Chalmers, D., 2006. Discussion on Robin Milner's first Computer Journal Lecture: ubiquitous computing: shall we understand it? The Computer Journal, 49 (4), pp. 390-399.

Smith, M. J. and O'Neill, E., 1996. Beyond task analysis: exploiting task models in application implementation. New York, USA: ACM, pp. 263-264.

Snider, C., Jones, S., Gopsill, J., Shi, L. and Hicks, B. J., 2014. A Framework for the Development of Characteristics Signatures of Engineering Projects. In: DESIGN 2014: 13th International Design Conference, 2014-05-19 - 2014-05-22, Dubrovnik.

So, R. and Sonenberg, L., 2004. Agents with initiative:a preliminary report. (Lecture Notes in Computer Science; 2969)

Solodilova, I. and Johnson, P., 2004. Mind References in the Glass Cockpit: An Experimental Study. In: Proceedings of the HCI Aero 2004, 2004-09-01, Toulouse.

Solodilova-Whiteley, I., 2006. A design strategy for human-system integration in aerospace: Where to start and how to design information integration for dynamic, time and safety critical systems. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-12)

Solodilova-Whiteley, I. and Johnson, P., 2006. Uncovering the information needs in complex aerospace systems. Reliability Engineering and System Safety, 91 (12), pp. 1566-1575.

Song, Y. Z., Hall, P. M., Rosin, P. L. and Collomosse, J. P., 2008. Arty Shapes. In: Computational Aesthetics, 2008-06-01.

Song, Y. Z., Xiao, B., Hall, P. and Wang, L., 2011. In search of perceptually salient groupings. IEEE Transactions on Image Processing, 20 (4), pp. 935-947.

Song, Y.Z. and Town, C.P., 2005. Visual recognition of man-made materials and structures in an office environment. In: 2nd International Conference on Video, Vision and Graphics, VVG 2005, 2005-07-07 - 2005-07-08, Edinburgh. Aire-la-Ville: Eurographics: European Association for Computer Graphics, pp. 159-166.

Song, Y. Z., 2009. Hierarchical Image Descriptions for Classification and Painting. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Song, Y. Z. and Hall, P. M., 2008. Stable Image Descriptions Using Gestalt Principles. In: Bebis, G., ed. 4th International Symposium on Visual Computing, 2008-01-01, Las Vegas, NV. Berlin: Springer, pp. 318-327. (Lecture Notes in Computer Science)

Song, Y.-Z., Arbelaez, P., Hall, P., Li, C. and Balikai, A., 2010. Finding semantic structures in image hierarchies using Laplacian graph energy. In: Daniilidis, K., Maragos, P. and Paragios, N., eds. 11th European Conference on Computer Vision, ECCV 2010, September 5, 2010 - September 11, 2010, 2010-09-01, Heraklion, Crete. Berlin: Springer, pp. 694-707. (Lecture Notes in Computer Science; 6314)

Song, Y.-Z., Bowen, C. R., Kim, A. H., Nassehi, A., Padget, J. and Gathercole, N., 2014. Virtual visual sensors and their application in structural health monitoring. Structural Health Monitoring - An International Journal, 13 (3), pp. 251-264.

Song, Y.-Z., Bowen, C. R., Kim, H. A., Nassehi, A., Padget, J., Gathercole, N. and Dent, A., 2014. Non-invasive damage detection in beams using marker extraction and wavelets. Mechanical Systems and Signal Processing, 49 (1-2), pp. 13-23.

Song, Y.-Z., Bowen, C., Kim, H. A., Nassehi, A., Padget, J., Gathercore, N. and Dent, A., 2011. Non-invasive damage detection in composite beams using marker extraction and wavelets. Proceedings of SPIE - The International Society for Optical Engineering, 7983, 79830R.

Song, Y.-Z., Li, C., Wang, L., Hall, P. and Shen, P., 2012. Robust visual tracking using region hierarchy and graph matching. Neurocomputing, 89, pp. 12-20.

Song, Y.-Z., Pickup, D., Li, C., Rosin, P. and Hall, P., 2013. Abstract art by shape classification. IEEE Transactions on Visualization and Computer Graphics, 19 (8), pp. 1252-1263.

Soon, S., Pearce, A. and Noble, M., 2004. A teamwork coordination strategy using hierarchical role relationship matching. Berlin, Germany: Springer, pp. 249-260. (Lecture Notes in Computer Science; 2969)

Spackman, J. and Willis, P., 1991. The SMART navigation of a ray through an oct-tree. Computers & Graphics, 15 (2), pp. 185-194.

Srikulwong, M., 2012. Tactile Displays for Pedestrian Navigation. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Srikulwong, M. and O'Neill, E., 2011. A comparative study of tactile representation techniques for landmarks on a wearable device. In: 29th Annual CHI Conference on Human Factors in Computing Systems, CHI 2011, May 7, 2011 - May 12, 2011, 2011-01-01, Vancouver, BC. New York: Association for Computing Machinery (ACM), pp. 2029-2038. (Conference on Human Factors in Computing Systems - Proceedings)

Srikulwong, M. and O'Neill, E., 2010. A comparison of two wearable tactile interfaces with a complementary display in two orientations. In: 5th International Workshop on Haptic and Audio Interaction Design, HAID 2010, September 16, 2010 - September 17, 2010, 2010-09-01, Copenhagen. Springer, pp. 139-148. (Lecture Notes in Computer Science)

Srikulwong, M. and O'Neill, E., 2010. A direct experimental comparison of back array and waist-belt tactile interfaces for indicating direction. In: Workshop on Multimodal location based techniques for extreme navigation, Pervasive 2010, 2010-05-17 - 2010-05-20, Helsinki.

Srikulwong, M. and O'Neill, E., 2010. Tactile representation of landmark types for pedestrian navigation: user survey and experimental evaluation. In: Workshop on Using audio and haptics for delivering spatial information via mobile devices, Mobile HCI 2010, 2010-01-01, Lisbon.

Srikulwong, M. and O'Neill, E., 2011. Wearable tactile display of landmarks and directon for pedestrian navigation:A user survey and evaluation. International Journal of Mobile Human Computer Interaction (IJMHCI), 3 (3), pp. 31-49.

Stacey, A., 2004. An investigation of techniques for improving the performance of a Pittsburgh approach learning classifier system. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-09)

Staikopoulos, A., Cliffe, O., Popescu, R., Padget, J. and Clarke, S., 2010. Template-based adaptation of semantic web services with model-driven engineering. IEEE Transactions on Services Computing, 3 (2), pp. 116-130.

Staikopoulos, A., Saudrais, S., Clarke, S., Padget, J., Cliffe, O. and De Vos, M., 2008. Mutual Dynamic Adaptation of Models and Service Enactment in ALIVE. In: Models@Runtime workshop, Models 2008, 2008-09-01, Toulouse.

Straburger, L. and Guglielmi, A., 2011. A system of interaction and structure IV: The exponentials and decomposition. ACM Transactions on Computational Logic, 12 (4), 23.

Stratford, J., 2008. Creating an Extensible Unit Converter Using OpenMath as the Representation of the Semantics of the Units. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2008-02)

Stratford, J. and Davenport, J., 2008. Unit Knowledge Management. Berlin, Heidelberg: Springer, pp. 382-397. (Lecture Notes in Computer Science; 5144/2)

Stubbings, G., 2015. Investigating and Modelling Rationale Style Arguments. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Su, D. and Willis, P., 2004. Image interpolation by pixel-level data-dependent triangulation. Computer Graphics Forum, 23 (2), pp. 189-201.

Su, D. and Willis, P. J., 2003. Demosaicing of colour images using pixel level data-dependent triangulation. Theory and Practice of Computer Graphics, 2003. Proceedings

Sugihara, M., Wyvill, B. and Schmidt, R., 2010. WarpCurves:a tool for explicit manipulation of implicit surfaces. Computers & Graphics, 34 (3), pp. 282-291.

Sureshkumar, A., 2006. AnsProlog* Programming Environment (APE): Investigating software tools for answer set programming through the implementation of an integrated development environment. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-07)

Sureshkumar, A., De Vos, M., Brain, M. and Fitch, J., 2007. APE: an AnsProlog* environment. In: Software Engineering for Answer Set Programming: SEA'07: First International Workshop, 2007-05-14, Tempe, Arizona.

Sutton, P., 2010. Requirements for a feasibility assessment for Multi-Attribute Optimisation techniques: A system of systems Engineering approach. In: 2010 5th International Conference on System of Systems Engineering, SoSE 2010, June 22, 2010 - June 24, 2010, 2010-08-01, Loughborough. IEEE Computer Society.

Swafford, N. T., Boom, B. J., Subr, K., Sinclair, D., Cosker, D. and Mitchell, K., 2014. Dual sensor filtering for robust tracking of head-mounted displays. In: 20th ACM Symposium on Virtual Reality Software and Technology, VRST 2014, 2014-11-11 - 2014-11-13, Edinburgh. New York, U. S. A.: Association for Computing Machinery (ACM), pp. 221-222.

Sylwester, K., Herrmann, B. and Bryson, J., 2013. Homo homini lupus? Explaining antisocial punishment. Journal of Neuroscience, Psychology, and Economics, 6 (3), pp. 167-188.

Tanaka, M. and Power, J., 2006. A unified category-theoretic semantics for binding signatures in substructural logics. Journal of Logic and Computation, 16 (1), pp. 5-25.

Tanguy, E., Willis, P. and Bryson, J., 2003. A layered dynamic emotion representation for the creation of complex facial expressions. Berlin, Germany: Springer, pp. 101-105. (Lecture Notes in Artificial Intelligence)

Tanguy, E., Willis, P. and Bryson, J. J., 2004. The Role of Emotions in Modular Intelligent Control. AISB Quarterly, 117, pp. 1-6.

Tanguy, E., Willis, P. and Bryson, J., 2007. Emotions as Durative Dynamic State for Action Selection. In: 20th International Joint Conference on Artificial Intelligence (IJCAI), 2007-01-06 - 2007-01-12, Hyderabad.

Tanguy, E., Willis, P. J. and Bryson, J. J., 2006. A dynamic emotion representation model within a facial animation system. International Journal of Humanoid Robotics, 3 (3), pp. 293-300.

Tanguy, E. A. R., 2006. Emotions: The art of communication applied to virtual actors. Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-06)

Tanguy, E. A. R., Bryson, J. J. and Willis, P. J., 2005. A dynamic emotion representation model within a facial animation system. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-14)

Taylor, D., 2014. Evolution of the Social Contract. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Taylor, D. and Bryson, J.J., 2014. Replicators, lineages, and interactors. Behavioral and Brain Sciences, 37 (3), pp. 276-277.

Teney, D. and Piater, J., 2014. Multiview feature distributions for object detection and continuous pose estimation. Computer Vision and Image Understanding, 125, pp. 265-282.

Teney, D. and Brown, M., 2014. Segmentation of dynamic scenes with distributions of spatiotemporally oriented energies. In: 25th British Machine Vision Conference, BMVC 2014, 2014-09-01 - 2014-09-05, Nottingham.

Tett, G. J., 2004. Computer-based mathematics tuition in foundation stage education: A prototype solution. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-08)

Thompson, M., Battle, S. and Padget, J., 2015. Telling non-linear stories with interval temporal logic. In: Shoenau-Fog, H., Bruni, L. E., Louchart, S. and Baceviciute, S., eds. 8th International Conference on Interactive Digital Storytelling, ICIDS 2015, 2015-11-30 - 2015-12-04, Copenhagen. Switzerland: Springer, pp. 370-373. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9445)

Thompson, M., Padget, J. and Battle, S., 2015. Forthcoming. An interactive, generative Punch and Judy show using institutions, ASP and emotional agents. In: AISB Convention 2015, 2015-04-20 - 2015-04-22, Canterbury. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB).

Thoms, J., 2009. Human centric systems engineering. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Todd, P., Rogers, Y. and Payne, S., 2010. Nudging the cart in the supermarket: How much is enough information for food shoppers? In: NIMD'10 : First International Workshop on Nudge & Influence Through Mobile Devices, 2010-09-07, Lisbon.

Todd, P. M., Rogers, Y. and Payne, S. J., 2011. Nudging the trolley in the supermarket:How to deliver the right information to shoppers. International Journal of Mobile Human Computer Interaction (IJMHCI), 3 (2), pp. 20-34.

Traskas, D. and Padget, J., 2011. A multi-agent systems approach to call-centre management. International Journal of Parallel, Emergent and Distributed Systems, 26 (5), pp. 347-367.

Traskas, D. and Padget, J., 2009. Engineering agent organisations in a business environment. Springer, pp. 49-64. (Lecture Notes in Artificial Intelligence)

Traskas, D., Padget, J. and Tansley, J., 2011. A probabilistic mechanism for agent discovery and pairing using domain-specific data. 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, Lyon. Heidelberg: Springer, pp. 192-209. (Lecture Notes in Computer Science)

Turmukhambetov, D., Campbell, N., Prince, S. and Kautz, J., 2015. Modeling Object Appearance using Context-Conditioned Component Analysis. In: International Conference on Computer Vision and Pattern Recognition (CVPR), 2015-06-08 - 2015-06-10, Boston.

Turmukhambetov, D., Campbell, N. D. F., Goldman, D. B. and Kautz, J., 2015. Interactive sketch-driven image synthesis. Computer Graphics Forum, 34 (8), pp. 130-142.

Vaillant, R., Barthe, L., Guennebaud, G., Cani, M.-p., Rohmer, D., Wyvill, B., Gourmel, O. and Paulin, M., 2013. Implicit skinning:real-time skin deformation with contact modeling. ACM Transactions on Graphics, 32 (4), 125.

Van Dyke Parunak, H. and Brueckner, S. A., 2004. Dynamic imputation of agent cognition. (Lecture Notes in Computer Science; 2969)

Van Nieuwenborgh, D., De Vos, M., Heymans, S. and Vermeir, D., 2006. Hierarchical Decision Making in Multi-Agent Systems using Answer Set Programming. Heidelberg: Springer, pp. 20-40. (Lecture Notes in Artificial Intelligence)

Van Splunter, S., Brazier, F., Padget, J. and Rana, O., 2009. Dynamic service reconfiguration and enactment using an open matching architecture. In: 21st Benelux Conference on Artificial Intelligence, BNAIC 2009, 2009-10-29 - 2009-10-30, Eindhoven.

Van Splunter, S., Brazier, F., Padget, J. and Rana, O., 2009. Dynamic service reconfiguration and enactment using an open matching architecture. In: 1st International Conference on Agents and Artificial Intelligence, ICAART 2009, January 19, 2009 - January 21, 2009, 2009-01-01, Porto. Instrumentation Systems and Automation Society, pp. 533-539. (Proceedings of the 1st International Conference on Agents and Artificial Intelligence)

Vatsikas, S., Armour, S., Lewis, T. and De Vos, M., 2013. Distributed quality of service provision using coalitions and the nash bargaining solution. IET Communications, 7 (4), pp. 340-348.

Vatsikas, S., Armour, S., De Vos, M. and Lewis, T., 2011. A distributed algorithm for wireless resource allocation using coalitions and the Nash Bargaining Solution. In: 2011 IEEE 73rd Vehicular Technology Conference, VTC2011-Spring, May 15, 2011 - May 18, 2011, 2011-05-01, Budapest. Piscataway, NJ: IEEE. (IEEE Vehicular Technology Conference)

Vatsikas, S., Armour, S., De Vos, M. and Lewis, T., 2011. A fast and fair algorithm for distributed subcarrier allocation using coalitions and the Nash bargaining solution. In: Vehicular Technology Conference (VTC Fall), 2011 IEEE, 2011-09-05 - 2011-09-08.

Vazquez-Salceda, J., Cortes, U. and Padget, J., 2002. Integrating the organ and tissue allocation processes through an agent-mediated electronic institution. (Lecture Notes in Artificial Intelligence)

Vazquez-Salceda, J., Cortes, U., Padget, J., Lopez-Navidad, A. and Caballero, F., 2003. The organ allocation process: a natural extension of the Carrel Agent-Mediated Electronic Institution. AI Communications, 16 (3), pp. 153-165.

Vazquez-Salceda, J., Padget, J. A., Cortes, U., Lopez-Navidad, A. and Caballero, F., 2003. Formalizing an electronic institution for the distribution of human tissues. Artificial Intelligence in Medicine, 27 (3), pp. 233-258.

Vazquez-Salceda, J., Ceccaroni, L., Dignum, F., Vasconcelos, W., Padget, J., Clarke, S., Sergeant, P. and Nieuwenhuis, K., 2010. Combining organisational and coordination theory with model driven approaches to develop dynamic, flexible, distributed business systems. In: 1st International ICST Conference on Digital Business, DigiBiz 2009, June 17, 2009 - June 19, 2009, 2010-01-01, London. Heidelberg: Springer, pp. 175-184. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)

Vazquez-Salceda, J., Ulises, C., Lopez-Navidad, A., Cabellero, F. and Padget, J., 2002. The organ allocation process:a natural extension of the Carrel agent medi