Research Output 1966 2019

Filter
Chapter
2011

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 proceedingChapter

2010

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 proceedingChapter

Neuro-symbolic Representation of Logic Programs Defining Infinite Sets

Komendantskaya, E., Broda, K. & Garcez, A. DA., 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 proceedingChapter

Neural networks

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 proceedingChapter

Open Access
Ubiquitous computing
Telecommunication
Internet
Communication
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 proceedingChapter

Neurons
Neural networks

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 proceedingChapter

Neural networks
MATLAB
Functional programming
Unsupervised learning
Logic programming

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

Baccelli, F., Carofiglio, G. & Foss, S., 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 proceedingChapter

Overlay networks
System stability
Interfaces (computer)
Wireless networks
Flow rate

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 proceedingChapter

Recursive functions
2008

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 proceedingChapter

Many valued logics
Semantics
Logic programming

Kelvin and Statistical mechanics

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

Research output: Chapter in Book/Report/Conference proceedingChapter

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 proceedingChapter

Logic
Connectionist
Uncertainty
Artificial Neural Network
Operator

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

learning
student
project
research centre
school

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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

Research output: Chapter in Book/Report/Conference proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

Supermanifolds - Application to Supersymmetry

Cartier, P., DeWitt-Morette, C., Ihl, M., Saemann, C. & bell, M., 19 Feb 2002, Multiple facets of quantization and supersymmetry. Olshanetsky, M. A. & Vainshtein, A. (eds.). World Scientific Publishing

Research output: Chapter in Book/Report/Conference proceedingChapter

Supersymmetry
Real variables
Algebra
2001

A LIFE-ICZM demonstration project for Irish beaches and sand dunes

Power, J., Cooper, J. A. G., McGourty, J., McKenna, J., MacLeod, M. J. & Convie, G., 2001, Houston, J.A., Edmondson, S.E. and Rooney, P.J. Coastal Dune Management: Shared Experience of European Conservation Practice Publ. Liverpool University Press. p. 24-33 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Combinatorial quantisation of euclidean gravity in three dimensions

Schroers, B. J., 2001, Quantization of Singular Symplectic Quotients, Birkhauser, Progress in Mathematics Series. p. 307-327 21 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Developing a Holistic Information Systems Strategy for Organisational Management

Lanc, D. & MacKinnon, L. M., 2001, HISSOM in sharp B, Filipe J & Cordeiro J (eds). Enterprise Information Systems II, Kluwer Academic Publishers, September 2001..

Research output: Chapter in Book/Report/Conference proceedingChapter

Elements of Elastic Stability Theory

Knops, R., 2001, Topics in Finite Elasaticity (Eds. M A Hayes and G Saccomandi). CISM Courses and Lectures No 424. International Centre for Mechanical Sciences, Udine. Springer Verlag. p. 169-230 62 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Gender in email-based co-operative problem-solving

Michaelson, G. J. & Pohl, M., 2001, Virtual Gender; Technology, consumption and identity. p. 28-44 17 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Spatial behaviour for constrained motion in an elastic cylinder

Knops, R. & Payne, L. E., 2001, In: Structured Media ( Ed. B.T. Maruszewski), Publishing House of Poznan University of Technology, Poznan.. p. 144-152 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

The direction of time

Penrose, O., 2001, Chance in Physics: Foundations and perspectives; Ed. J Bricmont et al. Springer Lecture Notes in Physics No 574. Vol. 574. p. 61-82 22 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2000

2-D Breathers and applications

Marin, J. L., Eilbeck, J. C. & Russell, F. M., 2000, "Nonlinear Science at the Dawn of the 21st Century", Eds: P L Christiansen, M P Soerensen and A C Scott, , Springer, Berlin Lecture Notes in Physics. Vol. 542. p. 293-306 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Analytical and Computational Methods in Scattering and Applied Mathematics

Harlen, O. G., Qiu, Y. & Sleeman, B. D., 2000, Volume dedicated to the memory of Ralph Ellis Kleinman. Eds: Fadil Santosa and Ivar Stakgold; CRC Press, London. p. 123-134 12 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

An analysis of the experience of individual companies in the UK II: Claim termination rates

Korabinski, A. & Waters, H. R., 2000, Continuous Mortality Investigation Reports 18. p. 151-179 29 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

An analysis of thev PHI experience of individual companies in the UK I: Claim inception rates

Korabinski, A. & Waters, H. R., 2000, Continuous Mortality Investigation Reports 18,. p. 109-150 42 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Aspects of spatial stability

Knops, R., 2000, Proceedings of the II International Conference in honour of G Fichera, Taormina, 1998. Problemi Altuali dell' Analisi e della Fiscia Matematica (Ed: P E Ricci), Aracne Editric 2000. p. 131-144 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Dirichlet Laplacian

Levitin, M., 2000, Encyclopaedia of Mathematics, Supplement II, Editor, M Hazewinkel, Kluwer Academic Publishers. p. 160 1 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Human genetics and insurance issues

Macdonald, A. S., 2000, Bioethics in the new Millennium, St Andrews Press. p. 25-38 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Hyperbolic groups

Howie, J., 2000, Omades kai Efarmoges (Groups and Applications). p. 137-160 24 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

likelihood estimation for stochastic compartmental models using Markov chain methods

Gibson, G. & Renshaw, E., 2000, Statistics and Computing.

Research output: Chapter in Book/Report/Conference proceedingChapter