Research Output 1966 2020

2017

An Ensemble Model with Ranking for Social Dialogue

Papaioannou, I., Cercas Curry, A., Part, J., Shalyminov, I., Xinnuo, X., Yu, Y., Dusek, O., Rieser, V. & Lemon, O., 2017.

Research output: Contribution to conferencePaper

Open Access
Learning systems
Feedback
Artificial intelligence

A New Evolutionary Algorithm-Based Home Monitoring Device for Parkinson's Dyskinesia

Lones, M. A., Alty, J. E., Cosgrove, J., Duggan-Carter, P., Jamieson, S., Naylor, R. F., Turner, A. J. & Smith, S. L., Nov 2017, In : Journal of Medical Systems. 41, 11, 8 p., 176.

Research output: Contribution to journalArticle

Open Access
File
Dyskinesias
Equipment and Supplies
Dopamine
Parkinson Disease
Movement Disorders

A new model of viscous dissipation for an oscillating wave surge converter

Cummins, C. P. & Dias, F. A., Apr 2017, In : Journal of Engineering Mathematics. 103, 1, p. 195-216 22 p.

Research output: Contribution to journalArticle

Open Access
File
converters
dissipation
hydrodynamic coefficients
viscous drag
flow theory

An Identifier Scheme for the Digitising Scotland Project

Akgün, Ö., Alsadeeqi, A., Christen, P., Dalton, T., Dearle, A., Dibben, C., Garrett, E., Gray, A. J. G., Kirby, G. & Reid, A., 2017, (Accepted/In press).

Research output: Contribution to conferenceAbstract

File

An interface for supporting asynchronous multi-level collaborative information retrieval

Htun, N. N., Halvey, M. & Baillie, L., 7 Mar 2017, CHIIR 2017 - Proceedings of the 2017 Conference Human Information Interaction and Retrieval. ACM, p. 225-234 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Information retrieval
Feedback

An optimal Schwarz preconditioner for a class of parallel adaptive finite elements

Loisel, S. & Nguyen, H., Sep 2017, In : Journal of Computational and Applied Mathematics. 321, p. 90–107 18 p.

Research output: Contribution to journalArticle

Open Access
File
Adaptive Finite Elements
Preconditioner
Mesh
Smallest Eigenvalue
Largest Eigenvalue

A note on the acylindrical hyperbolicity of groups acting on CAT(0) cube complexes

Chatterji, I. & Martin, A., 13 Sep 2017, (Accepted/In press) Proceedings of the conference "Beyond hyperbolicity". Cambridge University Press, (London Mathematical Society Lecture Notes Series).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

A perspective on non-commutative frame theory

Kudryavtseva, G. & Lawson, M., 30 Apr 2017, In : Advances in Mathematics. 311, p. 378-468 91 p.

Research output: Contribution to journalArticle

Open Access
File
Adjunction
Topological Category
Quantale
Restriction
Semigroup

A priori error estimates for a time-dependent boundary element method for the acoustic wave equation in a half-space.

Gimperlein, H., Nehzi, Z. & Stephan, E. P., 30 Jan 2017, In : Mathematical Methods in the Applied Sciences. 40, 2, p. 448-462 15 p.

Research output: Contribution to journalArticle

Open Access
File
Anisotropic Sobolev Spaces
A Priori Error Estimates
Boundary Integral
Acoustic Waves
A Priori Estimates

A productivity checker for logic programming

Komendantskaya, E., Johann, P. & Schmidt, M., 25 Jul 2017, Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Revised Selected Papers. Springer, Vol. 10184. p. 168-186 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10184 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Logic programming
Logic Programming
Productivity
Termination
Term
Open Access
File
Global Well-posedness
Nonlinear Wave Equation
Energy

A Review of Evaluation Techniques for Social Dialogue Systems

Cercas Curry, A., Hastie, H. & Rieser, V., 28 Aug 2017, (Accepted/In press) Investigating Social Interactions with Artificial Agents: ICMI 2017 satellite workshop.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A review of spatial reasoning and interaction for real-world robotics

Landsiedel, C., Rieser, V., Walter, M. & Wollherr, D., 19 Jan 2017, In : Advanced Robotics. p. 1-21 21 p.

Research output: Contribution to journalArticle

Navigation
Robotics
Robots
Human robot interaction
Semantics

Artificial Epigenetic Networks: Automatic Decomposition of Dynamical Control Tasks using Topological Self-Modification

Turner, A. P., Caves, L. S. D., Stepney, S., Tyrrell, A. M. & Lones, M. A., Jan 2017, In : IEEE Transactions on Neural Networks and Learning Systems. 28, 1, p. 218-230 13 p.

Research output: Contribution to journalArticle

Open Access
File
Decomposition
Controllers
Robustness (control systems)
Genes
Cells

A ruin theoretic design approach for wireless cellular network sharing with facilities

Egan, M., Peters, G. W., Nevat, I., Shirvanimoghaddam, M. & Collings, I. B., Jul 2017, In : Transactions on Emerging Telecommunications Technologies. 28, 7, e3141.

Research output: Contribution to journalArticle

Stadiums
Resource allocation
Wireless networks
Fibers
Costs

A Situation-Aware Fear Learning (SAFEL) Model for Robots

Rizzi, C., Johnson, C. G., Fabris, F. & Vargas, P. A., 19 Jan 2017, In : Neurocomputing. 221, p. 32–47 16 p.

Research output: Contribution to journalArticle

Open Access
File
Robots
Expert systems
Brain
Data storage equipment
Experiments

A space-jump derivation for non-local models of cell-cell adhesion and non-local chemotaxis

Buttenschoen, A., Hillen, T., Gerisch, A. & Painter, K. J., 8 Jun 2017, In : Journal of Mathematical Biology. p. 1-28 28 p.

Research output: Contribution to journalArticle

Open Access
File
Cell Adhesion
Chemotaxis
Jump
Cell
Adhesion

A stein type lemma for the multivariate generalized hyperbolic distribution

Vanduffel, S. & Yao, J., 1 Sep 2017, In : European Journal of Operational Research. 261, 2, p. 606-612 7 p.

Research output: Contribution to journalArticle

Generalized Hyperbolic Distribution
Multivariate Distribution
Finance
Lemma
Decision theory

Asynchronous Discrete Event Schemes for PDEs

Stone, D., Geiger, S. & Lord, G. J., 1 Aug 2017, In : Journal of Computational Physics. 342, p. 161–176 16 p.

Research output: Contribution to journalArticle

Open Access
File
Advection
Discrete event simulation
Porous materials
Fluxes
Experiments

A Trefftz Polynomial Space-Time Discontinuous Galerkin Method for the Second Order Wave Equation

Banjai, L., Georgoulis, E. H. & Lijoka, O., Jan 2017, In : SIAM Journal on Numerical Analysis. 55, 1, p. 63-86 24 p.

Research output: Contribution to journalArticle

Open Access
File

Attack Modeling for System Security Analysis

Altawairqi, A. & Maarek, M., 2017, Computer Safety, Reliability, and Security: SAFECOMP 2017. Goos, G., Hartmanis, J. & van Leeuwen, J. (eds.). Springer, p. 81-86 6 p. (Lecture Notes in Computer Science; vol. 10489).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Security systems

A unified approach to mortality modelling using state-space framework: characterisation, identification, estimation and forecasting

Fung, M. C., Peters, G. W. & Shevchenko, P. V., 1 Sep 2017, In : Annals of Actuarial Science. 11, 2, p. 343-389

Research output: Contribution to journalArticle

Automatically Correcting Semantic Errors in Programming Assignments

Trevett, B., Reay, D. & Taylor, N., 18 Sep 2017. 4 p.

Research output: Contribution to conferencePaper

Open Access
File
error correction
student
code
programme

Basis Risk in Index Based Longevity Hedges: A Guide For Longevity Hedgers

Cairns, A. J. G. & El Boukfaoui, G., 7 Dec 2017, (Accepted/In press) In : North American Actuarial Journal.

Research output: Contribution to journalArticle

Basis risk
Hedge
Solvency II
Exhaustion
Regulatory capital

Bayesian Inference for Dynamic Cointegration Models with Application to Soybean Crush Spread

Marówka, M., Peters, G., Kantas, N. & Bagnarosa, G., 1 May 2017, SSRN.

Research output: Working paper

Bayesian inference
Cointegration
Soybean
Markov chain Monte Carlo
Refinery

Bayesian Modelling, Monte Carlo Sampling and Capital Allocation of Insurance Risks

Peters, G., Targino, R. & Wüthrich, M., 20 Dec 2017, In : Risks. 5, 4, p. 53

Research output: Contribution to journalArticle

Open Access

Bio-inspired animated characters: A mechanistic & cognitive view

Kenwright, B., 19 Jan 2017, 2016 Future Technologies Conference (FTC). IEEE, p. 1079-1087 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Brain
brain
Animation
Drawing (graphics)
cognitive learning

Bioschemas: From Potato Salad to Protein Annotation

Bioschemas Community, 2017, Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks. CEUR-WS, 4 p. (CEUR Workshop Proceedings; vol. 1963).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
salads
potatoes
engines
tail
genes

Bioschemas.org

Goble, C., Jimenez, R. C., Gray, A. J. G., Beard, N., Profiti, G., Morrison, N. & Bioschemas Consortium, Jul 2017.

Research output: Contribution to conferencePoster

File
Biological Science Disciplines
Registries
Controlled Vocabulary
Plant Proteins
Licensure

Blockchain Architectures for Electronic Exchange Reporting Requirements: EMIR, Dodd Frank, MiFID I/II, MiFIR, REMIT, Reg NMS and T2S.

Peters, G. & Vishnia, G., 2017, Handbook of Blockchain, Digital Finance, and Inclusion: Cryptocurrency, FinTech, InsurTech, Regulation, ChinaTech, Mobile Security, and Distributed Ledger. Elsevier Science, Vol. 2. p. 271-329

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Bootstrapping dialogue systems: the contribution of a semantic model of interactional dynamics

Eshghi, A., Shalyminov, I. & Lemon, O., Jun 2017, Proceedings of the Conference on Logic and Machine Learning in Natural Language (LaML 2017). Dobnik, S. & Lappin, S. (eds.). p. 79-84

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Semantics
Reinforcement learning
Linguistics
Learning systems
Experiments

Bootstrapping incremental dialogue systems from minimal data: the generalisation power of dialogue grammars

Eshghi, A., Shalyminov, I. & Lemon, O., Sep 2017, Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 2220-2230 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Semantics
Reinforcement learning
Linguistics
Experiments

BPS states in the Minahan-Nemeschansky E6 theory

Hollands, L. & Neitzke, A., Jul 2017, In : Communications in Mathematical Physics. 353, 1, p. 317–351 35 p.

Research output: Contribution to journalArticle

Open Access
File
electromagnetism
space charge
rays
purity
fine structure

Brief review of video games in learning & education how far we have come

Kenwright, B., 27 Nov 2017, SIGGRAPH Asia 2017 Symposium on Education. ACM, 3

Research output: Chapter in Book/Report/Conference proceedingConference contribution

computer game
Education
learning
education
Computer games

Capacity Bounds for Additive Symmetric α -Stable Noise Channels

De Freitas, M. L., Egan, M., Clavier, L., Goupil, A., Peters, G. W. & Azzaoui, N., Aug 2017, In : IEEE Transactions on Information Theory. 63, 8, p. 5115-5123 9 p.

Research output: Contribution to journalArticle

channel noise
random noise
approximation
telecommunication
moments

Challenging neural dialogue models with natural data: Memory networks fail on incremental phenomena

Shalyminov, I., Eshghi, A. & Lemon, O., Aug 2017, Proceedings of the 21st Workshop on the Semantics and Pragmatics of Dialogue (SemDial 2017 - SaarDial). Petukhova, V. & Tian, Y. (eds.). p. 125-133

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Semantics
Data storage equipment
Learning systems
Processing

Closed inverse subsemigroups of graph inverse semigroups

Alali, A. S. & Gilbert, N., 2 Nov 2017, In : Communications in Algebra. 45, 11, p. 4667-4678 12 p.

Research output: Contribution to journalArticle

Open Access
File
Inverse Semigroup
Closed
Graph in graph theory
Conjugacy
Coset

Coinductive soundness of corecursive type class resolution

Farka, F., Komendantskaya, E. & Hammond, K., 25 Jul 2017, Logic-Based Program Synthesis and Transformation: LOPSTR 2016. Springer, p. 311-327 17 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Soundness
Glossaries
Acoustic waves
Horn clause
Haskell

Colour-based forwarding scheme with variable-range transmission power in AODV

Alghamdi, A. A., King, P. J. B. & Mirza, N. S., 4 May 2017, 2017 Wireless Days. IEEE, p. 248-251 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Power transmission
Color
Redundancy
Packet loss
Broadcasting

Combining chat and task-based multimodal dialogue for more engaging HRI: A scalable method using reinforcement learning

Papaioannou, I. & Lemon, O., 6 Mar 2017, Proceedings of the Companion of the 2017 ACM/IEEE International Conference on Human-Robot Interaction. IEEE, p. 365-366 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Reinforcement learning
Human robot interaction

Combining Soft Robotics and Brain-Machine Interfaces for Stroke Rehabilitation

Vargas, P. A., Brasil, F. L., McConnell, A. C., Vallejo, M., Corne, D. W., Stokes, A. A. & Moioli, R. C., 2017, Converging Clinical and Engineering Research on Neurorehabilitation II: Proceedings of the 3rd International Conference on NeuroRehabilitation (ICNR2016), October 18-21, 2016, Segovia, Spain. Ibáñez, J., González-Vargas, J., Azorín, J. M., Akay, M. & Pons, J. L. (eds.). Springer, p. 1257-1262 6 p. (Biosystems & Biorobotics; vol. 15).

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Orthotics
Physical therapy
Patient rehabilitation
Brain
Robotics

Complexes of groups and geometric small cancellation over graphs of groups

Martin, A., Dec 2017, In : Bulletin de la Société Mathématique de France. 145, 2, p. 193-223 31 p.

Research output: Contribution to journalArticle

Graph of Groups
Cancellation
Hyperbolicity
Finiteness
Fundamental Group

Compressible Fluids Driven by Stochastic Forcing: The Relative Energy Inequality and Applications

Breit, D., Feireisl, E. & Hofmanová, M., Mar 2017, In : Communications in Mathematical Physics. 350, 2, p. 443–473 31 p.

Research output: Contribution to journalArticle

Open Access
File
Energy Inequality
Compressible Fluid
Forcing
Navier-Stokes System
Uniqueness

Compressible Fluids Interacting with a Linear-Elastic Shell

Breit, D. & Schwarzacher, S., 29 Nov 2017, In : Archive for Rational Mechanics and Analysis. p. 1-68 68 p.

Research output: Contribution to journalArticle

Open Access
File
Compressible Fluid
Shell
Self-intersection
Existence of Weak Solutions
Moving Boundary

Computational investigation of porous media phase field formulations: Microscopic, effective macroscopic, and Langevin equations

Ververis, A. & Schmuck, M., 1 Sep 2017, In : Journal of Computational Physics. 344, p. 485–498 14 p.

Research output: Contribution to journalArticle

porosity
formulations
geometry
thermal noise
homogenizing

Computer usage and attitudes among Saudi Arabian undergraduate students

Alothman, M., Robertson, J. & Michaelson, G. J., Jul 2017, In : Computers and Education. 110, p. 127–142 16 p.

Research output: Contribution to journalArticle

Open Access
File
university
student
Saudi Arabia
English language
gender

Conserved Currents in the Six-Vertex and Trigonometric Solid-On-Solid Models

Ikhlef, Y. & Weston, R. A., 17 Mar 2017, In : Journal of Physics A: Mathematical and General. 50, 16, 31 p., 164003.

Research output: Contribution to journalArticle

Open Access
File
apexes
operators
screening
bosons
anisotropy

Convergence of interaction-driven evolutions of dislocations with Wasserstein dissipation and slip-plane confinement

Mora, M. G., Peletier, M. A. & Scardia, L., 2017, In : SIAM Journal on Mathematical Analysis. 49, 5, p. 4149–4205 57 p.

Research output: Contribution to journalArticle

Open Access
File
Dislocation
Slip
Quasistatic Evolution
Dissipation
Empirical Measures

Corrigendum - Analytic representation theory of Lie groups: general theory and analytic globalizations of Harish-Chandra modules

Gimperlein, H., Krötz, B. & Schlichtkrull, H., Jan 2017, In : Compositio Mathematica. 153, 1, p. 214-217 4 p.

Research output: Contribution to journalArticle

Open Access
File
Harish-Chandra Modules
Globalization
Representation Theory
Theorem

Coupling any number of balls in the infinite-bin model

Chernysh, K. & Ramassamy, S., Jun 2017, In : Journal of Applied Probability. 54, 2, p. 540-549 10 p.

Research output: Contribution to journalArticle

Ball
Regeneration
Convergence Results
Model
Configuration