A page from the OpenDepot.org service

Jump to the start of the main contents

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 17.

Adams, A.A. (2010) The Open vs Closed Debate. Journal of Information and Management (日本情報経営学会誌), 30 (3). pp. 30-47. ISSN 1882-2614

Harris, Joycelyn and Sun, Lily and Adams, A.A. (2009) Requirements Analysis for an e-Government System to Support Multi-Organisational Collaborative Groups. In: 9th European Conference on e-Government, 29-30 June 2009, University of Westminster.

Adams, A.A. and Murata, K and Orito, Y (2009) The Japanese Sense of Information Privacy. AI & Society, 24 (4). ISSN 0951-5666 (print) 1435-5655 (electronic) (In Press)

Adams, A.A. and Brown, Ian (2007) The ethical challenges of ubiquitous healthcare. International Review of Information Ethics, 8. pp. 53-60. ISSN 1614-1687

Adams, A.A. (2007) Copyright and research: an archivangelist's perspective. SCRIPT-ed, 4 (3). p. 285. ISSN 1744-2567

Anderson, J.A.D.W. and Voelker, N. and Adams, A.A. (2007) Perspex Machine VIII: Axioms of Transreal Arithmetic. In: Vision Geometry XV. Proceedings of SPIE, 6499 . SPIE. ISBN 0-819-46612-9

Adams, A.A. (2007) Regulating CCTV. In: Glocalisation: Bridging the Global Nature of Information and Communication Technology and the Local Nature of Human Beings (Ethicomp 2007). Meiji University, Tokyo, pp. 3-14. ISBN 978-4-9903558-0-7

Adams, A.A. (2006) DRM: Valid Protection or Abusive Control? International Review of Law, Computers and TEchnology, 20 (3). pp. 233-237. ISSN 1364-6885

Adams, A.A. and Williams, S.A. (2006) Customer-Driven Development for Rapid Production of Assessment Learning Objects. Electronic Journal of e-Learning, 4 (1). pp. 1-6. ISSN 1479-4403

Adams, A.A. and Davenport, J.H. (2004) Copyright Issues for MKM. In: Mathematical Knowledge Management (proceedings of 2004 International Conference). Lecture Notes in Computer Science (3119). Springer-Verlag, Berlin, pp. 1-16. ISBN 3-540-23029-7

Adams, A.A. and Lubega, J. and Walmsley, S.M. and Williams, S.A. (2004) The Effectiveness of Assessment Learning Objects Produced Using Pair Programming. Electronic Journal of e-Learning, 2 (2). pp. 247-256. ISSN 1479-4403

Adams, A.A. (2003) Digitisation, Representation and Formalisation: Digital Libraries of Mathematics. In: Mathematical Knowledge Management (proceedings of 2003 International Conference). Lecture Notes in Computer Science (2594). Springer-Verlag, Berlin, pp. 1-16. ISBN 3-540-00568-4

Adams, A.A. and Dunstan, M. and Gottliebsen, H. and Kelsey, T. and Martin, U. and Owre, S. (2001) Computer Algebra meets Automated Theorem Proving: Integrating Maple and PVS. In: Theorem Proving in Higher Order Logics -- 14th International Conference, TPHOLs 2001. Lecture Notes in Computer Science (2152). Springer-Verlag, Berlin, pp. 27-42. ISBN 3-540-42525-X

Adams, A.A. (2001) Definite Integration of Parametric Rational Functions: Applying a DITLU. In: Symbolic Computation and Automated Reasoning. A. K. Peters, pp. 1-17. ISBN 1-56881-145-4

Adams, A.A. (2000) A formalisation of weak normalisation (with respect to permutations) of sequent calculus proofs. LMS Journal of Computation and Mathematics, 3. pp. 1-26. ISSN 1461-1570

Adams, A.A. and Gottliebsen, H. and Linton, S.A. and Martin, U. (1999) Automated theorem proving in support of computer algebra: symbolic definite integration as a case study. In: Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation. ACM Press, pp. 253-260. ISBN 1-58113-073-2

Adams, A.A. and Gottliebsen, H. and Linton, S.A. and Martin, U. (1999) VSDITLU: a verified symbolic definite integral table look-up. In: Automated Deduction -- CADE-16 16th International Conference on Automated Deduction. Lecture Notes in Artificial Intelligence, 1632 (1632). Springer-Verlag, Berlin, pp. 112-126. ISBN 3-540-66222-7

This list was generated on Sat Aug 1 20:50:32 2015 BST.