Research Output 1966 2020

Filter
Chapter
2019

On the probabilistic Cauchy theory for nonlinear dispersive PDEs

Bényi, Á., Oh, T. & Pocovnicu, O., 2019, Landscapes of Time-Frequency Analysis. Birkhäuser, p. 1-32 32 p. (Applied and Numerical Harmonic Analysis).

Research output: Chapter in Book/Report/Conference proceedingChapter

Well-posedness
Cauchy
Partial differential equations
Partial differential equation
Review
2018

An Introduction to Stochastic Navier–Stokes Equations

Breit, D., 2018, New Trends and Results in Mathematical Description of Fluid Flows. Bulíček, M., Feireisl, E. & Pokorný, M. (eds.). Springer International Publishing, p. 1-51 (Nečas Center Series).

Research output: Chapter in Book/Report/Conference proceedingChapter

Calcium-pectin chemistry and biomechanics: Biological background and mathematical modelling

Ptashnyk, M. & Allen, H. R., 2018, Plant Biomechanics: From Structure to Function at Multiple Scales. Springer International Publishing, p. 273-303 31 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Biomechanics
Biomechanical Phenomena
pectins
Cell Wall
Plant Cells

Evolutionary Algorithms

Corne, D. & Lones, M. A., 22 Feb 2018, Handbook of Heuristics. Martí, R., Panos, P. & Resende, M. (eds.). Springer

Research output: Chapter in Book/Report/Conference proceedingChapter

Evolutionary algorithms
Genetic programming
Genetic algorithms
Costs

Medical Applications of Cartesian Genetic Programming

Smith, S. L. & Lones, M. A., 2018, Inspired by Nature. Stepney, S. & Adamatzky, A. (eds.). Springer, p. 247-266 20 p. (Emergence, Complexity and Computation; vol. 28).

Research output: Chapter in Book/Report/Conference proceedingChapter

Thyroid Neoplasms
Parkinson Disease
Differential Diagnosis
Medicine
Machine Learning

Microworlds, Objects First, Computational Thinking and Programming

Michaelson, G. J., Aug 2018, Computational Thinking in the STEM Disciplines: Foundations and Research Highlights. Khine, M. (ed.). Springer, p. 31-48 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Students
Teaching
Product design
Data structures
Concretes

Smart Animation Tools

Kenwright, B., 2018, Handbook of Research on Emergent Applications of Optimization Algorithms. IGI Global, p. 52-66 15 p. (Advances in Business Information Systems and Analytics (ABISA) Book Series).

Research output: Chapter in Book/Report/Conference proceedingChapter

Teaching Reciprocity as the Foundation of Financial Economics

Johnson, T., 2018, Post Crash Economics: Pluralist and Heterodox Ideas in Teaching and Research. Feraboli, O. & Morelli, C. (eds.). Palgrave Macmillan, p. 199-230 32 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

reciprocity
mathematics
Teaching
economics
pricing
2017

SkiROS—A skill-based robot control platform on top of ROS

Rovida, F., Crosby, M., Holz, D., Polydoros, A. S., Großmann, B., Petrick, R. P. A. & Krüger, V., 2017, Robot Operating System (ROS): The Complete Reference. Koubaa, A. (ed.). Springer International Publishing, Vol. 2. p. 121-160 40 p. (Studies in Computational Intelligence; vol. 707).

Research output: Chapter in Book/Report/Conference proceedingChapter

Application programs
Robots
Graphical user interfaces
Automotive industry
Demonstrations

Smart Community Energy Systems for Low Carbon Living

Peacock, A., Owens, E. H., Roaf, S. & Corne, D., 2017, Sustainable Buildings and Built Environments to Mitigate Climate Change in the Tropics: Conceptual and Practical Approaches. Karyono, T. H., Vale, R. & Vale, B. (eds.). Springer International Publishing, p. 91-100 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Energy resources
Carbon
Energy security
Open systems
Gas emissions
2016

A User-Centric Design of Service Robots Speech Interface for the Elderly

Wang, N., Broz, F., Di Nuovo, A., Belpaeme, T. & Cangelosi, A., 2016, Recent Advances in Nonlinear Speech Processing. Esposito, A., Faundez-Zanuy, M., Esposito, A. M., Cordasco, G., Drugman, T., Solé-Casals, J. & Morabito, F. C. (eds.). Springer International Publishing, Vol. Part VI. p. 275-283 9 p. (Smart Innovation, Systems and Technologies; vol. 48).

Research output: Chapter in Book/Report/Conference proceedingChapter

Robots
User interfaces
Robotics
Speech recognition
Interfaces (computer)

Controlled biped balanced locomotion and climbing

Kenwright, B., 2016, Dynamic Balancing of Mechanisms and Synthesizing of Parallel Robots. Zhang, D. & Wei, B. (eds.). Springer, p. 447-456 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Biped locomotion
Trajectories
Feedback

Experimental Evaluation of a Multi-modal User Interface for a Robotic Service

Di Nuovo, A., Wang, N., Broz, F., Belpaeme, T., Jones, R. & Cangelosi, A., 2016, Towards Autonomous Robotic Systems: 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26-July 1, 2016, Proceedings. Alboul, L., Damian, D. & Aitken, J. M. (eds.). 1 ed. Springer International Publishing, Vol. 9716. p. 87-98 12 p. (Lecture Notes in Artificial Intelligence; vol. 9716).

Research output: Chapter in Book/Report/Conference proceedingChapter

Extrinsic versus intrinsic evaluation of natural language generation for spoken dialogue systems and social robotics

Hastie, H., Cuayáhuitl, H., Dethlefs, N., Keizer, S. & Liu, X., 25 Dec 2016, Dialogues with Social Robots: Enablements, Analyses, and Evaluation. Jokinen, K. & Wilcock, G. (eds.). Springer, Vol. Part V. p. 303-311 9 p. (Lecture Notes in Electrical Engineering; vol. 999).

Research output: Chapter in Book/Report/Conference proceedingChapter

Robotics
Experiments

Games Robots Play: Once More, with Feeling

Aylett, R., 2016, Emotion in Games: Theory and Praxis. Karpouzis, K. & Yannakakis, G. N. (eds.). Springer, p. 289-302 14 p. (Socio-Affective Computing; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingChapter

Intelligent workflow management for Fish4Knowledge using the SWELL system

Nadarajan, G., Yang, C-L. & Chen-Burger, Y-H., 2016, Fish4Knowledge: Collecting and Analyzing Massive Coral Reef Fish Video Data. Fisher, R. B., Chen-Burger, Y-H., Giordano, D., Hardman, L. & Lin, F-P. (eds.). Springer International Publishing, p. 83-101 19 p. (Intelligent Systems Reference Library; vol. 104).

Research output: Chapter in Book/Report/Conference proceedingChapter

Image processing
Fault tolerance
User interfaces
Ontology
Semantics

On the PLS algorithm for multiple regression (PLS1)

Takane, Y. & Loisel, S., 16 Oct 2016, The Multiple Facets of Partial Least Squares and Related Methods. Springer, p. 17-28 12 p. (Springer Proceedings in Mathematics & Statistics; vol. 173).

Research output: Chapter in Book/Report/Conference proceedingChapter

Partial Least Squares
Least Square Algorithm
Multiple Regression
Least Squares Estimator
Dimensionality

Overview of the fish4knowledge project

Fisher, R. B., Shao, K. T. & Chen-Burger, Y-H., 2016, Fish4Knowledge: Collecting and Analyzing Massive Coral Reef Fish Video Data. Springer International Publishing, p. 1-17 17 p. (Intelligent Systems Reference Library; vol. 104).

Research output: Chapter in Book/Report/Conference proceedingChapter

Reefs
Fish
Processing
European Community
research project

Semi-Automated Design Space Exploration for Formal Modelling

Grov, G., Ireland, A., Llano, M. T., Kovacs, P., Colton, S. & Gow, J., 11 May 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Butler, M., Schewe, K-D., Mashkoor, A. & Biro, M. (eds.). Springer International Publishing, p. 282-289 8 p. (Lecture Notes in Computer Science; vol. 9675).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Formal methods

Separating Representation, Reasoning, and Implementation for Interaction Management: Lessons from Automated Planning

Foster, M. E. & Petrick, R. P. A., 25 Dec 2016, Dialogues with Social Robots: Enablements, Analyses, and Evaluation. Jokinen, K. & Wilcock, G. (eds.). Springer, p. 93-107 15 p. (Lecture Notes in Electrical Engineering; vol. 427).

Research output: Chapter in Book/Report/Conference proceedingChapter

Planning
Systems analysis

The fish4knowledge virtual world gallery

Chen-Burger, Y-H. & Tate, A., 2016, Fish4Knowledge: Collecting and Analyzing Massive Coral Reef Fish Video Data. Springer International Publishing, Vol. 104. p. 261-267 7 p. (Intelligent Systems Reference Library; vol. 104).

Research output: Chapter in Book/Report/Conference proceedingChapter

Dissemination
Virtual worlds
Second life

UC-B: Use case modelling with Event-B

Murali, R., Ireland, A. & Grov, G., 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Butler, M., Schewe, K-D., Mashkoor, A. & Biro, M. (eds.). Springer International Publishing, p. 297-302 6 p. (Lecture Notes in Computer Science; vol. 9675).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Specifications
2015

A synthetic revised m-of-k runs rules control chart

Chong, Z. L., Khoo, M. B. C., Teh, S. Y. & Teoh, W. L., 17 Dec 2015, 2015 International Conference on Research and Education in Mathematics. IEEE, p. 250-255 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Control charts

A type-theoretic approach to resolution

Fu, P. & Komendantskaya, E., 2015, Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Falaschi, M. (ed.). Springer International Publishing, p. 91-106 16 p. (Lecture Notes in Computer Science; vol. 9527).

Research output: Chapter in Book/Report/Conference proceedingChapter

Logic programming
Productivity

Effects of misspecification of the loss function on the economic-statistical design of the synthetic X̄ chart

Yeong, W. C., Khoo, M. B. C., Lim, S. L. & Teoh, W. L., 27 Aug 2015, 2015 International Conference on Computer, Communications, and Control Technology. IEEE, p. 77-81 5 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Economics
Costs

Emergent Narrative, Past, Present and Future of an Interactive Storytelling Approach

Louchart, S., Truesdale, J., Suttie, N. & Aylett, R., 2015, Interactive Digital Narrative: History, Theory and Practice. Koenitz, H., Ferri, G., Haahr, M., Sezen, D. & Sezen, T. İ. (eds.). Routledge, p. 185-199 15 p. (Routledge Studies in European Communication Research and Education).

Research output: Chapter in Book/Report/Conference proceedingChapter

Semiotics
Digital storage
Artificial intelligence
Experiments

Epidemic models, control

Clancy, D., 22 Jun 2015, Wiley Stasref: Statistics Reference Online. Wiley, p. 1-8 8 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Structural Resolution for Logic Programming

Johann, P., Komendantskaya, E. & Komendantskiy, V., 2015, Technical Communications of ICLP 2015. De Vos, M., Eiter, T., Lierler, Y. & Toni, F. (eds.). CEUR-WS, 13 p. (CEUR Workshop Proceedings; vol. 1433).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Logic programming

Upside and Downside Risk Exposures of Currency Carry Trades via Tail Dependence

Ames, M., Peters, G. W., Bagnarosa, G. & Kosmidis, I., 10 Jan 2015, Innovations in Quantitative Risk Management.. Springer, p. 163-181 19 p. (Springer Proceedings in Mathematics & Statistics; vol. 99).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
Carry trade
Tail dependence
Risk exposure
Downside risk
Interest rates
2014

A modelling assessment of control strategies to prevent/reduce Squirrelpox spread.

White, A. & Lurz, P., 2014, Scottish Natural Heritage: Commissioned Report No. 627.

Research output: Chapter in Book/Report/Conference proceedingChapter

A web based multi-modal interface for elderly users of the robot-era multi-robot services

Di Nuovo, A., Broz, F., Belpaeme, T., Cangelosi, A., Cavallo, F., Esposito, R. & Dario, P., 2014, Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics. Piscataway (New Jersey): IEEE, p. 2186-2191 6 p. 6974248. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; vol. 2014-January).

Research output: Chapter in Book/Report/Conference proceedingChapter

Robots
User interfaces
Robotics
LSI circuits
Touch screens

Stochastic differential equations

Lord, G. J., 2014, Mathematical Tools for Physicists. Grinfeld, M. (ed.). 2 ed. p. 73-108

Research output: Chapter in Book/Report/Conference proceedingChapter

Numerical Approximation
Stochastic Equations
Differential equation
Stochastic Integration
Weak Approximation

The elliptic sine-Gordon equation - a nonlinear elliptic integrable PDE

Pelloni, B., 2014, Stock Image Unified Transform for Boundary Value Problems: Applications and Advances. Fockas, A. S. & Pelloni, B. (eds.). SIAM, p. 73-90 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Sine-Gordon Equation
Elliptic Equations
Lax Pair
Boundary Value Problem
Boundary conditions

The sensitivity analysis of the economic and economic statistical designs of the synthetic X chart

Yeong, W. C., Khoo, M. B. C., Chong, J. K., Lim, S. J. & Teoh, W. L., 4 Dec 2014, Proceedings of the 3rd International Conference on Quantitative Sciences and Its Applications. AIP Publishing, p. 940-947 8 p. (AIP Conference Proceedings; vol. 1635, no. 1).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Sensitivity analysis
Economics
Costs
Analysis of variance (ANOVA)
Masks

Towards comparative evaluation and shared tasks for NLG in interactive systems

Belz, A. & Hastie, H., Jul 2014, Natural Language Generation in Interactive Systems. Bangalore, S. & Stent, A. (eds.). Cambridge University Press, p. 302-350 49 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2013

An Introduction to Stochastic Particle Integration Methods: With Applications to Risk and Insurance

Del Moral, P., Peters, G. W. & Vergé, C., 8 Nov 2013, Monte Carlo and Quasi-Monte Carlo Methods 2012. : Springer Proceedings in Mathematics & Statistics. Springer, Vol. 65. p. 39-81 Chapter 3. (Monte Carlo and Quasi-Monte Carlo Methods 2012; vol. 65).

Research output: Chapter in Book/Report/Conference proceedingChapter

Formalisation and verification of knowledge management in digital economy and organisations

Georgieva, L. & Zia, I., 2013, Agent and Multi-Agent Systems in Distributed Systems - Digital Economy and E-Commerce. Springer, Vol. 462. p. 53-66 14 p. (Studies in Computational Intelligence; vol. 462).

Research output: Chapter in Book/Report/Conference proceedingChapter

Knowledge management
Model checking
Refining
Network protocols

Incorporating commercial and private data into an open linked data platform for drug discovery

Goble, C., Gray, A. J. G., Harland, L., Karapetyan, K., Loizou, A., Mikhailov, I., Rankka, Y., Senger, S., Tkachenko, V., Williams, A. J. & Willighagen, E. L., 2013, Incorporating commercial and private data into an open linked data platform for drug discovery. Springer, Vol. 8219. p. 65-80 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8219 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

Access control
Drug products
Industry
Drug Discovery

ML4PG in Computer Algebra Verification

Heras, J. & Komendantskaya, E., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Springer, p. 354-358 5 p. (Lecture Notes in Computer Science; vol. 7961).

Research output: Chapter in Book/Report/Conference proceedingChapter

Algebra
Learning systems

Proof-Pattern Recognition and Lemma Discovery in ACL2

Heras, J., Komendantskaya, E., Johansson, M. & Maclean, E., 2013, Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Springer, p. 389-406 18 p. (Lecture Notes in Computer Science; vol. 8312).

Research output: Chapter in Book/Report/Conference proceedingChapter

Pattern recognition
Learning systems
Statistics

Sharp condition number estimates for the symmetric 2-lagrange multiplier method

Drury, S. W. & Loisel, S., 2013, Domain Decomposition Methods in Science and Engineering XX: Part II. Vol. 91. p. 255-261 7 p. (Lecture Notes in Computational Science and Engineering; vol. 91).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Lagrange multiplier Method
Domain decomposition methods
Lagrange multipliers
Domain Decomposition Method
Condition number
2012

Children as game designers – new narrative opportunities

Howells, C. & Robertson, J., 2012, Virtual literacies: Interactive spaces for children and young people. Merchant, G., Gillen, J., Davies, J. & Marsh, J. (eds.). London: Routledge, (Routledge Research in Education).

Research output: Chapter in Book/Report/Conference proceedingChapter

Database of diazotrophs in global ocean: Abundance, biomass and nitrogen fixation rates

Luo, Y-W., Doney, S. C., Anderson, L. A., Benavides, M., Berman-Frank, I., Bode, A., Bonnet, S., Boström, K. H., Böttjer, D., Capone, D. G., Carpenter, E. J., Chen, Y. L., Church, M. J., Dore, J. E., Falcón, L. I., Fernández-Prieto, A., Foster, R. A., Furuya, K., Gómez, F., Gundersen, K. & 29 othersHynes, A. M., Karl, D. M., Kitajima, S., Langlois, R. J., LaRoche, J., Letelier, R. M., Marañón, E., McGillicuddy, D. J., Moisander, P. H., Moore, C. M., Mouriño-Carballido, B., Mulholland, M. R., Needoba, J. A., Orcutt, K. M., Poulton, A. J., Rahav, E., Raimbault, P., Rees, A. P., Riemann, L., Shiozaki, T., Subramaniam, A., Tyrrell, T., Turk-Kubo, K. A., Varela, M., Villareal, T. A., Webb, E. A., White, A. E., Wu, J. & Zehr, J. P., 31 Aug 2012, Earth System Science Data. Göttingen, Germany: Copernicus Publications, p. 47-73 27 p. (Earth System Science Data; vol. 4, no. 1).

Research output: Chapter in Book/Report/Conference proceedingChapter

global ocean
nitrogen fixation
fixation
biomass
pelagic ecosystem

Metrics and evaluation of spoken dialogue systems

Hastie, H., 2012, Data-Driven Methods for Adaptive Spoken Dialogue Systems : Computational Learning for Conversational Interfaces. Lemon, O. & Pietquin, O. (eds.). Springer, p. 131-150 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Neural Networks for Proof-Pattern Recognition

Komendantskaya, E. & Lichota, K., 2012, Artificial Neural Networks and Machine Learning – ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II. Villa, A. E. P., Duch, W., Érdi, P., Masulli, F. & Palm, G. (eds.). Springer, p. 427-434 8 p. (Lecture Notes in Computer Science; vol. 7553).

Research output: Chapter in Book/Report/Conference proceedingChapter

Pattern recognition
Neural networks
Backpropagation
Feature extraction

Practical introduction to rigid body linear complementary problem (LCP) constraint solvers

Kenwright, B. & Morgan, G., 2012, Algorithmic and Architectural Gaming Design: Implementation and Development. IGI Global, p. 159-201 43 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Physics

Reasoning about multi-process systems with the box calculus

Michaelson, G. J. & Grov, G., Jul 2012, Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers. Zsok, V., Horvath, Z. & Plasmeijer, R. (eds.). Springer, Vol. LNCS6241. p. 279-338 59 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

SOCIETIES: Where Pervasive Meets Social

Doolin, K., Roussaki, I., Roddy, M., Kalatzis, N., Papadopoulou, E., Taylor, N., Liampotis, N., McKitterick, D., Jennings, E. & Kosmides, P., 2012, The Future Internet: FIA 2012. Springer, p. 30-41 12 p. (Lecture Notes in Computer Science; vol. 7281).

Research output: Chapter in Book/Report/Conference proceedingChapter

Social Computing
Internet
Future Internet
Privacy Protection
Context-awareness
2011

Coalgebraic Derivations in Logic Programming

Komendantskaya, E. & Power, J., 2011, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, p. 352-366 15 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 12).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Logic Programming
Soundness
Completeness
Coalgebra
Correctness

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