Research Output 1966 2020

2018

The generalised word problem in hyperbolic and relatively hyperbolic groups

Ciobanu, L., Holt, D. & Rees, S., 15 Dec 2018, In : Journal of Algebra. 516, p. 149-171 23 p.

Research output: Contribution to journalArticle

Open Access
File
Relatively Hyperbolic Groups
Word problem
Subgroup
Hyperbolic Groups
Quasiconvex

The Ground State of the D = 11 Supermembrane: The External Dirichlet Problem

Boulton, L., Garcia del Moral, M. P. & Restuccia, A., 25 Jun 2018, In : Journal of Physics: Conference Series. 1043, 1, 012034.

Research output: Contribution to journalConference article

Open Access
File
Dirichlet problem
uniqueness
ground state
Hilbert space

The Importance of Phase to Texture Similarity

Dong, X., Gao, Y., Dong, J. & Chantler, M. J., 23 Jan 2018, 2017 IEEE International Conference on Computer Vision Workshops (ICCVW). IEEE, p. 2758-2766 9 p.

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

Open Access
texture

The IUPHAR/BPS Guide to PHARMACOLOGY in 2018: Updates and expansion to encompass the new Guide to IMMUNOPHARMACOLOGY

Harding, S. D., Sharman, J. L., Faccenda, E., Southan, C., Pawson, A. J., Ireland, S., Gray, A. J. G., Bruce, L., Alexander, S. P. H., Anderton, S., Bryant, C., Davenport, A. P., Doerig, C., Fabbro, D., Levi-Schaffer, F., Spedding, M. & Davies, J. A., 4 Jan 2018, In : Nucleic Acids Research. 46, D1, p. D1091–D1106 16 p.

Research output: Contribution to journalArticle

Open Access
File
Clinical Pharmacology
Pharmacology
Ligands
Immune System Phenomena
Drug Discovery

The language of Stratified Sets is confluent and strongly normalising

Gabbay, M. J., 22 May 2018, In : Logical Methods in Computer Science. 14, 2, 12.

Research output: Contribution to journalArticle

Open Access
File
Stratification
Strong Normalization
Confluence
First-order Logic
Categorical or nominal

The multi-modal interface of Robot-Era multi-robot services tailored for the elderly

Di Nuovo, A., Broz, F., Wang, N., Belpaeme, T., Cangelosi, A., Jones, R., Esposito, R., Cavallo, F. & Dario, P., Jan 2018, In : Intelligent Service Robotics. 11, 1, p. 1-18 18 p.

Research output: Contribution to journalArticle

Open Access
File
Robots
Robotics
User interfaces
Aging of materials
User centered design

The Optimal Control of Storage for Arbitrage and Buffering, with Energy Applications

Cruise, J. & Zachary, S., 28 Dec 2018, Renewable Energy: Forecasting and Risk Management 2017. Mougeot, M., Picard, D., Tankov, P., Plougonven, R. & Drobinski, P. (eds.). Springer, p. 209-227 19 p. (Springer Proceedings in Mathematics & Statistics).

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

Stochastic Dynamic Programming
Arbitrage
Shock
Optimal Control
Optimization Problem

The ORCA Hub: Explainable Offshore Robotics through Intelligent Interfaces

Hastie, H., Lohan, K. S., Chantler, M. J., Robb, D., Ramamoorthy, S., Petrick, R. P. A., Vijayakumar, S. & Lane, D. M., 5 Mar 2018.

Research output: Contribution to conferencePaper

Open Access
Robotics
Intelligent systems
Transparency
Positive ions
Personnel

The Use of Automated Theory Formation in Support of Hazard Analysis

Ireland, A., Llano, M. T. & Colton, S., 11 Mar 2018, NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Dutle, A., Munoz, C. & Narkawicz, A. (eds.). Springer International Publishing, p. 237-243 7 p. (Lecture Notes in Computer Science; vol. 10811).

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

Open Access
File
hazard
safety
simulation
analysis
experiment

Thymic involution and rising disease incidence with age

Palmer, S., Albergante, L., Blackburn, C. C. & Newman, T. J., Feb 2018, In : Proceedings of the National Academy of Sciences. 115, 8, p. 1883-1888 6 p.

Research output: Contribution to journalArticle

Open Access
File
Incidence
Neoplasms
Communicable Diseases
T-Lymphocytes
Allergy and Immunology

Time domain boundary element methods for the Neumann problem: Error estimates and acoustic problems

Gimperlein, H., Oezdemir, C. & Stephan, E. P., Feb 2018, In : Journal of Computational Mathematics. 36, 1, p. 70-89 20 p.

Research output: Contribution to journalArticle

Open Access
File
Neumann Problem
Boundary Elements
Time Domain
Error Estimates
Integral Equations

Time domain boundary elements for dynamic contact problems

Gimperlein, H., Meyer, F., Özdemir, C. & Stephan, E. P., 1 May 2018, In : Computer Methods in Applied Mechanics and Engineering. 333, p. 147-175 29 p.

Research output: Contribution to journalArticle

Open Access
File
Dynamic Contact
Dynamic Problem
Contact Problem
Variational Inequalities
Boundary Elements

To Stir or Not to Stir: Online Estimation of Liquid Properties for Pouring Actions

López Guevara, T., Pucci, R., Taylor, N. K., Gutmann, M., Ramamoorthy, S. & Subr, K., 29 Jun 2018. 5 p.

Research output: Contribution to conferencePaper

Open Access
File
Fluids
Liquids
Robots
Glycerol
Brain

Towards a Design Process for Computer-Aided Biomimetics

Kruiper, R., Vincent, J. F. V., Abraham, E., Soar, R. C., Konstas, I., Chen-Burger, J. & Desmulliez, M. P. Y., 21 Jun 2018, In : Biometrics. 3, 3, 14.

Research output: Contribution to journalArticle

Open Access
File
Biomimetics
Biomimetic processes
Biological systems

Towards an M5-brane model I: A 6d superconformal field theory

Sämann, C. & Schmidt, L., Apr 2018, In : Journal of Mathematical Physics. 59, 4, 043502.

Research output: Contribution to journalArticle

Open Access
File
Branes
Field Theory
algebra
strings
Yang-Mills theory
Open Access
File
Eye Movements
Pupil
Cluster Analysis
Autism Spectrum Disorder

Towards In Vivo Genetic Programming: Evolving Boolean Networks to Determine Cell States

Taou, N. S. & Lones, M. A., 2 Mar 2018, Genetic Programming: EuroGP 2018. Springer, p. 151-165 15 p. (Lecture Notes in Computer Science; vol. 10781).

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

Open Access
File
Genetic programming
Genes
Biological systems
Evolutionary algorithms
Refining

Towards robust grasps: Using the environment semantics for robotic object affordances

Ardon Ramirez, P., Pairet Artau, È., Ramamoorthy, S. & Lohan, K. S., Oct 2018.

Research output: Contribution to conferencePaper

Uncertainty quantification for radio interferometric imaging: I. proximal MCMC methods

Cai, X., Pereyra, M. A. & McEwen, J. D., 27 Jul 2018, In : Monthly Notices of the Royal Astronomical Society. 480, 3, p. 4154–4169 16 p.

Research output: Contribution to journalArticle

Open Access
File
Markov chain
radio
pixel
sampling
hypothesis testing

Uncertainty quantification for radio interferometric imaging: II. MAP estimation

Cai, X., Pereyra, M. A. & McEwen, J. D., Nov 2018, In : Monthly Notices of the Royal Astronomical Society. 480, 3, p. 4170–4182 13 p.

Research output: Contribution to journalArticle

Open Access
File
Imaging techniques
Markov processes
Sampling
Radio astronomy
Convex optimization

Uncertainty Quantification in Imaging: When Convex Optimization Meets Bayesian Analysis

Repetti, A., Pereyra, M. A. & Wiaux, Y., 18 May 2018, (Accepted/In press) EUSIPCO 2018. IEEE, 5 p.

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

Open Access
File
Convex optimization
Imaging techniques
Inverse problems
Geometry
Uncertainty

Understanding Cyber-Risk and Cyber-Insurance

Peters, G., Shevchenko, P. V. & Cohen, R. D., 19 Feb 2018, Fintech: Growth and Deregulation. Maurice, D., Freund, J. & Fairman, D. (eds.). Risk Books

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

Understanding the interplay between covariance forecasting factor models and risk-based portfolio allocations in currency carry trades

Ames, M., Bagnarosa, G., Peters, G. W. & Shevchenko, P. V., 25 Feb 2018, In : Journal of Forecasting. p. 1-27 27 p.

Research output: Contribution to journalArticle

Currency
Factor Models
Forecasting
Heteroskedasticity
Risk Measures

Use of reliability engineering concepts in machine learning for classification

Ursani, Z. & Corne, D. W., 5 Feb 2018, IEEE 4th International Conference on Soft Computing and Machine Intelligence (ISCMI). IEEE, p. 30-34 5 p.

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

Learning systems
Machine Learning
Engineering
Classification Algorithm
Analogy

Using a Jupyter Notebook to perform a reproducible scientific analysis over semantic web sources

Gray, A. J. G., 28 Aug 2018, In : CEUR Workshop Proceedings. 2184, p. 12-24 13 p.

Research output: Contribution to journalConference article

Open Access
Semantic Web

Using Echo State Networks for Classification: A Case Study in Parkinson's Disease Diagnosis

Lacy, S. E., Smith, S. L. & Lones, M. A., Mar 2018, In : Artificial Intelligence in Medicine. 86, p. 53-59 7 p.

Research output: Contribution to journalArticle

Open Access
File
Time series analysis
Data mining
Learning systems
Feature extraction
Labels

Using Pupil Diameter to Measure Cognitive Load

Minadakis, G. & Lohan, K. S., 18 Oct 2018.

Research output: Contribution to conferencePaper

Virtual Reality: Ethical Challenges and Dangers [Opinion]

Kenwright, B., 4 Dec 2018, In : IEEE Technology and Society Magazine. 37, 4, p. 20-25 6 p.

Research output: Contribution to journalReview article

virtual reality
Virtual reality
Law
artificial intelligence
entertainment

Who said that? A comparative study of non-negative matrix factorization techniques

Krikke, T., Broz, F. & Lane, D. M., 2018, Proceedings of Interspeech 2018. p. 1234-1238 5 p.

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

Open Access
File
Factorization
Cost functions
Acoustics
Source separation
Direction of arrival

Γ-convergence of free-discontinuity problems

Cagnetti, F., Dal Maso, G., Scardia, L. & Zeppieri, C. I., 15 Nov 2018, In : Annales de l'Institut Henri Poincaré (C) Analyse Non Linéaire.

Research output: Contribution to journalArticle

Free Discontinuity Problems
Gamma Convergence
Integrand
Byproducts
Stochastic Homogenization
2017

A combination theorem for cubulation in small cancellation theory over free products

Martin, A. & Steenbock, M., 22 May 2017, In : Annales de l'Institut Fourier. 58 p.

Research output: Contribution to journalArticle

Open Access
File

A cyber-physical systems approach for controlling autonomous mobile manipulators

Rovida, F., Krueger, V., Nalpantidis, L., Charzoule, A., Lasnier, A., Petrick, R., Crosby, M., Toscano, C. & Veiga, G., 2017, Advances in Cooperative Robotics. Tokhi, M. O. & Virk, G. S. (eds.). World Scientific Publishing, p. 169-177 9 p.

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

Manipulators
Robots
Automotive industry
Robotics
Automation

Adaptable Pouring: Teaching Robots Not to Spill using Fast but Approximate Fluid Simulation

López Guevara, T., Taylor, N. K., Gutmann, M., Ramamoorthy, S. & Subr, K., 13 Nov 2017. 10 p.

Research output: Contribution to conferencePaper

Open Access
File
Hazardous materials spills
Containers
Teaching
Robots
Fluids

Adaptive time-domain boundary element methods and engineering applications

Gimperlein, H., Maischak, M. & Stephan, E. P., 2017, In : Journal of Integral Equations and Applications. 29, 1, p. 75-105 31 p.

Research output: Contribution to journalArticle

Open Access
File
Adaptive Mesh Refinement
Engineering Application
Boundary Elements
Time Domain
A Posteriori Error Analysis

Adaptive timestepping strategies for nonlinear stochastic systems

Kelly, C. & Lord, G. J., 21 Aug 2017, In : IMA Journal of Numerical Analysis. 38, 3, p. 1523–1549 27 p.

Research output: Contribution to journalArticle

Open Access
File
Nonlinear Stochastic Systems
Time Stepping
Non-Lipschitz
Numerical Scheme
Test Problems

A deterministic optimal design problem for the heat equation

Gimperlein, H. & Waters, A., 2017, In : SIAM Journal on Control and Optimization . 55, 1, p. 51-69 19 p.

Research output: Contribution to journalArticle

Open Access
File

Adiabatic Dynamics of Instantons on S4

Franchetti, G. & Schroers, B. J., Jul 2017, In : Communications in Mathematical Physics. 353, 1, p. 185–228 44 p.

Research output: Contribution to journalArticle

Open Access
File
Instantons
instantons
Metric
Moduli Space
Circle

A discussion of a risk-sharing pension plan

Donnelly, C., 14 Feb 2017, In : Risks. 5, 1, 12.

Research output: Contribution to journalArticle

Open Access
File
Pension plans
Risk sharing
Defined contribution plan
Investment strategy
Disappointment

Adversarial Approach to Prediction in Atari Games

Andrecki, M. & Taylor, N. K., 7 Jun 2017. 2 p.

Research output: Contribution to conferencePaper

Open Access
File
Reinforcement learning
Neural networks

AF inverse monoids and the structure of countable MV-algebras

Lawson, M. & Scott, P., Jan 2017, In : Journal of Pure and Applied Algebra.

Research output: Contribution to journalArticle

Open Access
File

Aggregation of biological particles under radial directional guidance

Bica, I., Hillen, T. & Painter, K. J., 1 Aug 2017, In : Journal of Theoretical Biology. 427, p. 77-89

Research output: Contribution to journalArticle

Open Access
File

A gluing construction for periodic monopoles

Foscolo, L., 1 Dec 2017, In : International Mathematics Research Notices. 2017, 24, p. 7504-7550

Research output: Contribution to journalArticle

Open Access
File
Gluing
Monopole
Singularity
Moduli Space
Four-manifolds

Alana: Social Dialogue using an Ensemble Model and a Ranker trained on User Feedback

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

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

Open Access
Feedback
Learning systems
Boring
Experiments
Open Access
Global Well-posedness
Nonlinear Wave Equation
Energy
Global Existence
Rough

A mechanistic spatio-temporal framework for modelling individual-to-individual transmission—With an application to the 2014-2015 West Africa Ebola outbreak

Lau, M. S. Y., Gibson, G. J., Adrakey, H., McClelland, A., Riley, S., Zelner, J., Streftaris, G., Funk, S., Metcalf, J., Dalziel, B. D. & Grenfell, B. T., 30 Oct 2017, In : PLOS Computational Biology. 13, 10, e1005798.

Research output: Contribution to journalArticle

Open Access
File
Machinery
Global positioning system
Availability
Acoustic waves
Open Access
File
Economics
Technology
Renewable Energy
Compressed Air
Stochastic Processes

Among-site variability in the stochastic dynamics of East African coral reefs

Allen, K. A., Bruno, J. F., Chong, F., Clancy, D., McClanahan, T. R., Spencer, M. & Zychaluk, K., 17 May 2017, In : PeerJ. 5, e3290.

Research output: Contribution to journalArticle

Open Access
File

Analysing and Improving Embedded Markup of Learning Resources on the Web

Dietze, S., Taibi, D., Yu, R., Barker, P. & d'Anquin, M., 3 Apr 2017, Proceedings of the 26th International Conference on World Wide Web Companion. ACM, p. 283-292 10 p.

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

Open Access
File
resources
learning
vocabulary
heuristics
community

Analytical and computational modelling for wave energy systems: the example of oscillating wave surge converters

Dias, F., Renzi, E., Gallagher, S., Sarkar, D., Wei, Y., Abadie, T., Cummins, C. & Rafiee, A., Aug 2017, In : Acta Mechanica Sinica. 33, 4, p. 647-662 16 p.

Research output: Contribution to journalArticle

Open Access
File
wave energy
modeling
sustainability
fluid mechanics
cost
Open Access
File
Generalized Finite Element Method
Heat Diffusion
A Posteriori Error Estimates
Diffusion Problem
Error Indicator