Research Output 1966 2020

Filter
Chapter
2011

Coalgebraic Semantics for Derivations in Logic Programming

Komendantskaya, E. & Power, J., 2011, Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Corradini, A., Klin, B. & Cîrstea, C. (eds.). Springer, p. 268-282 15 p. (Lecture Notes in Computer Science; vol. 6859).

Research output: Chapter in Book/Report/Conference proceedingChapter

Coalgebra
Logic Programming
Logic Programs
Ordered Categories
Semantics

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 proceedingChapter

Logic programming
Semantics
Computer programming languages
Functional programming

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
Many-valued Logic
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
school
co-operation

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