School of Mathematical & Computer Sciences

Research Output 1966 2020

2019

A Business Card Reader Application for iOS devices based on Tesseract

Dangiwa, B. A. & Kumar, S. S., 18 Feb 2019, 2018 International Conference on Signal Processing and Information Security (ICSPIS). IEEE, 8642727

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Industry
Optical character recognition
Smartphones
Mobile phones
Cameras

A combination theorem for combinatorially non-positively curved complexes of hyperbolic groups

Martin, A. & Osajda, D., 21 Aug 2019, (Accepted/In press) In : Mathematical Proceedings of the Cambridge Philosophical Society.

Research output: Contribution to journal › Article

Acylindrical actions on CAT(0) square complexes

Martin, A., 31 May 2019, (Accepted/In press) In : Groups, Geometry, and Dynamics.

Research output: Contribution to journal › Article

A Digital Twin for Human-Robot Interaction

Pairet, È., Ardon, P., Liu, X., Lopes, J., Hastie, H. & Lohan, K. S., 25 Mar 2019, 2019 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI). IEEE, p. 372-372 1 p. (ACM/IEEE International Conference on Human-Robot Interaction (HRI)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Human robot interaction
Unmanned aerial vehicles (UAV)
Simulators
Robots
Industry

A dual construction of the isotropic Landau-Lifshitz model

Findlay, I., 8 Jun 2019, In : Physica D: Nonlinear Phenomena. 398, p. 13-22 10 p.

Research output: Contribution to journal › Article

brackets
curvature
formalism

A faceted prior for scalable wideband computational imaging

Thouvenin, P-A., Abdulaziz, A., Jiang, M., Repetti, A. & Wiaux, Y., 2 Jul 2019.

Research output: Contribution to conference › Abstract

Open Access
File
astronomy
radio
state of the art
norm

A Faceted Prior for Scalable Wideband Imaging: Application to Radio Astronomy

Thouvenin, P-A., Abdulaziz, A., Jiang, M., Repetti, A. & Wiaux, Y., 19 Jul 2019, (Submitted) 2019 IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP). Guadeloupe, West Indies

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

File
Radio astronomy
Imaging techniques
Convex optimization
Telescopes
Frequency bands

ALF gravitational instantons and collapsing Ricci-flat metrics on the K3 surface

Foscolo, L., 8 May 2019, In : Journal of Differential Geometry. 112, 1, p. 79-120 42 p.

Research output: Contribution to journal › Article

Open Access
File
K3 Surfaces
Collapsing
Instantons
Metric
Torus

Algebraic structures and stochastic differential equations driven by Lévy processes

Curry, C., Ebrahimi-Fard, K., Malham, S. J. A. & Wiese, A., 23 Jan 2019, In : Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 475, 2221, 20180567.

Research output: Contribution to journal › Article

Open Access
File
integrators
Lévy Process
Algebraic Structure
Stochastic Equations
Differential equations

Algorithmic aspects of enriched time domain boundary element methods

Gimperlein, H. & Stark, D., Mar 2019, In : Engineering Analysis with Boundary Elements. 100, p. 118-124 7 p.

Research output: Contribution to journal › Article

Open Access
File
Boundary element method
Wave propagation

A Multi-Term Basis Criterion for Families of Dilated Periodic Functions

Boulton, L. & Melkonian, H., 7 Jan 2019, In : Zeitschrift für Analysis und ihre Anwendungen. 38, 1, p. 107–124 18 p.

Research output: Contribution to journal › Article

Periodic Functions
Multiplier
Riesz Basis
Invertibility
Fourier coefficients

An Advanced Estimation Algorithm for Ground-Motion Models with Spatial Correlation

Deyu, M., Huang, C., Peters, G. W. & Galasso, C., 1 Apr 2019, In : Bulletin of the Seismological Society of America. 109, 2, p. 541-566 26 p.

Research output: Contribution to journal › Article

ground motion
scoring
Earthquakes
earthquakes
prediction

An architecture for emotional facial expressions as social signals

Aylett, R., Ritter, C., Lim, M. Y., Broz, F., McKenna, P., Keller, I. & Rajendran, G., 19 Mar 2019, In : IEEE Transactions on Affecticve Computing.

Research output: Contribution to journal › Article

Open Access
File
Mirrors
Processing

An efficient multi-objective optimization method for use in the design of marine protected area networks

Fox, A. D., Corne, D. W., Mayorga Adame, C. G., Polton, J. A., Henry, L-A. & Roberts, J. M., 5 Feb 2019, In : Frontiers in Marine Science. 6, 17.

Research output: Contribution to journal › Article

Open Access
File
system optimization
Multiobjective optimization
protected area
conservation areas
methodology

An improved variable sample size and sampling interval S control chart

Khoo, M. B. C., See, M. Y., Chong, N. L. & Teoh, W. L., Feb 2019, In : Quality and Reliability Engineering International. 35, 1, p. 392-404 13 p.

Research output: Contribution to journal › Article

Sampling
Control charts
Sample size
Charts
MATLAB

A non-linear kinetic model of self-propelled particles with multiple equilibria

Buttà, P., Flandoli, F., Ottobre, M. & Zegarlinski, B., 8 Jan 2019, (Accepted/In press) In : Kinetic and Related Models.

Research output: Contribution to journal › Article

A note on joint mix random vectors

Xiao, Y. & Yao, J., 3 Apr 2019, In : Communications in Statistics - Theory and Methods.

Research output: Contribution to journal › Article

Random Vector
Covariance matrix
Marginal Distribution
Gaussian distribution
Methodology

A PDE approach to fractional diffusion: a space-fractional wave equation

Banjai, L. & Otárola, E., 25 Jun 2019, In : Numerische Mathematik. 143, 1, p. 177-222 46 p.

Research output: Contribution to journal › Article

Fractional Diffusion
Wave equations
Wave equation
Fractional
Hp-FEM

A stochastic implementation of the APCI model for mortality projections

Richards, S. J., Currie, I. D., Kleinow, T. & Ritchie, G. P., 28 Mar 2019, In : British Actuarial Journal. 24, e13.

Research output: Contribution to journal › Article

Open Access
File
mortality
targeting
simulation

A tribute to John B. Fountain

Gould, V. A. R. & Lawson, M. V., Aug 2019, In : Semigroup Forum. 99, 1, p. 1-8 8 p.

Research output: Contribution to journal › Article

Open Access
File
Semigroup Theory
Life
Influence

Automorphisms of graph products of groups from a geometric perspective

Genevois, A. & Martin, A., 4 Jul 2019, (Accepted/In press) In : Proceedings of the London Mathematical Society.

Research output: Contribution to journal › Article

A Variational Approach to Solitary Gravity–Capillary Interfacial Waves with Infinite Depth

Breit, D. & Wahlen, E., 15 Jun 2019, In : Journal of Nonlinear Science. p. 1-55 55 p.

Research output: Contribution to journal › Article

Open Access
File
Variational Approach
Gravity
Gravitation
Solitary Waves
Solitons

A Wee Bit More Interaction: Designing and Evaluating an Overactive Bladder App

Salai, A-M. & Baillie, L., 2 May 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, Inc

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Application programs
Feedback
mHealth

Basic and extendable framework for effective charge transport in electrochemical systems

Molla, J. & Schmuck, M., 25 Mar 2019, In : Applied Mathematics Letters. 95, p. 85-91 7 p.

Research output: Contribution to journal › Article

electrolytes
cathodes
formulations
composite materials
lithium batteries

Benchmarking Natural Language Understanding Services for building Conversational Agents

Liu, X., Eshghi, A., Swietojanski, P. & Rieser, V., 24 Apr 2019.

Research output: Contribution to conference › Paper

Open Access

BNF-Style Notation as It Is Actually Used

Quinlan, D., Wells, J. B. & Kamareddine, F., 3 Jul 2019, Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Proceedings: CICM 2019. Sacerdoti Coen, C., Kohlhase, A., Brady, E. & Kaliszyk, C. (eds.). Springer, p. 187-204 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11617 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Notation
Syntax
Entity
Strings
Offspring

Bridging the Digital Skills Gap Are computing degree apprenticeships the answer?

Taylor-Smith, E., Berg, T., Smith, S., Meharg, D., Fabian, K. & Varey, A., 11 Mar 2019, (Accepted/In press) ITiCSE 2019, the 24th Annual Conference on Innovation and Technology in Computer Science Education.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
apprenticeship
apprentice
graduate
qualification
shortage

Chemically Reduced Graphene Oxide-Reinforced Poly(Lactic Acid)/Poly(Ethylene Glycol) Nanocomposites: Preparation, Characterization, and Applications in Electromagnetic Interference Shielding

Ahmad, A. F., Aziz, S. A., Abbas, Z., Obaiys, S. J., Matori, K. A., Mohd Zaid, M. H., Raad, H. K. & Aliyu, U. S., 11 Apr 2019, In : Polymers. 11, 4, 661.

Research output: Contribution to journal › Article

Open Access
File
Nanocomposites
Graphite
Ethylene Glycol
Electromagnetic Phenomena
Oxides

Co-Created Design of a Serious Game Investigation into Developer-Centred Security

Maarek, M., Louchart, S., McGregor, L. & McMenemy, R., 22 Jan 2019, Games and Learning Alliance: GALA 2018. Söbke, H., Gentile, M. & Allegra, M. (eds.). Springer, p. 221-231 11 p. (Lecture Notes in Computer Science; vol. 11385).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Software engineering
Serious games
Experiments

Cohort Effects in Mortality Modelling: A Bayesian State-Space Approach

Fung, M. C., Peters, G. W. & Shevchenko, P. V., Mar 2019, In : Annals of Actuarial Science. 13, 1, p. 109-144 36 p.

Research output: Contribution to journal › Article

Open Access
File
State space
Mortality
Cohort effect
Cohort
Modeling

Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses

Basold, H., Komendantskaya, E. & Li, Y., 2019, Programming Languages and Systems: ESOP 2019. Caires, L. (ed.). Springer, p. 783-813 31 p. (Lecture Notes in Computer Science; vol. 11423).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Coinduction
Proof Search
Horn clause
Soundness
Semantics

Commutator estimates on contact manifolds and applications

Gimperlein, H. & Goffeng, M., 11 Mar 2019, In : Journal of Noncommutative Geometry. 13, 1, p. 363-406 44 p.

Research output: Contribution to journal › Article

Open Access
File
Commutator Estimate
Contact Manifold
Commutator
Schatten Class
Spectral Triples

Computing in the classroom: Learning Programming with educational robots

Berg, T., Jan 2019.

Research output: Contribution to conference › Paper

robot
programming
classroom
learning
student

Continual lifelong learning with neural networks: A review

Parisi, G. I., Kemker, R., Part, J. L., Kanan, C. & Wermter, S., May 2019, In : Neural Networks. 113, p. 54-71 18 p.

Research output: Contribution to journal › Article

Open Access
File
Learning systems
Autonomous agents
Neural networks
Data storage equipment
Biological systems

Control of Energy Storage with Market Impact: Lagrangian Approach and Horizons

Cruise, R. J. R., Flatley, L., Gibbens, R. J. & Zachary, S., 15 Jan 2019, In : Operations Research. 67, 1, p. 1-9 9 p.

Research output: Contribution to journal › Article

Open Access
File
Energy storage
Market impact
Forecast horizon
Energy market
Modeling

Convolutional neural networks in APL

Šinkarovs, A., Bernecky, R. & Scholz, S-B., 8 Jun 2019, Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming. Gibbons, J. (ed.). ACM, p. 69-79 11 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
Neural networks
Specifications
DSL
Learning systems
Experiments

Copula-Based Interference Models for IoT Wireless Networks

Zheng, C., Egan, M., Clavier, L., Peters, G. W. & Gorce, J-M., 15 Jul 2019, ICC 2019 - 2019 IEEE International Conference on Communications (ICC). IEEE, 8761783. (IEEE International Conference on Communications (ICC)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Wireless networks
Network protocols
Impulse noise
Resource allocation
Telecommunication networks

Corpus of Multimodal Interaction for Collaborative Planning

Katsakioris, M., Laskov, A., Konstas, I. & Hastie, H., 6 Jun 2019, Proceedings of the Combined Workshop on Spatial Language Understanding (SpLU) and Grounded Communication for Robotics (RoboNLP). Association for Computational Linguistics, p. 1-6 6 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Feedback
Planning

Counting Cliques and Cycles in Scale-Free Inhomogeneous Random Graphs

Janssen, A. J. E. M., van Leeuwaarden, J. S. H. & Shneer, S., Apr 2019, In : Journal of Statistical Physics. 175, 1, p. 161-184 24 p.

Research output: Contribution to journal › Article

Open Access
File
Clique
Random Graphs
Counting
Cycle
Infinite Variance

Critical Ising model with boundary magnetic field: RG interface and effective Hamiltonians

Konechny, A., Apr 2019, In : Journal of High Energy Physics. 2019, 4, 1.

Research output: Contribution to journal › Article

Open Access
File
Ising model
free boundaries
boundary conditions
operators
magnetic fields

Data Quality Issues in Current Nanopublications

Asif, I., Chen-Burger, J. & Gray, A. J. G., 29 Jul 2019, (Accepted/In press) 2019 IEEE 15th International Conference on e-Science (e-Science). IEEE

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

Deep Post-Processing for Sparse Image Deconvolution

Terris, M., Abdulaziz, A., Dabbech, A., Jiang, M., Repetti, A., Pesquet, J-C. & Wiaux, Y., 1 Jul 2019. 2 p.

Research output: Contribution to conference › Abstract

Open Access
File
Deconvolution
Astronomy
Processing
Scalability
Imaging techniques

Development of an optical biosensor for the detection of Trypanosoma evansi and Plasmodium berghei

Theint, H. T., Walsh, J. E., Tung, W. S., Leong, K. V. G. & Shitan, M., 5 Jul 2019, In : Spectrochimica Acta - Part A: Molecular and Biomolecular Spectroscopy. 218, p. 348-358 11 p.

Research output: Contribution to journal › Article

Trypanosoma
Plasmodium berghei
Biosensing Techniques
Infection
Plasmodium

Efficiency of island homing by sea turtles under multimodal navigating strategies

Painter, K. J. & Plochocka, A., 10 Jan 2019, In : Ecological Modelling. 391, p. 40-52 13 p.

Research output: Contribution to journal › Article

turtle
geomagnetic field
odor
navigation
nest

Electro-rheological fluids under random influences: martingale and strong solutions

Breit, D. & Gmeineder, F., 18 Mar 2019, In : Stochastics and Partial Differential Equations: Analysis and Computations.

Research output: Contribution to journal › Article

Open Access
File

Evaluating the State-of-the-Art of End-to-End Natural Language Generation: The E2E NLG Challenge

Dušek, O., Novikova, J. & Rieser, V., 3 Jul 2019, In : Computer Speech and Language. 59, p. 123-156 34 p.

Research output: Contribution to journal › Article

Open Access
File
Natural Language Generation
Syntactics
Decoding
Learning systems
Semantics

Every group is the outer automorphism group of an HNN-extension of a fixed triangle group

Logan, A. D., 2 Jul 2019, In : Advances in Mathematics. 353, p. 116-152 37 p.

Research output: Contribution to journal › Article

Triangle Group
HNN Extension
Outer Automorphism Groups
Subgroup
Equilateral triangle

Evolutionary Acquisition of Complex Traits in Artificial Epigenetic Networks

Turner, A., Tyrrell, A., Trefzer, M. & Lones, M., Feb 2019, In : BioSystems. 176, p. 17-26 10 p.

Research output: Contribution to journal › Article

Open Access
File
Topology
Biological systems
Gene expression

Exact multiplicity and stability of solutions of a 1-dimensional, p-Laplacian problem with positive convex nonlinearity

Rynne, B. P., Jun 2019, In : Nonlinear Analysis: Theory, Methods and Applications. 183, p. 271-283 13 p.

Research output: Contribution to journal › Article

Experiential AI

Hemment, D., Aylett, R., Belle, V., Murray-Rust, D., Luger, E., Hillston, J., Rovatsos, M. & Broz, F., Apr 2019, In : AI Matters. 5, 1, p. 25-31 7 p.

Research output: Contribution to journal › Article

Transparency
Artificial intelligence