School of Mathematical & Computer Sciences – Research Output

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

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

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 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 variational approach to solitary gravity-capillary interfacial waves with infinite depth

Breit, D. & Wahlen, E., 21 May 2019, (Accepted/In press) In : Journal of Nonlinear Science.

Research output: Contribution to journal › Article

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

Salai, A-M. & Baillie, L., 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

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

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

Copula-Based Interference Models for IoT Wireless Networks

Zheng, C., Egan, M., Clavier, L., Peters, G. W. & Gorce, J-M., 8 Feb 2019, (Accepted/In press) 2019 IEEE International Conference on Communications (ICC): Wireless Communications Symposium. IEEE, 8 p.

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

Wireless networks

Network protocols

Impulse noise

Resource allocation

Telecommunication networks

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

Deep Post-Processing for Sparse Image Deconvolution

Terris, M., Abdulaziz, A., Dabbech, A., Jiang, M., Repetti, A., Pesquet, J-C. & Wiaux, Y., 2 Apr 2019, (Submitted). 2 p.

Research output: Contribution to conference › Abstract

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., 9 Apr 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

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

Exploring Interaction with Remote Autonomous Systems using Conversational Agents

Robb, D. A., Lopes, J., Padilla, S., Laskov, A., Garcia, F. J. C., Liu, X., Scharff Willners, J., Valeyrie, N., Lohan, K., Lane, D., Patron, P., Petillot, Y., Chantler, M. J. & Hastie, H., 25 Mar 2019, (Accepted/In press) DIS '19: Proceedings of the 2019 Designing Interactive Systems Conference. ACM

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

Robots

Offshore wind turbines

Transparency

Engineers

User centered design

Exploring task-agnostic, ShapeNet-based object recognition for mobile robots

Chiatti, A., Bardaro, G., Bastianelli, E., Tiddi, I., Mitra, P. & Motta, E., 27 Feb 2019, In : CEUR Workshop Proceedings. 2322

Research output: Contribution to journal › Conference article

Open Access

File

Object recognition

Mobile robots

Color matching

Knowledge acquisition

Scalability

Extended Riemannian Geometry III: Global Double Field Theory with Nilmanifolds

Deser, A. & Saemann, C., May 2019, In : Journal of High Energy Physics. 2019, 5, 209.

Research output: Contribution to journal › Article

Open Access

File

geometry

formalism

symmetry

brackets

periodic variations

Feather arrays are patterned by interacting signalling and cell density waves

Ho, W. K. W., Freem, L., Zhao, D., Painter, K. J., Woolley, T. E., Gaffney, E. A., McGrew, M. J., Tzika, A., Milinkovitch, M. C., Schneider, P., Drusko, A., Matthäus, F., Glover, J. D., Wells, K. L., Johansson, J. A., Davey, M. G., Sang, H. M., Clinton, M. & Headon, D. J., 21 Feb 2019, In : PLoS Biology. 17, 2, e3000132.

Research output: Contribution to journal › Article

Open Access

File

Feathers

Cell Count

Ectodysplasins

Dromaiidae

Struthioniformes

Finite-time singularity formation for incompressible Euler moving interfaces in the plane

Coutand, D., Apr 2019, In : Archive for Rational Mechanics and Analysis. 232, 1, p. 337–387 51 p.

Research output: Contribution to journal › Article

Open Access

File

Finite-time Singularities

Moving Interface

Euler

Contact

Rigid Body

Fluxes in exceptional field theory and threebrane sigma-models

Chatzistavrakidis, A., Jonke, L., Lüst, D. & Szabo, R. J., May 2019, In : Journal of High Energy Physics. 2019, 5, 55.

Research output: Contribution to journal › Article

Open Access

File

brackets

derivation

geometry

Free subgroups of free products and combinatorial hypermaps

Ciobanu, L. & Kolpakov, A., May 2019, In : Discrete Mathematics. 342, 5, p. 1415-1433 19 p.

Research output: Contribution to journal › Article

Geometry and 2-Hilbert space for nonassociative magnetic translations

Bunk, S., Müller, L. & Szabo, R. J., 21 Jan 2019, In : Letters in Mathematical Physics. p. 1-40 40 p.

Research output: Contribution to journal › Article

Open Access

Gerbe

Bundle

Hilbert space

Quantization

Gerbes

Global asymptotic stability of bifurcating, positive equilibria of p-Laplacian boundary value problems with p-concave nonlinearities

Rynne, B. P., 5 Feb 2019, In : Journal of Differential Equations. 266, 4, p. 2244-2258 15 p.

Research output: Contribution to journal › Article

Global Asymptotic Stability

P-Laplacian

Positive Solution

Globally Asymptotically Stable

Boundary Value Problem

Graphical Program Transformations for Embedded Systems

Stewart, R., Berthomieu, B., Garcia, P., Ibrahim, I., Michaelson, G. & Wallace, A., 8 Apr 2019, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. ACM, p. 647-649 3 p.

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

Embedded systems

Computer systems programming

Real time systems

Field programmable gate arrays (FPGA)

Throughput

Grassmannian flows and applications to nonlinear partial differential equations

Beck, M., Doikou, A., Malham, S. J. A. & Stylianidis, I., 14 Jan 2019, Computation and Combinatorics in Dynamics, Stochastics and Control: Abelsymposium 2016. Di Nunno, G., Celledoni, E., Ebrahimi-Fard, K. & Munthe-Kaas, H. Z. (eds.). Springer, p. 71-98 28 p. (Abel Symposia; vol. 13).

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

Grassmannian

Nonlinear Partial Differential Equations

Nonlinearity

Chart

Partial differential equation