School of Mathematical & Computer Sciences

Filter
Chapter

Search results

  • 2011

    Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

    Komendantskaya, E., McCusker, G. & Power, J., 2011, Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers. Johnson, M. & Pavlovic, D. (eds.). Springer, p. 111-127 17 p. (Lecture Notes in Computer Science; vol. 6486).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    14 Citations (Scopus)

  • Resource Management and Service Deployment in Grids

    Chrysoulas, C. & Sklavos, N., 2011, Grid Computing. Preve, N. P. (ed.). Springer, p. 123-143 21 p. (Computer Communications and Networks).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • What is financial mathematics?

    Johnson, T., 2011, The Best Writing on Mathematics 2010. Pitci, M. (ed.). Princeton University Press, p. 43-46

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2010

    Improving the Equity, Transparency, and Solvency of Pay-as-You-Go Pension Systems: NDCs, the AB, and ABMs

    Vidal-Meliá, C., Boado Penas, M. D. C. & Settergren, O., 1 Jan 2010, Pension Fund Risk Management: Financial and Actuarial Modeling. 1 ed. Taylor & Francis, p. 419-472 54 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    17 Citations (Scopus)

  • IS degrees – sociotechnical or technosocial?

    Coady, J. & Pooley, R. J., 2010, Information Systems Development: Towards a Service Provision Society. Papadopoulos, G. A., Wojtkowski , W., Wojtkowski, G., Wrycza, S. & Zupancic, J. (eds.). p. 885-890 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    1 Citation (Scopus)

  • Neuro-symbolic Representation of Logic Programs Defining Infinite Sets

    Komendantskaya, E., Broda, K. & Garcez, A. D., 2010, Artificial Neural Networks - ICANN 2010: 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I. Diamantaras, K., Duch, W. & Iliadis, L. S. (eds.). Springer, p. 301-304 4 p. (Lecture Notes in Computer Science; vol. 6352).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    2 Citations (Scopus)

  • Self-improving personal smart spaces for pervasive service provision

    Roussaki, I. G., Kalatzis, N. K., Doolin, K. J., Taylor, N. K., Spadotto, G. P., Liampotis, N. D. & Williams, M. H., 2010, Towards the Future Internet: Emerging Trends from European Research. IOS Press, p. 193-203 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    9 Citations (Scopus)
  • 2009

    Neurons or Symbols: Why does OR Remain Exclusive?

    Komendantskaya, E., 2009, IJCCI 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009. Dourado Correia, A., Rosa, A. C. & Madani, K. (eds.). INSTICC Press , p. 502-507 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    2 Citations (Scopus)

  • On Involutions Arising From Graphs

    Hage, J. & Harju, T., 2009, Algorithmic Bioprocesses. Springer, p. 623-630 8 p. (Natural Computating Series).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    3 Citations (Scopus)

  • Parallel Rewriting in Neural Networks

    Komendantskaya, E., 2009, IJCCI 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009. Dourado Correia, A., Rosa, A. C. & Madani, K. (eds.). INSTICC Press , p. 452-458 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    1 Citation (Scopus)

  • Proxy caching in split TCP: dynamics, stability and tail asymptotics

    Baccelli, F., Carofiglio, G. & Foss, S., 24 Sept 2009, From Semantics to Computer Science: Essays in Honour of Gilles Kahn. Bertot, Y., Huet, G., Lévy, J.-J. & Plotkin, G. (eds.). Cambridge University Press, p. 437-464 28 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    1 Citation (Scopus)

  • Using structural recursion for corecursion

    Bertot, Y. & Komendantskaya, E., 2009, Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers. Berardi, S., Damiani, F. & de’Liguoro, U. (eds.). Springer, p. 220-236 17 p. (Lecture Notes in Computer Science; vol. 5497).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    6 Citations (Scopus)
  • 2008

    D-Branes in noncommutative field theory

    Szabo, R. J., 2008, An Invitation to Noncommutative Geometry. World Scientific Publishing, p. 447-506 60 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    1 Citation (Scopus)

  • Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness

    Komendantskaya, E. & Power, J., 2008, Logics in Artifiicial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings. Hölldobler, S., Lutz, C. & Wansing, H. (eds.). Springer, p. 258-271 14 p. (Lecture Notes in Computer Science; vol. 5293).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    4 Citations (Scopus)

  • Kelvin and Statistical mechanics

    Penrose, O., 2008, Kelvin: Life, Labours and Legacy. p. 253-277 25 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Modeling and Simulation of Hairy Root Growth

    Bastian, P., Bauer, J., Chavarría-Krauser, A., Engwer, C., Jäger, W., Marnach, S., Ptashnyk, M. & Wetterauer, B., 24 Apr 2008, Mathematics - Key Technology for the Future: Joint Projects Between Universities and Industry 2004-2007. Springer, p. 101-115 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    3 Citations (Scopus)

  • The Hansen-Mullen primitivity conjecture: completion of proof

    Cohen, S. D. & Presern, M., 2008, Number Theory and Polynomials. McKee, J. & Smyth, C. (eds.). Cambridge University Press, p. 89-120 32 p. (London Mathematical Society Lecture Note Series; vol. 352).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2007

    Connectionist Representation of Multi-Valued Logic Programs

    Komendantskaya, E., Lane, M. & Seda, A. K., 2007, Perspectives of Neural-Symbolic Integration. Hammer, B. & Hitzler, P. (eds.). Springer, p. 283-313 31 p. (Studies in Computational Intelligence; vol. 77).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    7 Citations (Scopus)

  • Extensional Rewriting with Sums

    Lindley, S., 2007, Typed Lambda Calculi and Applications: TLCA 2007. Springer, p. 255-271 17 p. (Lecture Notes in Computer Science; vol. 4583).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    16 Citations (Scopus)

  • Insurance

    Macdonald, A. S., 2007, Handbook of Statistical Genetics. Balding, D. J., Cannings, C. & Bishop, M. (eds.). 3 ed. Chichester, UK: Wiley, Vol. 2. p. 1346-1367 22 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    1 Citation (Scopus)

  • Narrative Structure of Mathematical Tents

    Kamareddine, F. D., Maarek, M., Retel, K. & Wells, J. B., 2007, Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Vol. 4573. p. 296-312 (Lecture Notes in Computer Science; vol. 4573).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2006

    Chapter 15 Hamiltonian PDEs

    Kuksin, S. B. & Bambusi, D., 2006, Handbook of Dynamical Systems. Hasselblatt, B. & Katok, A. (eds.). Part B ed. Vol. 1. p. 1087-1133 47 p. (Handbook of Dynamical Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    10 Citations (Scopus)

  • Compound stochastic models for fingerprint individuality

    Zhu, Y., Dass, S. C. & Jain, A. K., 2006, 18th International Conference on Pattern Recognition (ICPR'06). IEEE, 1699581

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    10 Citations (Scopus)

  • Eliminating Dependent Pattern Matching

    Goguen, H., McBride, C. & McKinna, J., 2006, Algebra, Meaning, and Computation. Springer, p. 521-540 20 p. (Lecture Notes in Computer Science; vol. 4060).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    30 Citations (Scopus)

  • Hamiltonian PDE's

    Kuksin, S., 2006, Handbook of Dynamical Systems, 1B. Hasselblatt, B. & Katok, A. (eds.). Vol. 1B. p. 1087-1134 48 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Improved Immune Genetic Algorithm For Solving Flow Shop Scheduling Problem

    Liu, M., Pang, W., Wang, K. P., Song, Y. Z. & Zhou, C. G., 12 Oct 2006, Computational Methods. Liu, G. R., Tan, V. B. C. & Han, X. (eds.). Dordrecht, Netherlands: Springer, p. 1057-1062 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Personalized Redirection of Communication and Data

    Yang, Y. & Williams, H., 2006, Handbook of Research in Mobile Multimedia, ed. I. K. Ibrahim, Idea Group Reference.. p. 311-325 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Perturbation Theory and Its Techniques

    Szabo, R. J., 2006, Encyclopedia of Mathematical Physics. Academic Press, p. 28-41 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Quality-based score level fusion in multibiometric systems

    Nandakumar, K., Chen, Y., Jain, A. K. & Dass, S. C., 2006, 18th International Conference on Pattern Recognition (ICPR'06). IEEE, 1699881

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    111 Citations (Scopus)

  • The Embounded Project

    Hammond, K., Dyckhoff, R., Ferdinand, C., Heckmann, R., Hofmann, M., Loidl, H.-W., Michaelson, G. J., Serot, J. & Wallace, A., 2006, Trends in Functional Programming. Van Eekelen, M. (ed.). Vol. 6. p. 195-210

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2005

    Continuous planning for Virtual Environments

    Panayiotopoolos, T., Avranides, N. & Aylett, R., 2005, Intelligent Techniques for planning, Idea group publishing..

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • E-learning environment based on intelligent synthetic characters

    Ye, L., Zhu, J., Zhang, M., Aylett, R., Ren, L. & Xu, G., 2005, Computational Science and Its Applications – ICCSA 2005: International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV. Vol. 3483. p. 30-37 8 p. (Lecture Notes in Computer Science; vol. 3483).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Moving beyond Objective Testing in Online Assessment

    Ashton, H. S., Beevers, C., Milligan, C., Thomas, R. & Youngson, M. A., Jul 2005, Chapter V111 in Online Assessment and Measurement: Case studies from Higher Education, K-12 and Corporate. p. 116-128 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    5 Citations (Scopus)

  • Pricing Perpetual American options driven by spectrally one-sided levy processes

    Chan, T., 2005, Exotic Option Pricing and Advanced Levy Models.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Reducibility and ⊤ ⊤-Lifting for Computation Types

    Lindley, S. & Stark, I., 2005, Typed Lambda Calculi and Applications: TLCA 2005. Springer, p. 262-277 16 p. (Lecture Notes in Computer Science; vol. 3461).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    32 Citations (Scopus)

  • Strings, gauge fields and membranes

    Szabo, R. J., Feb 2005, From Fields to Strings: Circumnavigating Theoretical Physics: Ian Kogan Memorial Collection. World Scientific Publishing, Vol. 1. p. 1920-1972 53 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Uniqueness and continuous dependance in the linear thermoelastic dielectro

    Knops, R., 2005, Trends in Applications of Mathematics to Mechanics: Proceedings of the XIVth International Symposium on Trends in Applications of Mathematics to Mechanics . p. 165-172 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2004

    A robust data-driven version of the Berlin Method

    Feng, Y. & Heiler, S., 2004, Zeitreihenanalyse in der Empirischen Wirtschaftsforschung. p. 67-81 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Enabling postgraduate learning in the workplace

    Beasley, N., Ford, J. T. & Tomes, N., Nov 2004, In: Nicholson, P., et al., eds., E-training practices for professional organizations. Boston, MA: International Federation for Information Processing. p. 189-196 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Genetics and insurance management

    Macdonald, A. S., 2004, The Swedish Society of Actuaries: One Hundred Years. Svenska Akuarieforeningen, Stockholm..

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Inductive Families Need Not Store Their Indices

    Brady, E., McBride, C. & Mckinna, J., 2004, Types for Proofs and Programs. TYPES 2003. Springer, p. 115-129 15 p. (Lecture Notes in Computer Science; vol. 3085).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    61 Citations (Scopus)

  • Information technology, communications systems and artificial intelligence in intelligent buildings

    Glover, N., Corne, D. & Liu, K., 2004, Intelligent Buildings: design, management and operation. Clements-Croome, D. (ed.). Thomas Telford Ltd.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Strings, Guage Fields and Membranes

    Szabo, R. J., 2004, From Fields to Strings: Circumnavigating Theoretical Physics : Ian Kogan Memorial Collection. Vol. 3.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Technology in support of learning

    Barker, P., 2004, Effective Learning and Teaching in Engineering. Baillie, C. & Moore, I. (eds.). London: RoutledgeFalmer, p. 122-138

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    3 Citations (Scopus)
  • 2003

    Adapting populations of agents

    De Wilde, P., Chli, M., Correia, L., Ribeiro, R., Mariano, P., Abramov, V. & Goossenaerts, J., 2003, In E. Alonso, D. Kudenko, and D. Kazakov, Editors, Lecture Notes in Artificial Intelligence 2636. p. 110-124 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    7 Citations (Scopus)

  • Basic description logics

    Baader, F. & Nutt, W., 2003, The Description Logic Handbook : Theory, Implementation and Applications . Cambridge University Press, 53 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • On uniqueness in nonlinear homogeneous elasticity

    Knops, R., 2003, Rational Continua, classical and new. Springer Verlag. p. 119-137 19 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • The Ophelia Traceability Layer, Cooperative Methods and Tools for Distributed Software Engineering Processes

    Smith, M., Wilcox, P. A., Dewar, R. G. & Weiss, D., 2003, (eds. A. Cimitilw, A. De Lucia, H. Gall) FrancoAngeli, Milan. p. 150-161 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2002

    Assessment in mathematics

    Beevers, C. & Paterson, J. S., 2002, In "Effective Learning & Teaching in Mathematics & its Applications, Eds P Khan and J Kyle,. The Institute for Learning and Teaching in Higher Education and the Times Higher Education Supplement, Kogan Page. Chapter 4 in Book.. p. 49-61 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Functional prototyping for parallel skeleton based implementation

    Michaelson, G. J. & Scaife, N., 2002, Patterns and Skeletons for Parallel and Distributed Computing, Springer-Verlag, Sept 2002. Vol. CH 5. p. 129-153 25 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter