School of Mathematical &amp; Computer Sciences &ndash; 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

A Cellular Automata-Based Path-Planning for a Cooperative and Decentralized Team of Robots

Oliveira, G. M. B., Silva, R. G. O., Ferreira, G. B. S., Couceiro, M. S., Do Amaral, L. R., Vargas, P. A. & Martins, L. G. A., 8 Aug 2019, 2019 IEEE Congress on Evolutionary Computation (CEC). IEEE, p. 739-746 8 p.

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

Cellular automata

Path Planning

Motion planning

Cellular Automata

Decentralized

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 deep learning approach for slice to volume biomedical image integration

Almogadwy, B., McLeod, K. & Burger, A., 29 May 2019, ICBBT'19 Proceedings of the 2019 11th International Conference on Bioinformatics and Biomedical Technology. ACM, p. 62-68 7 p.

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

Image registration

Medical imaging

Neural networks

Medical applications

Computer vision

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

Involution

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

Algebraic Structure

Stochastic Equations

Differential 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

A new class of exponential integrators for SDEs with multiplicative noise

Erdogan, U. & Lord, G. J., Apr 2019, In : IMA Journal of Numerical Analysis. 39, 2, p. 820-846 27 p.

Research output: Contribution to journal › Article

Open Access

File

Exponential Integrators

Multiplicative Noise

Stochastic Equations

Differential equations

Differential equation

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

MATLAB

Control charts

Charts

Sample size

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

Buttà, P., Flandoli, F., Ottobre, M. & Zegarlinski, B., 31 Aug 2019, In : Kinetic and Related Models. 12, 4, p. 791-827

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., Sep 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., 29 Jul 2019, In : Proceedings of the London Mathematical Society. 119, 6, p. 1745-1779 35 p.

Research output: Contribution to journal › Article

Open Access

File

Graph Products

Automorphisms

Automorphism Group

CAT(0)

Combinatorial Geometry

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

Solitary Waves

Solitons

Nonlinear equations

Nonlinear Equations

A vector-host model to assess the impact of superinfection exclusion on vaccination strategies using dengue and yellow fever as case studies

Glover, A. & White, A., 23 Sep 2019, In : Journal of Theoretical Biology. 484, 110014.

Research output: Contribution to journal › Article

Yellow fever virus

Yellow Fever

Superinfection

dengue

Dengue

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., Sep 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

Forms (concrete)

Notation

Formal logic

Production Rules

Computer science

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

Taylor-Smith, E., Smith, S., Fabian, K., Berg, T., Meharg, D. & Varey, A., 2 Jul 2019, ITiCSE '19 Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education. ACM, p. 126-132 7 p.

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

Open Access

File

Apprentices

apprenticeship

apprentice

Wages

graduate

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

Convergence and Non-convergence of Many-Particle Evolutions with Multiple Signs

Garroni, A., van Meurs, P., Peletier, M. A. & Scardia, L., 19 Aug 2019, In : Archive for Rational Mechanics and Analysis. p. 1-47 47 p.

Research output: Contribution to journal › Article

Open Access

File

Empirical Measures

Dislocations (crystals)

Dislocation

Converge

Zero

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