School of Mathematical & Computer Sciences

Research Output

2020

(Four) Dual Plaquette 3D Ising Models

Johnston, D. A. & Ranasinghe, R. P. K. C. M., 8 Jun 2020, In : Entropy. 22, 6, 633.

Research output: Contribution to journal › Article

Open Access
File
15 Downloads (Pure)

Accelerating proximal Markov chain Monte Carlo by using an explicit stabilized method

Pereyra, M., Mieles, L. V. & Zygalakis, K. C., 2020, In : SIAM Journal on Imaging Sciences. 13, 2, p. 905-935 31 p.

Research output: Contribution to journal › Article

Open Access
File
16 Downloads (Pure)

Accuracy, Training Time and Hardware Efficiency Trade-Offs for Quantized Neural Networks on FPGAs

Bacchus, P., Stewart, R. & Komendantskaya, E., 2020, Applied Reconfigurable Computing. Architectures, Tools, and Applications: ARC 2020. Springer, p. 121-135 15 p. (Lecture Notes in Computer Science; vol. 12083).

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

2 Citations (Scopus)

A Class of Quantum Briot–Bouquet Differential Equations with Complex Coefficients

Ibrahim, R. W., Elobaid, R. M. & Obaiys, S. J., 14 May 2020, In : Mathematics. 8, 5, 794.

Research output: Contribution to journal › Article

Open Access
File
1 Downloads (Pure)

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

Martin, A. & Osajda, D., 9 Mar 2020, In : Mathematical Proceedings of the Cambridge Philosophical Society.

Research output: Contribution to journal › Article

Open Access
File

Acylindrical actions on projection complexes

Bestvina, M., Bromberg, K., Fujiwara, K. & Sisto, A., 29 Jan 2020, In : L’Enseignement Mathématique. 65, 1-2, p. 1-32 32 p.

Research output: Contribution to journal › Article

Adapting Movements and Behaviour to Favour Communication in Human-Robot Interaction

Lohan, K., Ahmad, M. I., Dondrup, C., Ardon, P., Pairet, È. & Vinciarelli, A., 2020, Modelling Human Motion. Springer, p. 271-297 27 p.

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

Adding an Abstraction Barrier to ZF Set Theory

Dunne, C., Wells, J. B. & Kamareddine, F., 2020, Intelligent Computer Mathematics. CICM 2020. Benzmüller, C. & Miller, B. (eds.). Springer, p. 89-104 16 p. (Lecture Notes in Computer Science; vol. 12236).

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

Open Access
File
5 Downloads (Pure)

A Decentralised Strategy for Heterogeneous AUV Missions via Goal Distribution and Temporal Planning

Carreno, Y., Pairet, È., Petillot, Y. & Petrick, R. P. A., 1 Jun 2020, Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling. AAAI Press, p. 431-439 9 p. (Proceedings of the International Conference on Automated Planning and Scheduling; vol. 30).

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

Open Access

Adjusted parallel transport for higher gauge theories

Kim, H. & Saemann, C., 30 Apr 2020, In : Journal of Physics A: Mathematical and Theoretical.

Research output: Contribution to journal › Article

Open Access
File
3 Downloads (Pure)

A forward-backward algorithm for reweighted procedures: Application to radio-astronomical imaging

Repetti, A. & Wiaux, Y., 9 Apr 2020, 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, p. 1434-1438 5 p. (IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)).

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

Open Access
File
48 Downloads (Pure)

A framework to estimate cognitive load using physiological data

Ahmad, M. I., Keller, I., Robb, D. A. & Lohan, K. S., 27 Sep 2020, In : Personal and Ubiquitous Computing.

Research output: Contribution to journal › Article

Open Access
File
2 Downloads (Pure)

A hierarchical model for the joint mortality analysis of pension scheme data with missing covariates

Ungolo, F., Kleinow, T. & Macdonald, A. S., Mar 2020, In : Insurance: Mathematics and Economics. 91, p. 68-84 17 p.

Research output: Contribution to journal › Article

Almost sure global well posedness for the BBM equation with infinite L2 initial data

Forlano, J., Jan 2020, In : Discrete and Continuous Dynamical Systems-Series A. 40, 1, p. 267-318 52 p.

Research output: Contribution to journal › Article

Open Access

A Method of Secret Coding technique on Two Star Graphs

Maheswari, G. U., Arthy, J. & Jabbar, S., 19 Feb 2020, In : International Journal of Computer Applications . 177, 39, p. 11-15

Research output: Contribution to journal › Article

Open Access
File
52 Downloads (Pure)

An Achievability Bound of Energy per Bit for Stabilized Massive Random Access Gaussian Channel

Burkov, A., Shneer, S. & Turlikov, A., 11 Sep 2020, In : IEEE Communications Letters.

Research output: Contribution to journal › Article

Open Access
File
20 Downloads (Pure)

An Efficient v-minimum Absolute Deviation Distribution Regression Machine

Wang, Y., Wang, Y., Song, Y., Xie, X., Huang, L., Pang, W. & Coghill, G. M., 2020, In : IEEE Access. 8, p. 85533-85551 19 p.

Research output: Contribution to journal › Article

Open Access
File
7 Downloads (Pure)

A new family of infinitely braided Thompson's groups

Aroca, J. & Cumplido, M., 5 Aug 2020, In : Journal of Algebra.

Research output: Contribution to journal › Article

A new model of economic order quantity associated with a generalized conformable differential-difference operator

Ibrahim, R. W., Elobaid, R. M. & Obaiys, S. J., 12 May 2020, In : Advances in Difference Equations. 2020, 205.

Research output: Contribution to journal › Article

Open Access
File
2 Downloads (Pure)

An extension result for generalised special functions of bounded deformation

Cagnetti, F., Chambolle, A., Perugini, M. & Scardia, L., 2020, In : Journal of Convex Analysis. 28, 2

Research output: Contribution to journal › Article

An integrodifference model for vegetation patterns in semi-arid environments with seasonality

Eigentler, L. & Sherratt, J. A., Sep 2020, In : Journal of Mathematical Biology. 81, 3, p. 875-904 30 p.

Research output: Contribution to journal › Article

Open Access
File
2 Downloads (Pure)

An inverse problem for Voronoi diagrams: A simplified model of nondestructive testing with ultrasonic arrays

Bourne, D., Mulholland, A., Sahu, S. & Tant, K., 1 Oct 2020, (Accepted/In press) In : Mathematical Methods in the Applied Sciences.

Research output: Contribution to journal › Article

An Investigation of Comic-Based Permission Requests

Watson, K., Just, M. & Berg, T., 21 Oct 2020, (Accepted/In press) Nordsec 2020: The 25th Nordic Conference on Secure IT Systems. Springer Verlag

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

A Parallel Evolutionary System for Multi-objective Optimisation

Hamdan, M., Rudolph, G. & Hochstrate, N., 3 Sep 2020, 2020 IEEE Congress on Evolutionary Computation (CEC). IEEE, 9185855

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

A Parallel Evolutionary System for Multi-Objective Optimization

Hamdan, M. M. M., 20 Mar 2020, (Accepted/In press).

Research output: Contribution to conference › Paper

A Polymorphic RPC Calculus

Choi, K., Cheney, J., Fowler, S. & Lindley, S., 1 Oct 2020, In : Science of Computer Programming. 197, 102499.

Research output: Contribution to journal › Article

Applying kriging proxies for Markov chain Monte Carlo in reservoir simulation

Fursov, I., Christie, M. & Lord, G., Aug 2020, In : Computational Geosciences. 24, 4, p. 1725-1746 22 p.

Research output: Contribution to journal › Article

Open Access
File
7 Downloads (Pure)

Applying the Participatory Design Workshop Method to Explore how Socially Assistive Robots Could Assist Stroke Survivors

Georgiou, T., Baillie, L., Ross, M. K. & Broz, F., 23 Mar 2020, HRI '20: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction. Association for Computing Machinery, p. 203–205 3 p.

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

Open Access
File
7 Downloads (Pure)

A Q-Operator for Open Spin Chains I. Baxter's TQ Relations

Vlaar, B. & Weston, R., 19 Jun 2020, In : Journal of Physics A: Mathematical and General. 53, 24, 245205.

Research output: Contribution to journal › Article

Open Access
File
5 Downloads (Pure)

Are autistic children more vulnerable online? Relating autism to online safety, child wellbeing and parental risk management

Macmillan, K., Berg, T., Just, M. & Stewart, M. E., 23 Jun 2020, (Accepted/In press) 11th Nordic Conference on Human-Computer Interaction (NordiCHI 2020). Association for Computing Machinery

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

File
71 Downloads (Pure)

A residual a posteriori error estimate for partition of unity finite elements for three-dimensional transient heat diffusion problems using multiple global enrichment functions

Iqbal, M., Gimperlein, H., Laghrouche, O., Alam, K., Shadi Mohamed, M. & Abid, M., 30 Jun 2020, In : International Journal for Numerical Methods in Engineering. 121, 12, p. 2727-2746 20 p.

Research output: Contribution to journal › Article

4 Citations (Scopus)

A residual a posteriori error estimate for the time–domain boundary element method

Gimperlein, H., Özdemir, C., Stark, D. & Stephan, E. P., Oct 2020, In : Numerische Mathematik. 146, 2, p. 239-280 42 p.

Research output: Contribution to journal › Article

Open Access

A Systematic Density-based Clustering Method Using Anchor Points

Wang, Y., Wang, D., Pang, W., Miao, C., Tan, A-H. & Zhou, Y., 4 Aug 2020, In : Neurocomputing. 400, p. 352-370 19 p.

Research output: Contribution to journal › Article

A time–dependent FEM-BEM coupling method for fluid–structure interaction in 3d

Gimperlein, H., Özdemir, C. & Stephan, E. P., Jun 2020, In : Applied Numerical Mathematics. 152, p. 49-65 17 p.

Research output: Contribution to journal › Article

A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs

Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., 2020, (Accepted/In press) In : Journal of Functional Programming.

Research output: Contribution to journal › Article

Auditory and Haptic Feedback in a Socially Assistive Robot Memory Game

Nault, E., Baillie, L. & Broz, F., 23 Mar 2020, HRI '20: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction. Association for Computing Machinery, p. 369–371 3 p.

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

Open Access
File
5 Downloads (Pure)

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., 7 Jan 2020, In : Journal of Theoretical Biology. 484, 110014.

Research output: Contribution to journal › Article

Open Access
File

Bayesian Spatial Field Reconstruction with Unknown Distortions in Sensor Networks

Xiang, Q., Nevat, I. & Peters, G., 2020, In : IEEE Transactions on Signal Processing. 68, p. 4336-4351 16 p.

Research output: Contribution to journal › Article

Open Access
File
2 Downloads (Pure)

Biodegradable Poly (Lactic Acid)/ Poly (ethylene glycol) Reinforced Multiwalled Carbon Nanotube Nanocomposite Fabrication, Characterization, Properties, and Applications

Ahmad, A. F., Aziz, S. A., Obaiys, S. J., Mohd Zaid, M. H., Matori, K. A., Samikannu, K. & Aliyu, U. S., 12 Feb 2020, In : Polymers. 12, 2, 427.

Research output: Contribution to journal › Article

Open Access
File
9 Downloads (Pure)

BPS states in the Minahan-Nemeschansky E7 theory

Hao, Q., Hollands, L. & Neitzke, A., 18 Feb 2020, (Accepted/In press) In : Journal of High Energy Physics.

Research output: Contribution to journal › Article

BPS states in the Minahan-Nemeschansky E7 theory

Hao, Q., Hollands, L. & Neitzke, A., 7 Apr 2020, In : Journal of High Energy Physics. 2020, 4, 39.

Research output: Contribution to journal › Article

Open Access
File
3 Downloads (Pure)

Building firmly nonexpansive convolutional neural networks

Terris, M., Repetti, A., Pesquet, J-C. & Wiaux, Y., 14 May 2020, ICASSP 2020 - IEEE International Conference on Acoustics, Speech and Signal Processing. IEEE, p. 8658-8662 5 p. (IEEE International Conference on Acoustics, Speech and Signal Processing).

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

Open Access
File
163 Downloads (Pure)

Can a robot invigilator prevent cheating?

Mubin, O., Cappuccio, M., Alnajjar, F., Ahmad, M. I. & Shahid, S., 16 Mar 2020, In : AI and Society.

Research output: Contribution to journal › Article

Cancer genotypes prediction and associations analysis from imaging phenotypes: a survey on radiogenomics

Wang, Y., Wang, Y., Guo, C., Xie, X., Liang, S., Zhang, R., Pang, W. & Huang, L., Sep 2020, In : Biomarkers in Medicine. 14, 12, p. 1151-1164 14 p.

Research output: Contribution to journal › Article

Cancer Morbidity Trends and Regional Differences in England - a Bayesian Analysis

Arik, A., Dodd, E. & Streftaris, G., 20 May 2020, In : PLoS ONE. 15, 5, e0232844.

Research output: Contribution to journal › Article

Open Access
File
6 Downloads (Pure)

CBDX: A Workhorse Mortality Model from the Cairns-Blake-Dowd Family

Dowd, K., Cairns, A. J. G. & Blake, D., 22 Jun 2020, In : Annals of Actuarial Science.

Research output: Contribution to journal › Article

Open Access
File

Characterising actions on trees yielding non-trivial quasimorphisms

Iozzi, A., Pagliantini, C. & Sisto, A., 19 May 2020, In : Annales mathématiques du Québec.

Research output: Contribution to journal › Article

Checkpointing Kernel Executions of MPI+CUDA Applications

Baird, M., Scholz, S-B., Šinkarovs, A. & Bautista-Gomez, L., 2020, Euro-Par 2019: Parallel Processing Workshops. Euro-Par 2019. Springer, p. 694-706 13 p. (Lecture Notes in Computer Science; vol. 11997).

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

Clustering Mixed Numeric and Categorical Data with Cuckoo Search

Ji, J., Pang, W., Li, Z., He, F., Feng, G. & Zhao, X., 2020, In : IEEE Access. 8, p. 30988-31003 16 p.

Research output: Contribution to journal › Article

Open Access
File
1 Citation (Scopus)
8 Downloads (Pure)

Clustering Single-cell RNA-sequencing Data based on Matching Clusters Structures

Wang, Y., Zhou, Y., Pang, W., Liang, Y. & Wang, S., 15 Feb 2020, In : Tehnički vjesnik – Technical Gazette. 27, 1, p. 89-95 7 p.

Research output: Contribution to journal › Article

Open Access
File
4 Downloads (Pure)