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
Jump to: 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1985 | 1984 | 1983 | 1982 | 1981 | 1980 | 1979 | 1978 | 1977 | 1976 | 1975 | 1973 | 1972 | 1971 | 1970
Number of items at this level: 1781.

2016

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

Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. and Sturm, T., 2016. SC2:Satisfiability Checking meets Symbolic Computation (Project Paper). Springer International Publishing, pp. 28-43. (Lecture Notes in Artificial Intelligence; 9791)

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

Kelly, R., Gooch, D., Patil, B. and Watts, L., 2016. Forthcoming. Demanding by Design: Supporting Effortful Communication Practices in Close Personal Relationships. In: The 20th ACM Conference on Computer-Supported Cooperative Work and Social Computing, 2017-02-25 - 2017-03-01.

Kelly, R., Gooch, D. and Watts, L., 2016. Technology appropriation as discretionary effort in mediated close personal relationships. In: Collaborative Appropriation: How Couples, Teams, Groups and Communities Adapt and Adopt Technologies, 2016-02-27 - 2016-02-27, In conjunction with CSCW 2016.

Kelly, R., Watts, L. and Payne, S., 2016. Can visualization of contributions support fairness in collaboration? Findings from meters in an online game. In: The 19th ACM Conference on Computer-Supported Cooperative Work and Social Computing, 2016-02-27 - 2016-03-03, California.

Kim, K. I., 2016. Semi-supervised learning based on joint diffusion of graph functions and Laplacians. In: Liebe, B., Matas, J., Sebe, M. and Welling, M., eds. European Conference on Computer Vision 2016, 2016-10-08 - 2016-10-16. Switzerland: Springer Verlag, pp. 713-729. (Lecture Notes in Computer Science; 9909)

King, T. C., Li, T., De Vos, M., Jonker, C. M., Padget, J. and van Riemsdijk, M. B., 2016. Revising institutions governed by institutions for compliant regulations. In: Dignum, V., Noriega, P., Sensoy, M. and Simao Sichman, J., eds. International Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015, 2015-05-04 - 2015-05-04. Springer International Publishing, pp. 191-208. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9628)

Komendantskaya, E. and Power, J., 2016. Category theoretic semantics for theorem proving in logic programming: embracing the laxness. Springer, pp. 94-113. (Lecture Notes in Computer Science)

Komendantskaya, E., Power, J. and Schmidt, M., 2016. Coalgebraic logic programming:from semantics to implementation. Journal of Logic and Computation, 26 (2), 745 - 783.

Krishnan, S. B., Dhillon, J. S. and Lutteroth, C., 2016. Factors influencing consumer intention to adopt Consumer Health Informatics applications an empirical study in Malaysia. In: 2015 IEEE Student Conference on Research and Development (SCOReD), 2015-12-13 - 2015-12-14. IEEE, pp. 653-658.

Kuo, M.-H., Yang, Y. and Chu, H.-K., 2016. Feature-Aware Pixel Art Animation. Computer Graphics Forum, 35 (7), pp. 411-420. Item availability may be restricted.

Laird, J., 2016. Fixed points in quantitative semantics. In: Shankar, N., ed. 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, 2016-07-05 - 2016-07-08. New York, U. S. A.: ACM, pp. 347-356.

Laird, J., 2016. Game semantics for bounded polymorphism. In: Jacobs, B. and Loding, C., eds. 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, 2016-04-02 - 2016-04-08. The Netherlands: Springer Verlag, pp. 55-70. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9634) Item availability may be restricted.

Laird, J., 2016. Weighted relational models for mobility. In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, 2016-06-22 - 2016-06-26. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

Lewin, C., 2016. Constraint based simulation of soft and rigid bodies. Thesis (Doctor of Engineering (EngD)). University of Bath.

Li, C. L., Aivar, M. P., Kit, D. M., Tong, M. H. and Hayhoe, M. M., 2016. Memory and visual search in naturalistic 2D and 3D environments. Journal of Vision, 16 (8), 9.

Li, W., Viola, F., Starck, J., Brostow, G. J. and Campbell, N., 2016. Roto++: accelerating professional rotoscoping using shape manifolds. ACM Transactions on Graphics, 35 (4), 62.

Meka, A., Zollhöfer, M., Richardt, C. and Theobalt, C., 2016. Live Intrinsic Video. ACM Transactions on Graphics, 35 (4), 109.

Murphy, E., Davenport, J. and Crick, T., 2016. An Analysis of Introductory University Programming Courses in the UK. Working Paper. Bath: University of Bath.

Nguyen, H. M., Wünsche, B., Delmas, P., Lutteroth, C. and Zhang, E., 2016. A robust hybrid image-based modeling system. Visual Computer, 32 (5), pp. 625-640.

Padget, J., Elakehal, E., Li, T. and De Vos, M., 2016. InstAL: An Institutional Action Language. In: Social Coordination Frameworks for Social Technical Systems.Vol. 30. Springer Verlag, p. 101. (Law, Governance and Technology Series)

Peng, C.-H., Yang, Y., Bao, F., Fink, D., Yan, D.-M., Wonka, P. and Mitra, N., 2016. Computational network design from functional specifications. ACM Transactions on Graphics, 35 (4), 131.

Potter, R., Bradford, R., Murray, A. and Dolinsky, U., 2016. A C++ Programming Model for Heterogeneous System Architecture. Springer International Publishing, pp. 433-450. (Lecture Notes in Computer Science; 9945)

Power, A., 2016. Category Theoretic Semantics for Logic Programming:Laxness and Saturation. In: Workshop on Coalgbera, Horn Clause Logic Programming and Types, 2016-11-28 - 2016-11-29, International Centre for Mathematical Sciences.

Rauwolf, P., 2016. Understanding the Ubiquity of Self-Deception:The Evolutionary Utility of Incorrect Information. Thesis (Doctor of Philosophy (PhD)). University of Bath. Item availability may be restricted.

Rhodin, H., Richardt, C., Casas, D., Insafutinov, E., Shafiei, M., Seidel, H.-P., Schiele, B. and Theobalt, C., 2016. Forthcoming. EgoCap:egocentric marker-less motion capture with two fisheye cameras. ACM Transactions on Graphics

Rhodin, H., Robertini, N., Casas, D., Richardt, C., Seidel, H.-P. and Theobalt, C., 2016. General Automatic Human Shape and Motion Capture Using Volumetric Contour Cues. In: European Conference on Computer Vision 2016, 2016-10-08 - 2016-10-16.

Serra, J., Orvalho, V. and Cosker, D., 2016. Behavioural facial animation using motion graphs and mind maps. In: 9th International Conference on Motion in Games, MIG 2016, 2016-10-10 - 2016-10-12. New York, U. S. A.: Association for Computing Machinery, Inc, pp. 161-166.

Shams, Z., De Vos, M., Oren, N. and Padget, J., 2016. Normative practical reasoning via argumentation and dialogue. In: Kambhampati, S., ed. Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI), 2016. Palo Alto, U. S. A.: AAAI Press, pp. 1244-1250.

Shams, Z., Vos, M. D., Padget, J. and Vasconcelos, W., 2016. Implementation of normative practical reasoning with durative actions. Springer International Publishing, pp. 335-353. (Lecture Notes in Computer Science; 9628)

Shaw, L. A., Buckley, J., Corballis, P. M., Lutteroth, C. and Wünsche, B. C., 2016. Forthcoming. Competition and cooperation with virtual players in an exergame. PeerJ Computer Science, 2016 (10), e92.

Shaw, L. A., Tourrel, R., Wünsche, B. C., Lutteroth, C., Marks, S. and Buckley, J., 2016. Design of a virtual trainer for exergaming. In: Australasian Computer Science Week Multiconference (ASCW) ,2016, 2016-02-02 - 2016-02-15. New York, U. S. A.: ACM.

Shepherd, P., Edum-Fotwe, K., Brown, M., Harper, D. and Dinnis, R., 2016. QUALM:Quick, Unconstrained Approximate L-Shape Method. In: SIGGRAPH 2016, 2016-07-24 - 2016-07-28.

Smedley, R. M., Coulson, N. S., Gavin, J., Rodham, K. and Watts, L., 2016. Engagement in a newly launched online support community for complex regional pain syndrome:Membership growth, header analysis and introductory messages. International Journal of Web Based Communities, 12 (2), pp. 147-164.

Smith, T., Padget, J. and Vidler, A., 2016. Design Space Descriptions for Logical Generation of Content. IOS Press, pp. 209-214. (Frontiers in Artificial Intelligence and Applications; 284)

Swafford, N., Iglesias_Guitian, J. A., Koniaris, C., Moon, B., Cosker, D. and Mitchell, K., 2016. User, Metric, and Computational Evaluation of Foveated Rendering Methods. ACM, pp. 7-14.

Vellei, M., Natarajan, S., Biri, B., Padget, J. and Walker, I., 2016. The effect of real-time context-aware feedback on occupants' heating behaviour and thermal adaptation. Energy and Buildings, 123, pp. 179-191. Item availability may be restricted.

Visuri, A., Sarsenbayeva, Z., Goncalves, J., Karapanos, E. and Jones, S., 2016. Impact of Mood Changes on Application Selection. In: ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2016), 2016-09-12 - 2016-09-16, Heidelberg. ACM.

Vorobjov, N. and Gabrielov, A., 2016. Topological lower bounds for arithmetic networks. Computational Complexity Item availability may be restricted.

Zhang, Y., Wilcockson, T., Kim, K. I., Crawford, T., Gellersen, H. and Sawyer, P., 2016. Monitoring dementia with automatic eye movements analysis.

2015

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Huang, Z., England, M., Wilson, D., Davenport, J. H. 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.

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.

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

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.

Kelly, R., Gooch, D. and Watts, L., 2015. Is ‘additional’ effort always negative? Understanding discretionary work in interpersonal communications. In: 18th ACM Conference on Computer-Supported Cooperative Work and Social Computing, 2015-03-14 - 2015-03-18, BC.

Kelly, R. 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.

Kim, K. I., Tompkin, J., Pfister, H. and Theobalt, C., 2015. Context-guided diffusion for label propagation on graphs. In: 2015 IEEE International Conference on Computer Vision Workshop (ICCVW) Date of Conference:, 2015-12-07 - 2015-12-13. IEEE, pp. 2776-2784.

Kim, K. I., Tompkin, J., Pfister, H. and Theobalt, C., 2015. Local high-order regularization on data manifolds. IEEE, pp. 5473-5481.

Kim, K. I., Tompkin, J., Pfister, H. and Theobalt, C., 2015. Semi-supervised learning with explicit relationship regularization. IEEE, pp. 2188-2196.

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.

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

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.

Kwon, Y., Kim, K. I., Tompkin, J., Kim, J. H. and Theobalt, C., 2015. Efficient learning of image super-resolution and compression artifact removal with semi-local Gaussian processes. IEEE Transactions on Pattern Analysis and Machine Intelligence, 37 (9), pp. 1792-1805.

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

Lee, J., 2015. Norm Awareness for Virtual Characters Behaviour: A Socio-Cognitive Approach. Thesis (Doctor of Philosophy (PhD)). University of Bath.

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

Lutteroth, C., Penkar, A. M. and Weber, G., 2015. Gaze vs. Mouse:A Fast and Accurate Gaze-Only Click Alternative. New York, U. S. A.: ACM, pp. 385-394.

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.

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.

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.

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. Switerland: Springer, pp. 164-181. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9372)

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.

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

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

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.

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.

Potter, R., Keir, P., Bradford, R. J. and Murray, A., 2015. Kernel composition in SYCL. In: 3rd International Workshop on OpenCL, IWOCL 2015, 2015-05-12 - 2015-05-13. New York, U. S. A.: Association for Computing Machinery (ACM).

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.

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.

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

Rhodin, H., Robertini, N., Richardt, C., Seidel, H.-P. and Theobalt, C., 2015. A Versatile Scene Model with Differentiable Visibility Applied to Generative Pose Estimation. In: IEEE International Conference on Computer Vision (ICCV 2016), 2015-12-13.

Rhodin, H., Tompkin, J., Kim, K. I., de Aguiar, E., Pfister, H., Seidel, H.-P. and Theobalt, C., 2015. Generalizing wave gestures from sparse examples for real-time character control. ACM Transactions on Graphics, 34 (6), 181.

Richardt, C., Tompkin, J., Bai, J. and Theobalt, C., 2015. User-centric computational videography. In: ACM SIGGRAPH 2015, 2015-08-09 - 2015-08-13, Los Angeles International Convention Center.

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

Saunders, T., 2015. Image Motion Analysis using Inertial Sensors. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Shams, Z., 2015. An Argumentation-Based Approach to Normative Practical Reasoning. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Shams, Z., 2015. Normative practical reasoning:an argumentation-based approach. In: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015, 2015-07-25 - 2015-07-31. International Joint Conferences on Artificial Intelligence, pp. 4397-4398.

Shaw, L. A., Wünsche, B. C., Lutteroth, C., Marks, S. and Callies, R., 2015. Challenges in virtual reality exergame design. In: Marks, S. and Blagojevic, R., eds. 16th Australasian User Interface Conference (AUIC), 2015, 2015-01-27 - 2015-01-30. Australian Computer Society, pp. 61-68.

Shaw, L. A., Wünsche, B. C., Lutteroth, C., Marks, S., Buckley, J. and Corballis, P., 2015. Development and evaluation of an exercycle game using immersive technologies. In: Maeder, A. and Warren, J., eds. Australasian Workshop on Health Informatics and Knowledge Management (HIKM), 2015-01-14 - 2015-01-30. Australian Computer Society, pp. 75-85. (Conferences in Research and Practice in Information Technology; 164)

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.

Smith, T. and Padget, J., 2015. Semantic Descriptions for Logical Content Generation. In: Foundations of Digital Games 2015, 2015-06-22 - 2015-06-25, California.

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

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. 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. An interactive, generative Punch and Judy show using institutions, ASP and emotional agents. In: AISB Convention 2015, 2015-04-20 - 2015-04-22. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB).

Thompson, M., Padget, J. and Battle, S., 2015. Governing narrative events with institutional norms. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pp. 142-151. (OpenAccess Series in Informatics (OASIcs))

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. IEEE, pp. 4156-4164.

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.

Vellei, M., Natarajan, S., Biri, B., Padget, J. and Walker, I., 2015. The effect of real-time context-aware feedback on thermal comfort and heating energy use:A case study. In: 31th International PLEA Conference: ARCHITECTURE IN (R)EVOLUTION, 2015-09-09 - 2015-09-11.

Wang, Y., 2015. Contourlet-Based Multispectral Image Fusion Using Free Search Differential Evolution. In: 12th Biennal International Conference on Artificial Evolution, 2015-10-27 - 2015-10-29.

Wang, Y., 2015. Evolutionary Innovations and Dynamics in Wagner's Model of Genetic Regulatory Networks. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Wang, Y., Lan, Y., Weinreich, D., Priest, N. and Bryson, J., 2015. Recombination Is Surprisingly Constructive for Artificial Gene Regulatory Networks in the Context of Selection for Developmental Stability. In: The 13th European Conference on Artificial Life, 2015-07-20 - 2015-07-24.

Willey, S., Willis, P., Clifford, J. and Waine, T., 2015. Colour matching between stereo pairs of images. In: Jawahar, C. V. and Shan, S., eds. 12th Asian Conference on Computer Vision, ACCV 2014, 2014-11-01 - 2014-11-02. London, U. K.: Springer, pp. 289-298. (Lecture Notes in Computer Science; 9009)

Wilson, D. I. and Chew, J., 2015. Green cleaning. Food and Bioproducts Processing, 93, pp. 186-187.

Wrigglesworth, T. and Watts, L., 2015. An Exploratory Study of Sensemaking of Historical Information. In: 7th International Conference on Communities & Technologies, 2015-06-28 - 2015-06-30.

Wright, M. A. E., 2015. Supporting the Transfer of Learning of Freehand Gestures. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Wu, Q., 2015. Modelling Visual Objects Regardless of Depictive Style. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Yang, Y., Wang, J. and Mitra, N. J., 2015. Reforming Shapes for Material-aware Fabrication. Computer Graphics Forum, 34 (5), pp. 53-64.

Yu, R., Russell, C., Campbell, N. and Agapito, L., 2015. Direct, Dense, and Deformable:Template-Based Non-Rigid 3D Reconstruction from RGB Video. In: IEEE International Conference on Computer Vision (ICCV 2016), 2015-12-13.

ffitch, J. P., Lazzarini, V., Yi, S., Gogins, M. and Cabrera, A., 2015. The new developments in Csound 6. In: Dudas, R., ed. 41st International Computer Music Conference: Looking Back, Looking Forward, ICMC 2015, 2015-09-25 - 2015-10-01. International Computer Music Association, pp. 424-429.

2014

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.

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

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

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.

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

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

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

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

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

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

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

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.

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

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.

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

Das, A., 2014. On the pigeonhole and related principles in deep inference and monotone systems. In: Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014. ACM.

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

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

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.

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

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

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

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

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

England, M., 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.

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

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

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

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

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

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

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

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

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

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

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

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

Kaparelos, S., 2014. Extending Cachegrind:L2 cache inclusion and TLB measuring. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2014-01)

Kelly, R. and Payne, S. J., 2014. Collaborative web search in context:a study of tool use in everyday tasks. In: 2014 ACM Conference on Computer Supported Cooperative Work, 2014-02-15 - 2014-02-19, MD.

Kinoshita, Y. and Power, J., 2014. Category theoretic structure of setoids. Theoretical Computer Science, 546, pp. 145-163.

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.

Lazzarini, V., Costello, E., Yi, S. and ffitch, J. P., 2014. Csound on the Web.

Lazzarini, V., Costello, E., Yi, S. and ffitch, J. P., 2014. Development Tools for Ubiquitous Music on the World Wide Web. In: Keller, D., Lazzarini, V. and Pimenta, M. S., eds. Ubiquitous Music. Springer, pp. 111-128. (Computational Music Science)

Lee, J., Padget, J., Logan, B., Dybalova, D. and Alechina, N., 2014. N-Jason: Run-time norm compliance in AgentSpeak(L). In: Dalpiaz, F., Dix, J. and Birna van Riemsdiijk, M., eds. 2nd International Workshop on Engineering Multi-Agent Systems, EMAS 2014, 2014-05-05 - 2014-05-06. Springer, pp. 367-387. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8758)

Lee, J., Padget, J., Logan, B., Dybalova, D. and Alechina, N., 2014. Run-time norm compliance in BDI agents. In: 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014, 2014-05-05 - 2014-05-09. The International Foundation for Autonomous Agents and Multiagent Systems, pp. 1581-1582.

Li, C., Willis, P. J. and Brown, M., 2014. Appearance stylization of Manhattan world buildings. Computer Graphics Forum, 33 (1), pp. 15-26.

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., Padget, J. and Satoh, K., 2014. Legal conflict detection in interacting legal systems. In: 1st International Jurix Doctoral Consortium and Poster Sessions, JURIX-DoCoPe 2013, in Conjunction with the 26th International Conference on Legal Knowledge and Information Systems, JURIX 2013, 2013-12-11 - 2013-12-13.

Li, T., 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)

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)

Lovett, T., Gabe-Thomas, E., Natarajan, S., Brown, M. and Padget, J., 2014. Designing sensor sets for capturing energy events in buildings. In: 5th ACM International Conference on Future Energy Systems, e-Energy 2014, 2014-06-11 - 2014-06-13. New York, U. S. A.: ACM, pp. 229-230.

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.

McCullen, N., Walker, I., Natarajan, S. and Padget, J., 2014. Smart meter roll-out strategy and its effect on energy savings at community level. In: Behave Energy Conference, 2014-09-03 - 2014-09-04, Said Business School, University of Oxford.

Mehrabi, M., Lutteroth, C. and Wünsche, B. C., 2014. Effects of 3D display technologies on spatial memory. In: Mehrabi, M. and Marks, S., eds. 15th Australasian User Interface Conference (AUIC), 2014, 2014-01-20 - 2014-01-23. Darlinghurst, Australia: Australian Computer Society, pp. 91-92. (Conferences in Research and Practice in Information Technology; 150)

Naeem, M. A., Weber, G., Lutteroth, C. and Dobbie, G., 2014. Optimizing queue-based semi-stream joins with indexed master data. Springer India, pp. 171-182. (Lecture Notes in Computer Science; 8646)

Nguyen, H. M., Wünsche, B. C., Delmas, P., Lutteroth, C. and van der Mark, W., 2014. A Robust System for High-Quality Reconstruction of 3D Objects from Photographs. In: Hippe, Z. S., Kulikowski, J. L., Mroczek, T. and Wtorek, J., eds. Issues and Challenges in Artificial Intelligence. Springer International Publishing, pp. 3-15. (Studies in Computational Intelligence; 559)

Nguyen, H. M., Wünsche, B. C., Delmas, P. and Lutteroth, C., 2014. Identifying Low Confidence Mesh Regions: Uncertainty Measures and Segmentation. ACM, pp. 48-53.

Nguyen, H. M., Wünsche, B. C., Delmas, P. and Lutteroth, C., 2014. Poisson blended exemplar-based texture completion. Darlinghurst, Australia: ACM, pp. 99-104.

Novikova, J., Gaudl, S. and Bryson, J., 2014. Emotionally driven robot control architecture for human-robot interaction. In: Natraj, A., Cameron, S., Melhuish, C. and Witkowski, M., eds. Towards Autonomous Robotic Systems. 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. 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. 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.

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. IEEE, pp. 35-42.

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.

Peek, E., Wünsche, B. C. and Lutteroth, C., 2014. Image Warping for Enhancing Consumer Applications of Head-Mounted Displays. Australian Computer Society, pp. 47-55.

Peek, E., Wünsche, B. C. and Lutteroth, C., 2014. Using Integrated GPUs to Perform Image Warping for HMDs. New York, U. S. A.: ACM, pp. 172-177.

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.

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

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, J. and Wingfield, C., 2014. Preface. Electronic Notes in Theoretical Computer Science, 303, pp. 1-2.

Rhodin, H., Tompkin, J., Kim, K. I., Varanasi, K., Seidel, H.-P. and Theobalt, C., 2014. Interactive motion mapping for real-time character control. Computer Graphics Forum, 33 (2), pp. 273-282.

Richardt, C., Lopez-Moreno, J., Bousseau, A., Agrawala, M. and Drettakis, G., 2014. Vectorising Bitmaps into Semi-Transparent Gradient Layers. Computer Graphics Forum, 33 (4), pp. 11-19.

Richardt, C. and Roo, J. S., 2014. Temporally Coherent Video De-Anaglyph. In: ACM Special Interest Group on Computer Graphics and Interactive Techniques Conference, SIGGRAPH 2014, 2014-08-10 - 2014-08-14.

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

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.

Rüfenacht, D., Brown, M., Beutel, J. and Süsstrunk, S., 2014. Temporally consistent snow cover estimation from noisy, irregularly sampled measurements. In: VISAPP 2014 - Proceedings of the 9th International Conference on Computer Vision Theory and Applications.Vol. 2. , pp. 275-283.

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

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

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

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.

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. New York, U. S. A.: Association for Computing Machinery (ACM), pp. 221-222.

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.

Viopoulou, E., 2014. MSc Dissertation:An investigation of JavaScript isolation mechanisms: Sandboxing implementations. Department of Computer Science. (Department of Computer Science Technical Report Series; CSBU-2014-03)

Wang, Y., Matthews, S. and Bryson, J. J., 2014. Evolving Evolvability in the Context of Environmental Change: A Gene Regulatory Network (GRN) Approach. In: The 14th International Conference on the Synthesis and Simulation of Living Systems, 2014-07-30 - 2014-08-02, Javits Center.

Wang, Y. and Yin, J., 2014. Intelligent Search Optimized Edge Potential Function (EPF) Approach to Synthetic Aperture Radar (SAR) Scene Matching. In: The IEEE World Congress on Computational Intelligence 2014, 2014-07-06 - 2014-07-11, Beijing International Convention Center.

Wei, S., Ren, G. and O'Neill, E., 2014. Haptic and Audio Displays for Augmented Reality Tourism Applications. In: IEEE Haptics Symposium, HAPTICS. , pp. 485-488.

Wilson, D., Bradford, R., Davenport, J. H. and England, M., 2014. Cylindrical algebraic sub-decompositions. Mathematics in Computer Science, 8 (2), pp. 263-288.

Wilson, D., 2014. Advances in Cylindrical Algebraic Decomposition. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Wu, Q., Cai, H. and Hall, P., 2014. Learning graphs to model visual objects across different depictive styles. In: Fleet, D., Pajdla, T., Schiele, B. and Tuytelaars, T., eds. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).Vol. 8695. Springer, pp. 313-328.

Yi, S., Lazzarini, V., Dannenberg, R. and ffitch, J. P., 2014. Extending Aura with Csound opcodes. In: 40th International Computer Music Conference, ICMC 2014, Joint with the 11th Sound and Music Computing Conference, SMC 2014 - Music Technology Meets Philosophy: From Digital Echos to Virtual Ethos, 2014-09-14 - 2014-09-20.

2013

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.

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)

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

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

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

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

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

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

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.

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.

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

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

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

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

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

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

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.

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

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.

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.

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

England, M., 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.

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

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

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

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.

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

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.

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.

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

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

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

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

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.

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

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

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

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

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

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

Kelly, R., 2013. Fairness in the division and completion of collaborative work. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Kelly, R., 2013. Fairness in the division and completion of collaborative work. In: 2013 2nd ACM Conference on Computer Supported Cooperative Work Companion, CSCW 2013, 2013-02-23 - 2013-02-27. New York: ACM, pp. 65-68.

Kelly, R. and Payne, S., 2013. Division of labour in collaborative information seeking:Current approaches and future directions. In: The 3rd International Workshop on Collaborative Information Seeking, held at ACM CSCW 2013, 2013-02-23 - 2013-02-27, Texas.

Kenyon, J., 2013. Adapting a Video Game to do Psychological Experiments. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-09)

Kim, K. I., Tompkin, J. and Theobalt, C., 2013. Curvature-aware regularization on Riemannian submanifolds. In: 2013 IEEE International Conference on Computer Vision, 2013-12-01 - 2013-12-08. IEEE, pp. 881-888.

Koniaris, C., Cosker, D., Yang, X., Mitchell, K. and Matthews, I., 2013. Real-time content-aware texturing for deformable surfaces. In: ACM International Conference Proceeding Series. .

Laird, J. D., Manzonetto, G., Mccusker, G. and Pagani, M., 2013. Weighted relational models of typed Lambda-Calculi. In: 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013), 2013-06-25 - 2013-06-28. Los Alamitos, California: IEEE, pp. 301-310. (Annual IEEE/ACM Symposium on Logic in Computer Science (LICS))

Laird, J., 2013. Combining and Relating Control Operators and their Semantics. In: Control Operators and their Semantics.Vol. 127. Elsevier, pp. 113-129. (Electronic Proceedings in Theoretical Computer Science)

Laird, J., Manzonetto, G. and McCusker, G., 2013. Constructing differential categories and deconstructing categories of games. Information and Computation, 222, pp. 247-264.

Lee, J., Baines, V. and Padget, J., 2013. Decoupling cognitive agents and virtual environments. In: 1st International Workshop on Cognitive Agents for Virtual Environments, CAVE 2012, 2012-06-03 - 2012-06-03. Berlin, Germany: Springer, pp. 17-36. (Lecture Notes in Computer Science; 7764)

Lee, J., Li, T. and Padget, J., 2013. Towards polite virtual agents using social reasoning techniques. Computer Animation and Virtual Worlds, 24 (3-4), pp. 335-343.

Lee, J., 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.

Lenzen, F., Kim, K. I., Schäfer, H., Nair, R., Meister, S., Becker, F., Garbe, C. S. and Theobalt, C., 2013. Denoising strategies for time-of-flight data. In: Grzegorzek, M., Theobalt, C., Koch, R. and Kolb, A., eds. Time-of-Flight and Depth Imaging. Berlin, Germany: Springer Verlag, pp. 25-45. (Lecture Notes in COmputer Science)

Lewin, C., Thorman, M., Waterson, T., Williams, C. and Willis, P., 2013. Rod constraints for simplified ragdolls. In: Symposium on Computer Animation 2013, 2013-07-19. New York: ACM, pp. 79-84.

Li, C., Zhang, R., Wang, L., Bowyer, A., Eisenthal, R., Shen, Y. and Hubble, J., 2013. Purification of lysozyme by intrinsically shielded hydrogel beads. Modern Physics Letters B, 27 (19), 1341028.

Li, C.L., McMahon, C. and Newnes, L., 2013. Supporting multiple engineering viewpoints in computer-aided design using ontology-based annotations. In: Proceedings of the International Conference on Engineering Design, ICED.Vol. 6 DS75-06. , pp. 249-258.

Li, C., 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, T., 2013. Normative conflict detection and resolution in cooperating institutions. In: 23rd International Joint Conference on artificial Intelligence (IJCAI 2013), 2013-08-03 - 2013-08-09.

Li, T., Balke, T., De Vos, M., Satoh, K. and Padget, J. A., 2013. Detecting conflicts in legal systems. In: Motomura, Y., Butler, A. and Bekki, D., eds. 4th JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2012, 2012-11-30 - 2012-12-01. Berlin: Springer, pp. 174-189. (Lecture Notes in Computer Science; 7856)

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2013. A model-based approach to the automatic revision of secondary legislation. In: 14th International Conference on Artificial Intelligence and Law, ICAIL 2013, 2013-06-10 - 2013-06-14. NY, USA: ACM, pp. 202-206.

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2013. Legal conflict detection in interacting legal systems. Amsterdam, The Netherlands: IOS Press, pp. 107-116. (Legal Knowledge and Information Systems; 259)

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

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.

MacFarlane, T., 2013. Extracting Semantics from the Enron Corpus. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-08)

Mehrabi, M., Peek, E. M., Wuensche, B. C. and Lutteroth, C., 2013. Making 3D work:a classification of visual depth cues, 3D display technologies and their applications. Darlinghurst, Australia: Australian Computer Society, pp. 91-100.

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.

Naeem, M. A., Weber, G., Dobbie, G. and Lutteroth, C., 2013. A generic front-stage for semi-stream processing. New York, U. S. A.: ACM, pp. 769-774.

Naeem, M. A., Weber, G., Dobbie, G. and Lutteroth, C., 2013. SSCJ:a semi-stream cache join using a front-stage cache module. Berlin, Germany: Springer, pp. 236-247. (Lecture Notes in Computer Science; 8057)

Nascimento, A. S., Rubira, C. M. F., Burrows, R. and Castor, F., 2013. A model-driven infrastructure for developing product line architectures using CVL. In: 7th Brazilian Symposium on Software Components, Architectures and Reuse, SBCARs 2013, 2013-09-29 - 2013-10-04.

Nascimento, A., Rubira, C. M. F., Burrows, R. and Castor, F., 2013. A systematic review of design diversity-based solutions for fault-tolerant SOAs. In: EASE 2013: 17th International Conference on Evaluation and Assessment in Software Engineering, 2013-04-13 - 2013-04-15. New York: ACM, pp. 107-118.

Nguyen, H. M., Wünsche, B. C., Delmas, P. and Lutteroth, C., 2013. Parameter optimisation for texture completion. IEEE, pp. 226-230.

Nguyen, H. M., Wünsche, B., Delmas, P., Lutteroth, C., van der Mark, W. and Zhang, E., 2013. High-Definition Texture Reconstruction for 3D Image-based Modeling.

Nguyen, H. M., Wünsche, B., Lutteroth, C. and Delmas, P., 2013. A hybrid image-based modelling algorithm. Darlinghurst, Australia: Australian Computer Society, pp. 115-123.

Nguyen, H. M., Wünsche, B. C., Delmas, P., Lutteroth, C. and van der Mark, W., 2013. High resolution 3D content creation using unconstrained and uncalibrated cameras. IEEE, pp. 637-644.

Nguyen, M. H., Wünsche, B., Delmas, P. and Lutteroth, C., 2013. Modelling of 3D objects using unconstrained and uncalibrated images taken with a handheld camera. In: Csurka, G., Kraus, M., Mestetskiy, L., Richard, P. and Braz, J., eds. Computer Vision, Imaging and Computer Graphics. Theory and Applications. Berlin. Germany: Springer, pp. 86-101. (Communications in Computer and Information Science; 274)

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. Curran Associates, pp. 316-324.

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

Peek, E., Wünsche, B. and Lutteroth, C., 2013. Virtual reality capabilities of graphics engines. Vaclav Skala, pp. 39-48.

Peek, E. M., Wünsche, B. and Lutteroth, C., 2013. Determining the relative benefits of pairing virtual reality displays with applications. Darlinghurst, Australia: Australian Computer Society, pp. 111-117.

Penkar, A. M., Lutteroth, C. and Weber, G., 2013. Eyes only:navigating hypertext with gaze. London, U. K.: Springer, pp. 153-169. (Lecture Notes in Computer Science; 8118)

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. New York, NY, USA: ACM, pp. 54-61.

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

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: EuroITV '13 Proceedings of the 11th european conference on Interactive TV and video. New York: ACM, pp. 121-129.

Richardt, C., Pritch, Y., Zimmer, H. and Sorkine-Hornung, A., 2013. Megastereo: Constructing High-Resolution Stereo Panoramas. In: IEEE International Conference on Computer Vision and Pattern Recognition (CVPR), 2013-06-25 - 2013-06-27.

Robertson, C., Vink, L., Regenbrecht, H., Lutteroth, C. and Wünsche, B. C., 2013. Mixed reality kinect mirror box for stroke rehabilitation. IEEE, pp. 231-235.

Savarimuthu, B. T. R., Padget, J. and Purvis, M., 2013. Social norm recommendation for virtual agent societies. Springer Verlag, pp. 308-323. (Lecture Notes in Computer Science; 8291)

Seth, A. K. and Bryson, J. J., 2013. Natural action selection, modeling. In: Pashler, H., ed. Encyclopedia of the mind. Thousand Oaks, CA: Sage.

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.

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.

Tompkin, J., Kim, M. H., Kim, K. I., Kautz, J. and Theobalt, C., 2013. Preference and artifact analysis for video transitions of places. ACM Transactions on Applied Perception, 10 (3), 13.

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.

Vangorp, P., Richardt, C., Cooper, E. A., Chaurasia, G., Banks, M. S. and Drettakis, G., 2013. Perception of Perspective Distortions in Image-Based Rendering. ACM Transactions on Graphics

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.

Willis, P., 2013. Taking the Pixel out of the Picture. In: SMPTE Annual Technical Conference and Exhibition, 2013, 2013-01-01.

Wilson, D., Bradford, R. J., Davenport, J. H. and England, M., 2013. The Piano Mover's Problem Reformulated. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-03)

Wilson, D. J. and England, M., 2013. Layered Cylindrical Algebraic Decomposition. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-05)

Wilson, D., Davenport, J. H., England, M. and Bradford, R. J., 2013. A "piano movers" problem reformulated. In: SYNASC 2013: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013-09-23 - 2013-09-26. IEEE, pp. 53-60.

Wingfield, C., 2013. Graphical Foundations for Dialogue Games. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Yang, Y.-L. and Huang, Q.-X., 2013. TrayGen:arranging objects for packaging and exhibition. Computer Graphics Forum, 32 (7), pp. 187-195.

Yang, Y.-L., Wang, J., Vouga, E. and Wonka, P., 2013. Urban pattern:layout design by hierarchical domain splitting. ACM Transactions on Graphics, 32 (6), 181:1-181:12.

Zeidler, C., Lutteroth, C., Stuerzlinger, W. and Weber, G., 2013. Evaluating Direct Manipulation Operations for Constraint-Based Layout. Berlin, Germany: Springer, pp. 513-529. (Lecture Notes in Computer Science; 8118)

Zeidler, C., Lutteroth, C., Stuerzlinger, W. and Weber, G., 2013. The Auckland Layout Editor:An Improved GUI Layout Specification Process. New York, U. S. A.: ACM, pp. 343-352.

Zeidler, C., Lutteroth, C. and Weber, G., 2013. An evaluation of advanced user interface customization. New York, U. S. A: ACM, pp. 295-304.

Zeidler, C., Lutteroth, C. and Weber, G., 2013. An evaluation of stacking and tiling features within the traditional desktop metaphor. Berlin, Germany: Springer, pp. 702-719. (Lecture Notes in Computer Science; 8117)

Zhao, X., Tang, C.-C., Yang, Y., Pottmann, H. and Mitra, N. J., 2013. Intuitive design exploration of constrained meshes. In: Hesselgren, L., Sharma, S., Wallner, J., Baldassini, N., Bompas, P. and Raynaud, J., eds. Advances in Architectural Geometry, 2012. Springer, pp. 305-318.

van Dyk, B., Lutteroth, C., Weber, G. and Wünsche, B., 2013. Using OpenGL State History for Graphics Debugging.

2012

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

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

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.

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

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.

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

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

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

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

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

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.

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

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

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.

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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.

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

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

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

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

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

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.

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

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

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

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

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

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

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

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.

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.

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

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

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

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

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

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. and Gooch, D., 2012. Understanding participation and opportunities for design from an online postcard sending community. In: DIS 2012: Designing Interactive Systems Conference, 2012-06-10 - 2012-06-14. New York, U. S. A.: ACM, pp. 568-571.

Kim, K. I., Tompkin, J., Theobald, M., Kautz, J. and Theobalt, C., 2012. Match graph construction for large image databases. Berlin, Germany: Springer Verlag, pp. 272-285. (Lecture Notes in Computer Science; 7572)

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)

Kwon, Y., Kim, K. I., Kim, J. H. and Theobalt, C., 2012. Efficient learning-based image enhancement:application to super-resolution and compression artifact removal. In: Bowden, R., Collomosse, J. and Mikolajczyk, K., eds. British Machine Vision Conference, 2012, 2012-09-03 - 2012-09-07.

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.

Li, I. K. Y., Peek, E. M., Wünsche, B. C. and Lutteroth, C., 2012. Enhancing 3D applications using stereoscopic 3D and motion parallax. Darlinghurst, Australia: Australian Computer Society, pp. 59-68.

Lovett, T. and O'Neill, E., 2012. Capturing Transitions Between Users' Semantically Meaningful Places Using Mobile Devices. In: MCSS '12 Proceedings of the 1st ACM workshop on Mobile systems for computational social science. New York, USA: ACM, pp. 11-16.

Lovett, T. and O'Neill, E., 2012. Simulating User Intervention for Interactive Semantic Place Recognition with Mobile Devices. In: LocalPeMA'12: Proceedings of the 2012 RecSys Workshop on Personalizing the Local Mobile Experience. New York: ACM, pp. 13-18.

Mac Aodha, O., Campbell, N. D. F., Nair, A. and Brostow, G. J., 2012. Patch based synthesis for single depth image super-resolution. In: Fitzgibbon, A., Lazebnik, S., Perona, P., Sato, Y. and Schmid, C., eds. Computer Vision – ECCV 2012. Berlin, Germany: Springer, pp. 71-84. (Lecture Notes in Computer Science; 7574)

McCusker, G., Power, J. and Wingfield, C., 2012. A graphical foundation for schedules. Electronic Notes in Theoretical Computer Science, 286, pp. 273-289.

Mitchell, J., O'Neill, E., Zyba, G., Voelker, G. M., Liljenstam, M., Mehes, A. and Johansson, P., 2012. Limitations of Scanned Human Copresence Encounters for Modelling Proximity-Borne Malware. In: 2012 4th International Conference on Communication Systems and Networks, COMSNETS 2012. IEEE.

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.

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. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 393-403. (Leibniz International Proceedings in Informatics (LIPIcs); 17)

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

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.

Penkar, A. M., Lutteroth, C. and Weber, G., 2012. Designing for the eye:design parameters for dwell in gaze interaction. New York, U. S. A.: ACM, pp. 479-488.

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.

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.

Richardt, C., Lieng, H. and Dodgson, N., 2012. Random Discrete Colour Sampling. In: Computational Aesthetics 2012, 2012-06-04 - 2012-06-06.

Richardt, C., Stoll, C., Dodgson, N., Seidel, H.-P. and Theobalt, C., 2012. Coherent Spatiotemporal Filtering, Upsampling and Rendering of RGBZ Videos. Computer Graphics Forum, 31 (2), pp. 247-256.

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

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)

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.

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

Tompkin, J., Kim, K. I., Kautz, J. and Theobalt, C., 2012. Videoscapes: exploring sparse, unstructured video collections. ACM Transactions on Graphics, 31 (4), 68.

Wang, L. and Wilson, M., 2012. Computations of flow and heat transfer in a rotor-stator system with externally-induced ingestion. International Journal of Gas Turbine, Propulsion and Power Systems, 4 (1), pp. 10-18.

Whitehouse, H., Kahn, K., Hochberg, M. E. and Bryson, J. J., 2012. From the imaginary to the real:The back and forth between reality and simulation. Religion, Brain & Behavior, 2 (3), pp. 219-224.

Whitehouse, H., Kahn, K., Hochberg, M. E. and Bryson, J. J., 2012. The role for simulations in theory construction for the social sciences:Case studies concerning Divergent Modes of Religiosity. Religion, Brain & Behavior, 2 (3), pp. 182-201.

Wilkinson, S. C., Reader, W. and Payne, S. J., 2012. Adaptive browsing: Sensitivity to time pressure and task difficulty. International Journal of Human-Computer Studies, 70 (1), pp. 14-25.

Yang, R. S., Lau, A., Chan, Y. H., Strozzi, A. G., Lutteroth, C. and Delmas, P., 2012. Bimanual natural user interaction for 3D modelling application using stereo computer vision. New York, U. S. A.: ACM, p. 95.

Yang, R. S., Strozzi, A. G., Lau, A., Lutteroth, C., Chan, Y. H. and Delmas, P., 2012. Bimanual natural user interaction for 3D modelling application using stereo computer vision. New York, U. S. A.: ACM, pp. 44-51.

Yang, Y.-L. and Shen, C.-H., 2012. Multi-scale salient feature extraction on mesh models. In: First International Conference on Computational Visual Media (CVM), 2012, 2012-11-08 - 2012-11-10. Berlin, Germany: Springer, pp. 122-129. (Lecture Notes in Computer Science; 7633)

Yang, Y. and Shen, C.-H., 2012. Multi-scale salient features for analyzing 3D shapes. Journal of Computer Science and Technology, 27 (6), pp. 1092-1099.

Yoon, W. J., Brown, M. A., Reinhall, P. G., Park, S. and Seibel, E. J., 2012. Design and preliminary study of custom laser scanning cystoscope for automated bladder surveillance. Minimally Invasive Therapy & Allied Technologies, 21 (5), pp. 320-328.

Zeidler, C., Lutteroth, C., Weber, G. and Stürzlinger, W., 2012. The Auckland Layout Editor:an improved GUI layout specification process. New York, U. S. A.: ACM, p. 103.

Zeidler, C., Müller, J., Lutteroth, C. and Weber, G., 2012. Comparing the usability of grid-bag and constraint-based layouts. New York, U. S. A.: ACM, pp. 674-682.

2011

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

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

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., 2011. Social functioning, systemising ability and emotion recognition in autism spectrum disorders. In: International Meeting For Autism Research, 2011-05-01.

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

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

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

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

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

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

Benton, L., Johnson, H., 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.

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.

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., 2011. Anton — A Rule-Based Composition System. In: Proceedings of ICMC 2011. University of Huddersfield and ICMA, pp. 135-138. (ICMC)

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

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

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

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

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

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

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

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

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

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., 2011. Computing with semi-algebraic sets represented by triangular decomposition. In: 36th International Symposium on Symbolic and Algebraic Computation, ISSAC 2011, June 8, 2011 - June 11, 2011, 2011-01-01. New York: Association for Computing Machinery (ACM), pp. 75-82. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC)

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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.

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

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

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

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

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

Gooch, D. and Watts, L. A., 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.

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

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

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

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.

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.

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

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

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

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.

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

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

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.

Kelly, R., 2011. Subliminal computing:The support you don't see. XRDS: Crossroads, The ACM Magazine for Students

Komendantskaya, E. and Power, J., 2011. Coalgebraic Derivations in Logic Programming. In: Bezem, M., ed. Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 352-366. (Leibniz International Proceedings in Informatics (LIPIcs))

Komendantskaya, E., McCusker, G. and Power, J., 2011. Coalgebraic semantics for parallel derivation strategies in logic programming. In: Johnson, M. and Pavlovic, D., eds. Algebraic Methodology and Software Technology.Vol. 6486. Springer, pp. 111-127. (Lecture Notes in Computer Science)

Komendantskaya, E. and Power, J., 2011. Coalgebraic semantics for derivations in logic programming. In: Corradini, A., Kin, B. and Cirstea, C., eds. Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchetser, UK, August 30 - September 2, 2011. Proceedings. Heidelberg: Springer, pp. 268-282. (Lecture Notes in Computer Science; 6859)

Kostakos, V., Venkatanathan, J., Reynolds, B., Sadeh, N., Toch, E., Shaikh, S. A. and Jones, S., 2011. Who's your best friend? Targeted privacy attacks in location-sharing social networks. In: 13th International Conference on Ubiquitous Computing, UbiComp'11 and the Co-located Workshops, September 17, 2011 - September 21, 2011, 2011-09-01. New York: Association for Computing Machinery (ACM), pp. 177-186.

Laird, J., Manzonetto, G. and McCusker, G., 2011. Constructing differential categories and deconstructing categories of games. In: Aceto, L., Henzinger, M. and Sgall, J., eds. Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Proceedings. Heidelberg, Germany: Springer, pp. 186-197. (Lecture Notes in Computer Science; 6756)

Lee, L. H., Lutteroth, C. and Weber, G., 2011. Enhancing Wikipedia with semantic technologies. Swindon, U. K.: British Computer Society, pp. 22-31.

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., Shaw, M., Pickup, D., Cosker, D., Willis, P. and Hall, P., 2011. Realtime video based water surface approximation. In: 8th European Conference on Visual Media Production, CVMP 2011. Piscataway, NJ: IEEE, pp. 109-117.

Lillehagen, T., 2011. Compilation and Automatic Parallelisation of Functional Code for Data-Parallel Architectures. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2011-01)

Lovett, T. and O'Neill, E., 2011. Context Transitions: User identification and comparison of mobile device motion data. In: Activity Context Representation: Techniques and Languages - Papers from the 2011 AAAI Workshop, Technical Report.Vol. WS-11-04. El Segundo, CA.: AI Access Foundation, pp. 42-47. (AAAI Workshop - Technical Report)

Lutteroth, C. and Weber, G., 2011. Rewriting History:More Power to Creative People. Working Paper. Auckland, Australia: University of Auckland Computer Science Department.

Lutteroth, C., Draheim, D. and Weber, G., 2011. A type system for reflective program generators. Science of Computer Programming, 76 (5), pp. 392-422.

Lutteroth, C., Tian, S. and Weber, G., 2011. Tuple Space for Mashups. Working Paper. Auckland, Australia: University of Auckland Computer Science Department.

Lutteroth, C., Weber, G., Chaffe, T., Lim, K., Liu, B., Speakman, A. and Watt, J., 2011. Going Paperless:On the Evaluation of Electronic Form Technologies. Working Paper. Auckland, Australia: University of Auckland Computer Science Department.

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.

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.

Nieves, J. C., Padget, J., Vasconcelos, W., Staikopoulos, A., Cliffe, O., Dignum, F., Vazquez-Salceda, J., Clarke, S. and Reed, C., 2011. Coordination, organisation and model driven approaches for dynamic, flexible, robust software and services engineering. In: Schahram, D. and Li, F., eds. Services Engineering: European Research Results. Vienna, Austria: Springer, pp. 85-115.

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

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.

Payne, S. and Neth, H., 2011. Interactive coin addition: How hands can help us think. In: Carlson, L., Hölscher, C. and Shipley, T., eds. Proceedings of the 33rd Annual Conference of the Cognitive Science Society. 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.

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: Computer Vision, ACCV 2010 - 10th Asian Conference on Computer Vision, Revised Selected Papers.Vol. 6495 LNCS. Heidelberg: Springer, pp. 189-201.

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

Power, J., 2011. Indexed Lawvere theories for local state. In: Hart, B., Kucera, T. G., Pillay, A., Scott, P. J. and Seely, R. A. G., eds. Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihály Makkai. Rhode Island: American Mathematical Society, pp. 213-229. (CRM Proceedings & Lecture Notes; 53)

Richardt, C., 2011. Predicting Stereoscopic Viewing Comfort Using a Coherence-Based Computational Model. In: International Symposium on Computational Aesthetics in Graphics, Visualization, and Imaging 2011, 2011-08-05 - 2011-08-07.

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. IEEE, pp. 1545-1552.

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: Artificial Intelligence in Education - 15th International Conference, AIED 2011.Vol. 6738 LNAI. Heidelberg: Springer, pp. 312-319. (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.

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

Singh, J., Lutteroth, C. and Wünsche, B. C., 2011. Mobile Games for Elderly Healthcare. Working Paper. Auckland, Australia: University of Auckland Computer Science Department.

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

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. New York: Association for Computing Machinery (ACM), pp. 2029-2038. (Conference on Human Factors in Computing Systems - Proceedings)

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.

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.

Tian, S., Weber, G. and Lutteroth, C., 2011. A tuplespace event model for mashups. New York, U. S. A.: ACM, pp. 281-290.

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., 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. Heidelberg: Springer, pp. 192-209. (Lecture Notes in Computer Science)

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 - Proceedings. 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., Vasconcelos, W., Padget, J., Dignum, F., Clarke, S., Palau, M., Sergeant, P. and Nieuwenhuis, K., 2011. ALIVE:a model-driven framework to develop dynamic, flexible, distributed service-oriented systems. In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, September 23, 2010 - September 26, 2010, 2011-01-01. Piscataway, NJ: IEEE Computer Society, pp. 485-492.

Waldron, S. M., Patrick, J. and Duggan, G. B., 2011. The influence of goal-state access cost on planning during problem solving. Quarterly Journal of Experimental Psychology, 64 (3), pp. 485-503.

Walter, T., Hourizi, R., Moncur, W. and Pitsillides, S., 2011. Does the internet change how we die and mourn? Overview and analysis. Omega: Journal of Death & Dying, 64 (4), pp. 275-302.

Watson, R. and De Vos, M., 2011. ASTREA: Answer sets for a trusted reasoning environment for agents. In: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Heidelberg: Springer, pp. 490-509. (Lecture Notes in Computer Science; 6565)

Williams, H. R., Trask, R. S. and Bond, I. P., 2011. A probabilistic approach for design and certification of self-healing advanced composite structures. Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 225 (4), pp. 435-449.

Wright, M., Lin, C.-J., Cosker, D., O'Neill, E. and Johnson, P., 2011. Identifying and evaluating gestural interaction in ubiquitous and pervasive computing. In: Proceedings GW2011: The 9th International Gesture Workshop: Gesture in Embodied Communication and Human-Computer Interaction, 2011-05-25 - 2011-05-27.

Wright, M., Lin, C.-J., O'Neill, E., Cosker, D. and Johnson, P., 2011. 3D Gesture recognition: an evaluation of user and system performance. In: Lyons, K., Hightower, J. and Huang, E. M., eds. 9th International Conference on Pervasive Computing, Pervasive 2011, June 12, 2011 - June 15, 2011, 2011-06-01. Berlin: Springer, pp. 294-313. (Lecture Notes in Computer Science; 6696)

Xiao, B., Song, Y. Z. and Hall, P., 2011. Learning invariant structure for object identification by using graph methods. Computer Vision and Image Understanding, 115 (7), pp. 1023-1031.

Yang, R. S., Lau, A., Chan, Y. H., Strozzi, A. G., Delmas, P. and Lutteroth, C., 2011. Real time 3D hand tracking for 3D modelling applications.

Yang, Y.-L., Yang, Y.-J., Pottmann, H. and Mitra, N. J., 2011. Shape space exploration of constrained meshes. ACM Transactions on Graphics, 30 (6), 124:1-124:12.

ffitch, J., 2011. Running Csound in parallel. In: Linux Audio Conference 2011, 2011-05-06 - 2011-05-08.

Świrski, L., Richardt, C. and Dodgson, N., 2011. Layered Photo Pop-Up. In: SIGGRAPH 2011, 2011-08-07.

2010

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

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

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.

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.

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

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

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.

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

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

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.

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.

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.

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. 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., 2010. Cultural ratcheting results primarily from semantic compression. In: The Evolution of Language: Proceedings of the 8th International Conference on the Evolution of Language (EVOLANG 8). World Scientific, pp. 50-57.

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

Bryson, J. J., 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.

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

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.

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

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.

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

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

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

Cliffe, O., 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.

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

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

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

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

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.

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

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.

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

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

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.

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

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

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

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)

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.

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

Khader, D., Padget, J. and Warnier, M., 2010. Reactive monitoring of service level agreements. Dordrecht, Germany: Springer Verlag, pp. 13-22.

Kim, K. I. and Kwon, Y., 2010. Single-image super-resolution using sparse regression and natural image prior. IEEE Transactions on Pattern Analysis and Machine Intelligence, 32 (6), pp. 1127-1133.

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

Laird, J., 2010. Game semantics for a polymorphic programming language. In: 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, July 11, 2010 - July 14, 2010, 2010-07-01. IEEE, pp. 41-49. (Proceedings - Symposium on Logic in Computer Science)

Laird, J., 2010. Game semantics for call-by-value polymorphism. Lecture Notes in Computer Science, 6199 LNCS, pp. 187-198.

Lee, L.-C., Lutteroth, C. and Weber, G., 2010. Improving end-user GUI customization with transclusion. ACM, pp. 163-172.

Lovett, T. and O'Neill, E., 2010. Mobile Context-awareness: Capabilities, challenges and applications. In: Proceedings of the 12th ACM International Conference Adjunct papers on Ubiquitous computing - Ubicomp '10. New York, USA: ACM, pp. 539-540.

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.

Mills, A., Lister, D., De Vos, M. and Ji, Y., 2010. The impact of MS velocity on the performance of frequency selective scheduling in IEEE 802.16e Mobile WiMAX. In: Consumer Communications and Networking Conference (CCNC), 2010 7th IEEE. IEEE Computer Society, pp. 1-5.

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.

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.

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.

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.

Palmer, F. and O'Neill, E., 2010. Interpreting Technology-Mediated Identity: Perception of social intention and meaning in Bluetooth name. In: OZCHI 2010 - Design-Interaction-Participation, Conference Proceedings. New York: Association for Computing Machinery (ACM), pp. 232-239. (ACM International Conference Proceeding Series)

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.

Richardt, C., Kyprianidis, J. E. and Dodgson, N., 2010. Stereo Coherence in Watercolour Rendering. In: Symposium on Non-Photorealistic Rendering and Animation 2010, 2010-06-07 - 2010-06-10.

Richardt, C., Orr, D., Davies, I., Criminisi, A. and Dodgson, N., 2010. Real-time Spatiotemporal Stereo Matching Using the Dual-Cross-Bilateral Grid. In: 11th European Conference on Computer Vision, ECCV 2010, September 5, 2010 - September 11, 2010, 2010-09-01.

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.

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. Goslar: Eurographics Association, pp. 105-114.

Singh, J., Lutteroth, C. and Wünsche, B. C., 2010. A Taxonomy of Usability Requirements for Home Telehealth Systems. Working Paper. Auckland, Australia: University of Auckland Computer Science Department.

Singh, J., Lutteroth, C. and Wünsche, B. C., 2010. Taxonomy of usability requirements for home telehealth systems. New York, U. S. A.: ACM, pp. 29-32.

Singh, J., Wünsche, B. C. and Lutteroth, C., 2010. Framework for Healthcare4Life:a ubiquitous patient-centric telehealth system. New York, U. S. A.: ACM, pp. 41-48.

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. Berlin: Springer, pp. 694-707. (Lecture Notes in Computer Science; 6314)

Srikulwong, M. and O'Neill, E., 2010. A Comparison of Two Wearable Tactile Interfaces with a Complementary Display in Two Orientations. In: Haptic and Audio Interaction Design - 5th International Workshop, HAID 2010, Proceedings. 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.

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.

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.

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

Sunwoo, J., Yuen, W., Lutteroth, C. and Wünsche, B., 2010. Mobile games for elderly healthcare. New York, U. S. A.: ACM, pp. 73-76.

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

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.

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. Heidelberg: Springer, pp. 175-184. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)

Vazquez-Salceda, J., Vasconcelos, W., Padget, J. A., Dignum, F., Clarke, S. and Roig, M. P., 2010. ALIVE:an agent-based framework for dynamic and robust service-oriented applications. In: Hoek, W. v. d., Kaminka, G. A., Lespérance, Y., Luck, M. and Sen, S., eds. The Ninth International Conference on Autonomous Agents and Multiagent Systems, 2010, 2010-05-09 - 2010-05-14. Richland, U. S. A.: IFAAMAS, pp. 1637-1638.

Wang, C., Zhang, J., Pu, J., Yuan, X. and Wang, L., 2010. Chrono-gait image: A novel temporal template for gait recognition. In: Computer Vision, ECCV 2010 - 11th European Conference on Computer Vision, Proceedings. Springer, pp. 257-270. (Lecture Notes in Computer Science)

Wang, L. and Leckie, C., 2010. Encoding actions via quantized vocabulary of averaged silhouettes. In: Proceedings - 2010 20th International Conference on Pattern Recognition, ICPR 2010. IEEE, pp. 3657-3660. (Proceedings - International Conference on Pattern Recognition)

Wang, L., Nguyen, U. T. V., Bezdek, J. C., Leckie, C. A. and Ramamohanarao, K., 2010. iVAT and aVAT: Enhanced Visual Analysis for Cluster Tendency Assessment. In: Zaki, M. J., Yu, J. X., Ravindran, B. and Pudi, V., eds. Advances in Knowledge Discovery and Data Mining, Pt I, Proceedings.Vol. 6118. Springer, pp. 16-27. (Lecture Notes in Artificial Intelligence)

Wang, L., Zhao, G., Rajpoot, N. and Nixon, M. S., 2010. Special issue on new advances in video-based gait analysis and applications: Challenges and solutions. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 40 (4), pp. 982-985.

Wang, Q., McIntosh, R. and Brain, M., 2010. A new-generation automated warehousing capability. International Journal of Computer Integrated Manufacturing, 23 (6), pp. 565-573.

Wyvill, B. and Dodgson, N., 2010. Recursive scene graphs for art and design. Eurographics: European Association for Computer Graphics, pp. 33-40.

Yeung, T., Crossland, S., Lutteroth, C. and Weber, G., 2010. The table widget reloaded:requirements, design and implementation. New York, U. S. A.: ACM, pp. 81-88.

Yoon, W., Brown, M. and Seibel, E., 2010. Automated Cystoscopic Surveillance System with Endoscopic Image Mosaicing. In: Mechatronics 2010: The 12th Mechatronics Forum Biennial International Conference, 2010-06-28 - 2010-06-30.

ffitch, J. P., 2010. Appendix F: Computer architecture, structures and languages. In: Boulanger, R. and Lazzarini, V., eds. The Audio Programming Book. MIT Press, pp. 797-823.

ffitch, J. P., 2010. Appendix H: An audio programmer's guide to mathematical expressions. In: Boulanger, R. and Lazzarini, V., eds. The Audio Programming Book. MIT Press, pp. 855-868.

ffitch, J. P., 2010. DVD chapter: A MIDI-based algorithmic composition library. In: Boulanger, R. and Lazzarini, V., eds. The Audio Programming Book. MIT Press.

ffitch, J. P., 2010. DVD chapter: The FilterResponse graphical filter utility. In: Boulanger, R. and Lazzarini, V., eds. The Audio Programming Book. MIT Press.

ffitch, J. P., 2010. Introduction to program design. In: Boulanger, R. and Lazzarini, V., eds. The Audio Programming Book. MIT Press, pp. 383-430.

ffitch, J. P., 2010. Understanding an Opcode in Csound. In: Boulanger, R. and Lazzarini, V., eds. The Audio Programming Book. MIT Press, pp. 581-616.

ffitch, J. P., 2010. Using C to Generate Scores. In: Boulanger, R. and Lazzarini, V., eds. The Audio Programming Book. MIT Press, pp. 655-676.

ffitch, J. P., Dobson, R., Lazzarini, V. and Boulanger, R., 2010. Appendix G: Glossary. In: Boulanger, R. and Lazzarini, V., eds. The Audio Programming Book. MIT Press, pp. 823-854.

2009

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

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

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

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

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

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

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

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

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

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

Bryson, J. J. 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.

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.

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

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

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

Chen, C., Davenport, J. H., 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.

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

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.

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

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

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

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

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

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

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

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

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.

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.

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.

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

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.

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

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

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

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

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

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.

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

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

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

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

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

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)

Kim, J. and Lutteroth, C., 2009. Multi-platform document-oriented GUIs. Darlinghurst, Australia: ACM, pp. 27-34.

Kindberg, T., Bevan, C., O'Neill, E., Mitchell, J., Grimmett, J. and Woodgate, D., 2009. Authenticating Ubiquitous Services: A study of wireless hotspot access. In: Ubicomp '09 Proceedings of the 11th International Conference on Ubiquitous Computing. New York, USA: ACM, pp. 115-124.

Kindberg, T., Mitchell, J., Grimmett, J., Bevan, C. and O'Neill, E., 2009. Authenticating Public Wireless Networks with Physical Evidence. In: Wireless and Mobile Computing, Networking and Communications, 2009. IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WIMOB) 2009. IEEE Computer Society, pp. 394-399.

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.

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.

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.

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., 2009. Nondeterminism and observable sequentiality. Berlin: Springer, pp. 379-393. (Lecture Notes in Computer Science; 5771)

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.

Lehmann, H., 2009. On the applicability of agent based modelling in behavioural ecology. Thesis (Doctor of Philosophy (PhD)). University of Bath.

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.

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.

Lutteroth, C. and Weber, G., 2009. Database synchronization as a service. IEEE, pp. 84-91.

Nickles, M. and Sottara, D., 2009. Approaches to uncertain or imprecise rules: a survey. In: Governatori, G., Hall, J. and Paschke, A., eds. Rule Interchange and Applications.Vol. 5858. Springer, pp. 323-336. (Lecture Notes in Computer Science)

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

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.

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. IEEE Computer Society, pp. 15-24.

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.

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.

Richardt, C., 2009. Voronoi Video Stylisation. In: Computer Graphics International 2009, 2009-05-26 - 2009-05-29.

Schwarzkopf, M. and Richardt, C., 2009. Proteus – Semi-Automatic Interactive Structure-from-Motion. In: Vision, Modeling and Visualization, 2009-11-16 - 2009-11-18.

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

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

Traskas, D. and Padget, J., 2009. Engineering agent organisations in a business environment. Springer, pp. 49-64. (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: 1st International Conference on Agents and Artificial Intelligence, ICAART 2009, January 19, 2009 - January 21, 2009, 2009-01-01. Instrumentation Systems and Automation Society, pp. 533-539. (Proceedings of the 1st International Conference on Agents and 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.

Willis, P., 2009. Image Construction. G06K9/00- US2009304269 (A1), 10 December 2009.

Willis, P., Patterson, J. and Taylor, C., 2009. Constructing and rendering vectorised photographic images. In: 6th European Conference for Visual Media Production, CVMP 2009, November 12, 2009 - November 13, 2009, 2010-03-15.

Wilson, C., 2009. Csound Parallelism. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2009-07)

Winder, S., Hua, G. and Brown, M. A., 2009. Picking the best DAISY. In: CVPR 2009: IEEE Conference on Computer Vision and Pattern Recognition, 2009, 2009-06-20 - 2009-06-25. IEEE, pp. 178-185.

Yang, Y.-L., Guo, R., Luo, F., Hu, S.-M. and Gu, X., 2009. Generalized discrete Ricci flow. Computer Graphics Forum, 28 (7), pp. 2005-2014.

Yousef, K., 2009. Architecture and Remote Interaction Techniques for Digital Media Exchange across 3G Mobile Devices. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Zheng, Y., Hicks, Y., Marshall, D. and Cosker, D., 2009. Real-time generation of interactive virtual human behaviours. In: Computer Vision and Computer Graphics: Theory and Applications - International Conference, VISIGRAPP 2008, Revised Selected Papers. Heidelberg, German: Springer, pp. 70-82. (Communications in Computer and Information Science)

ffitch, J., 2009. Parallel execution of Csound. In: International Computer Music Conference (ICMC 2009), 2009-08-16 - 2009-08-21.

ffitch, J. P., Dobson, R. and Bradford, R., 2009. The Imperative for High-Performance Audio Computing. In: Proceedings of LAC2009, Parma, Italy, 16-19 April 2009. Parma: Istituzione Casa della Musica, pp. 73-79.

2008

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

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

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.

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

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

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

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.

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

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.

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

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

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

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

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

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.

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

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

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.

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.

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.

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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.

Kim, K. I. and Kwon, Y., 2008. Example-based learning for single-image super-resolution and JPEG artifact removal. In: Max Planck Institute for Biological Cybernetics Technical Reports. .

Kindberg, T., O'Neill, E., Bevan, C., Kostakos, V., Stanton Fraser, D. and Jay, T., 2008. Measuring trust in wi-fi hotspots. In: SIGCHI Conference on Human Factors in Computing Systems (CHI 2008), 2008-04-05 - 2008-04-10. New York: Association for Computing Machinery (ACM), pp. 173-182.

Komendantskaya, E. and Power, J., 2008. Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. In: Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings.Vol. 5293. Heidelberg: Springer, pp. 258-271.

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.

Kostakos, V., Jones, S. and O'Neill, E., 2008. Social networking 2.0. In: SIGCHI Conference on Human Factors in Computing Systems (CHI 2008), 2008-04-05 - 2008-04-10.

Kostakos, V. and O'Neill, E., 2008. Cityware: Urban Computing to Bridge Online and Real-World Social Networks. In: Foth, M., ed. Handbook of research on urban informatics: the practice and promise of the real-time city. Hershey,Philadelphia, USA: Information Science Reference.

Kostakos, V. and O'Neill, E., 2008. Human-in-the-loop: Rethinking security in mobile and pervasive systems. In: Proceedings of ACM CHI 2008 Conference on Human Factors in Computing Systems. New York, USA: ACM, pp. 3075-3080.

Kwon, Y., Kim, K. I. and Kim, J. H., 2008. Suppressing artifacts in block DCT coded images based on re-encoding, regression, and image prior. In: KAIST Department of Computer Science Technical Reports. .

Laird, J., 2008. A game semantics of names and pointers. Annals of Pure and Applied Logic, 151 (2-3), pp. 151-169.

Laird, J., 2008. Decidability and syntactic control of interference. Theoretical Computer Science, 394 (1-2), pp. 64-83.

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.

Lutteroth, C., 2008. Automated reverse engineering of hard-coded GUI layouts. Darlinghurst, Australia: ACM, pp. 65-73.

Lutteroth, C. and Luxton-Reilly, A., 2008. Flexible learning in CS2: a case study. Computing and Information Technology Research and Education New Zealand (CITRENZ), pp. 77-83.

Lutteroth, C., Strandh, R. and Weber, G., 2008. Domain specific high-level constraints for user interface layout. Constraints, 13 (3), pp. 307-342.

Lutteroth, C. and Weber, G., 2008. Efficient Use of GUIDs. IEEE, pp. 115-120.

Lutteroth, C. and Weber, G., 2008. End-user GUI customization. New York, U. S. A.: ACM, pp. 1-8.

Lutteroth, C. and Weber, G., 2008. Information Content and Compression of GUIDs. Working Paper. Auckland, Australia: University of Auckland Computer Science Department.

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 Power, J., 2008. Logic Programs as Coalgebras. In: Proc. CMCS Short Contributions 2008. .

Middup, C., 2008. Supporting collaboration in problem-solving groups. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Nickles, M. and Cobos, R., 2008. An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion. In: daCosta, P. C. G., dAmato, C., Fanizzi, N., Laskey, K. B., Laskey, K. J., Lukasiewicz, T., Nickles, M. and Pool, M., eds. Uncertainty Reasoning for the Semantic Web 1. Berlin, Germany: Springer, pp. 124-142. (Lecture Notes in Artificial Intelligence; 5327)

Nickles, M. and Cobos, R., 2008. An approach to description logic with support for propositional attitudes and belief fusion. In: Uncertainty Reasoning for the Semantic Web I - ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers.Vol. 5327 NAI. Heidelberg, Germany: Springer, pp. 124-142. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

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.

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.

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

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

Price, M., 2008. Logical Aspects of Logical Frameworks. 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.

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

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

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.

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. Advances in Visual Computing, Part II, Proceedings.Vol. 5359. Berlin: Springer, pp. 723-732. (Lecture Notes in Computer Science)

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. and Hall, P. M., 2008. Stable Image Descriptions Using Gestalt Principles. In: Bebis, G., ed. Advances in Visual Computing. Proceedings, Part I. Berlin: Springer, pp. 318-327. (Lecture Notes in Computer Science)

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.

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.

Stratford, J., 2008. Creating an Extensible Unit Converter Using OpenMath as the Representation of the Semantics of the Units. 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. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F., eds. Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008. Berlin, Heidelberg: Springer, pp. 382-397. (Lecture Notes in Computer Science; 5144/2)

Walder, C., Kim, K. I. and Schölkopf, B., 2008. Sparse multiscale Gaussian process regression. In: 25th International Conference on Machine Learning (ICML), 2008, 2008-06-05 - 2008-06-09. New York, U. S. A.: ACM, pp. 1112-1119.

Wood, M. A., 2008. An agent-independent task learning framework. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Xiao, B., Song, Y. Z., Balikai, A. and Hall, P. M., 2008. Structure Is a Visual Class Invariant. In: DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, J. T., Georgiopoulos, M., Anagnostopoulos, G. C. and Loog, M., eds. Structural, Syntactic, and Statistical Pattern Recognition.Vol. 5342/2008. 5342/2008 ed. Berlin: Springer, pp. 329-338. (Lecture Notes in Computer Science)

Xiao, B., Wilson, R. C. and Hancock, E. R., 2008. Quantitative evaluation on heat kernel permutation invariants. In: Structural, Syntactic, and Statistical Pattern Recognition. Proceedings of the Joint IAPR International Workshop, SSPR & SPR 2008.Vol. 5342/2008. Berlin / Heidelberg: Springer, pp. 217-226. (Lecture Notes in Computer Science)

Yan, H.-B., Hu, S.-M., Martin, R. R. and Yang, Y.-L., 2008. Shape deformation using a skeleton to drive simplex transformations. IEEE Transactions on Visualization and Computer Graphics, 14 (3), pp. 693-706.

Yang, Y.-L., Kim, J., Luo, F., Hu, S.-M. and Gu, X., 2008. Optimal surface parameterization using inverse curvature map. IEEE Transactions on Visualization and Computer Graphics, 14 (5), pp. 1054-1066.

Yousef, K. and O'Neill, E., 2008. Measuring Urban Mobility and Encounter. In: Spink, A. J., Ballintijn, M. R., Bogers, N. D., Grieco, F., Loijens, L. W. S., Noldus, L. P. J. J., Smit, G. and Zimmerman, P. H., eds. Proceedings of Measuring Behavior 2008 (Maastricht, The Netherlands, August 26-29, 2008). Noldus Information Technology, pp. 66-67.

Yousef, K. and O'Neill, E., 2008. Supporting mobile cooperative services across 3G cellular networks. In: Computer Supported Cooperative Network (CSCW) 2008 Conference on Computer Supported Cooperative Work, 2008-11-08 - 2008-11-12.

Yousef, K. and O'Neill, E., 2008. Supporting social album creation with mobile photo-conferencing. In: Workshop on Collocated Social Practices Surrounding Photos at CHI 2008 Conference on Human Factors in Computing Systems, 2008-04-05 - 2008-04-10.

Yousef, K. and O'Neill, E., 2008. Preliminary Evaluation of a Remote Mobile Collaborative Environment. In: CHI EA '08 CHI '08 Extended Abstracts on Human Factors in Computing Systems. New York, USA: Association for Computing Machinery (ACM), pp. 3267-3272.

ffitch, J., Dobson, R. and Bradford, R., 2008. Sliding DFT for fun and musical profit. In: Barknecht, F. and Rumori, M., eds. 6th International Linux Audio Conference, 2008-03-01. Brno, CZ: Tribun EU, pp. 118-124.

ffitch, J. and Brothwell, A., 2008. An Automatic Blues Band. In: Barknecht, F. and Rumori, M., eds. Proceedings of the 6th International Linux Audio Conference. Kunsthochscule für Medien Köln: Tribun EU, Gorkeho 41, Bruno 602 00, pp. 12-17.

ffitch, J. and Padget, J., 2008. Provenance in computer music. In: International Computer Music Conference, 2008, 2008-08-24 - 2008-08-29. Belfast, N. Ireland: ICMA and Queen's University, Belfast, pp. 121-124.

2007

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

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.

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.

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

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

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.

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

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

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

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

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

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., 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 Leong, J. C. S., 2007. Primate errors in transitive 'inference': a two-tier learning model. Animal Cognition, 10 (1), pp. 1-15.

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

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

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

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.

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

Cliffe, 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., 2007. Specifying and Analysing Institutions in Multi-agent Systems Using Answer Set Programming. Thesis (Doctor of Philosophy (PhD)). University of Bath.

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

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

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

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

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.

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

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

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

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

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

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

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.

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

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

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

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.

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

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.

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.

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

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

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., Johnson, P. and Coughlan, T., 2007. Supporting and enhancing group creativity in 21st century/design. In: Inns, T., ed. Designing for the 21st Century. Gower Ashgate.

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

Kostakos, V. and O'Neill, E., 2007. NFC on Mobile Phones: Issues, lessons and future research. In: Proceedings of the Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, 2007 ( PerCom W'07). IEEE Computer Society, pp. 367-370.

Kostakos, V. and O'Neill, E., 2007. Quantifying the Effects of Space on Encounter. In: Kubat, A. S., ed. Proceedings of Space Syntax Symposium 2007.Vol. 2 volumes. Istanbul Technical University of Architecture, Istanbul, Turkey, pp. 9701-9709.

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.

Laird, J., 2007. Bistable biorders: A sequential domain theory. Logical Methods in Computer Science, 3 (2), pp. 1-22.

Laird, J., 2007. A fully abstract trace semantics for general references. In: Arge, L., Cachin, C., Jurdziński, T. and Tarlecki, A., eds. Automata, Languages and Programming. Berlin, Germany: Springer Verlag, pp. 667-679. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 4596)

Laird, J., 2007. Sequentiality and the CPS semantics of fresh names. Electronic Notes in Theoretical Computer Science, 173, pp. 203-219.

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.

Li, C. and Hall, P., 2007. Colour Constancy Based on Model Selection. In: British Machine Vision Conference (BMVC), 2007-01-01.

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

Lutteroth, C., 2007. AP1:a platform for model-based software engineering. Berlin, Germany: Springer, pp. 270-284. (Lecture Notes in Computer Science; 4473)

Lutteroth, C., Luxton-Reilly, A., Dobbie, G. and Hamer, J., 2007. A maturity model for computing education. Darlinghurst, Australia: Australian Computer Society, pp. 107-114.

Lutteroth, C., Strandh, R. and Weber, G., 2007. Optimal GUI Layout as a Problem of Linear Programming. Working Paper. Auckland, Australia: University of Auckland Computer Science Department.

Lutteroth, C. and Weber, G., 2007. Reflection as a principle for better usability. IEEE, pp. 297-306.

Marshall, A., 2007. Agent-based simulation of organisational learning. 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. and Pym, D., 2007. A games model of bunched implications. In: Duparc, J. and Henzinger, T. A., eds. Computer Science Logic: Proceedings of 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL.Vol. 4646. Berlin, Germany: Springer, pp. 573-588. (Lecture Notes in Computer Science)

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, 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007, Proceedings.Vol. 4480/2007. Springer, pp. 19-36. (Lecture Notes in Computer Science)

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.

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

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.

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

Power, J., 2007. Three dimensional monad theory. In: Categories in algebra, geometry and mathematical physics.Vol. 431. Providence, RI: Amer. Math. Soc., pp. 405-426. (Contemp. Math.)

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.

Rettinger, A., Nickles, M. and Tresp, V., 2007. Learning initial trust among interacting agents. In: Klusch, M., Hindriks, K., Papazoglou, M. P. and Strerling, L., eds. Cooperative Information Agents Xi, Proceedings.Vol. 4676. , pp. 313-327. (Lecture Notes in Artificial Intelligence)

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

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

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

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

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.

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

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.

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.

Walder, C., Kim, K. I. and Schölkopf, B., 2007. Sparse multiscale Gaussian process regression. In: Max Planck Institute for Biological Cybernetics Technical Reports. .

Warr, A., 2007. Understanding and supporting creativity in design. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-10)

Warr, A. and O'Neill, E., 2007. Tool Support for Creativity Using Externalizations. In: Proceedings of the 6th ACM SIGCHI conference on Creativity & cognition. New York, U.S.A.: Association for Computing Machinery (ACM), pp. 127-136.

Williams, H. R., Trask, R. S. and Bond, I. P., 2007. Self-healing composite sandwich structures. Smart Materials and Structures, 16 (4), 031.

Willis, P. and Barn, B., 2007. Graphical interaction management. Computer Graphics Forum, 6 (2), pp. 119-124.

Willis, P., 2007. Generalised compositing. In: Proceedings of the 5th international conference on Computer graphics and interactive techniques in Australia and Southeast Asia, 2007-01-01.

Winder, S. A. J. and Brown, M., 2007. Learning Local Image Descriptors. In: CVPR '07: IEEE Conference on Computer Vision and Pattern Recognition, 2007, 2007-06-17 - 2007-06-22.

Wood, M. A. and Bryson, J. J., 2007. Skill acquisition through program-level imitation in a real-time domain. IEEE Transactions on Systems Man and Cybernetics Part B-Cybernetics, 37 (2), pp. 272-285.

Wood, M. A. and Bryson, J. J., 2007. Representations for Learning Action Selection from Real-Time Observation of Task Experts. In: 20th International Joint Conference on Artificial Intelligence, 2007-01-06 - 2007-01-12.

Yousef, K. and O'Neill, E., 2007. Photo-conferencing: a novel approach to interactive photo sharing across 3G mobile networks. In: Social Interaction and Mundane Technologies Workshop (Simtech 2007), 2007-11-26 - 2007-11-27.

Yousef, K. and O'Neill, E., 2007. Sunrise: Towards Location Based Clustering for Assisted Photo Management. In: ICMI'07: Workshop on Tagging, Mining and Retrieval of Human-Related Activity Information, TMR'07 - Workshop Proceedings. New York: Association for Computing Machinery (ACM), pp. 47-54. (ICMI'07: Workshop on Tagging, Mining and Retrieval of Human-Related Activity Information, TMR'07 - Workshop Proceedings)

de Vos, M. and Schaub, T., 2007. SEA'07: Software engineering for answer set programming. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2007-05)

ffitch, J., Mitchell, J. and Padget, J., 2007. Composition with sound web services and workflows. In: Proceedings of the 2007 International Computer Music Conference, 2007-08-01. Ann Arbor, MI: Scholarly Publishing Office, University of Michigan Library, pp. 419-422.

2006

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

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

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

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

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

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

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.

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

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

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.

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

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

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

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

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

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.

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

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

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

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

Collomosse, J. P. and Hall, P. M., 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.

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

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

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.

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)

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. In: Advances in Computer Graphics, Proceedings.Vol. 4035. Berlin, Germany: Springer, pp. 36-53. (Lecture Notes in Computer Science)

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

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

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

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

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

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

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

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

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.

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

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.

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

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.

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

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

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

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

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

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

Kick, M., Power, J. and Simpson, A., 2006. Coalgebraic semantics for timed processes. Information and Computation, 204 (4), pp. 588-609.

Korovina, M. and Vorobjov, N., 2006. Upper and lower bounds on sizes of finite bisimulations of Pfaffian hybrid systems. In: Logical Approaches to Computational Barriers, Proceedings.Vol. 3988. , pp. 267-276. (Lecture Notes in Computer Science)

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., 2006. Interacting with Mobile and Pervasive Systems. In: Ibrahim, I. K., ed. Handbook of research on mobile multimedia. Hershey: Idea Group, pp. 71-85.

Kostakos, V., O'Neill, E. and Shahi, A., 2006. Building Common Ground for Face to Face Interactions by Sharing Mobile Device Context. In: Hazas, M., Krumm, J. and Strang, T., eds. Location- and Context-Awareness, Proceedings.Vol. 3987. Springer, pp. 222-238. (Lecture Notes in Computer Science)

Laird, J., 2006. A calculus of coroutines. Theoretical Computer Science, 350 (2-3), pp. 275-291.

Laird, J., 2006. Bidomains and full abstraction for countable nondeterminism. In: Aceto, L. and Ingolfsdottir, A., eds. 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, 2006-03-25 - 2006-03-31. Berlin, Germany: Springer Verlag, pp. 352-366. (Lecture Notes in Computer Science; 3921)

Lam, V. S. W., 2006.