Research Output

A fibering map approach to a semilinear elliptic boundary value problem

Brown, K. J. & Wu, T. F., 10 May 2007, In : Electronic Journal of Differential Equations. 2007, p. 1-9 9 p.

Research output: Contribution to journalArticle

95 Citations (Scopus)

A Fiber-Laser Process for Cutting Thick Yttria-Stabilized Zirconia: Application and Modeling

Parry, J., Ahmed, R., Dear, F., Shephard, J., Schmidt, M., Li, L. & Hand, D., 2011, In : International Journal of Applied Ceramic Technology. 8, 6, p. 1277-1288 12 p.

Research output: Contribution to journalArticle

9 Citations (Scopus)

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
7 Citations (Scopus)
35 Downloads (Pure)

A flexible framework for visualisation of computational properties of general explicit substitutions calculi

De Moura, F. L. C., Barbosa, A. V., Ayala-Rincón, M. & Kamareddine, F., 22 Apr 2011, In : Electronic Notes in Theoretical Computer Science. 269, 1, p. 41-54 14 p.

Research output: Contribution to journalArticle

A focused sequent calculus framework for proof-search in pure type systems

Lengrand, S., Dyckhoff, R. & Mckinna, J., 23 Mar 2011, In : Logical Methods in Computer Science. 7, 1, 6.

Research output: Contribution to journalArticle

Open Access
5 Citations (Scopus)

A formal analysis of 5g authentication

Basin, D., Dreier, J., Hirschi, L., Radomirovic, S., Sasse, R. & Stettler, V., Oct 2018, CCS '18: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 1383-1396 14 p.

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

Open Access
File
43 Citations (Scopus)
2 Downloads (Pure)

A formal calculus for informal equality with binding

Gabbay, M. & Mathijssen, A., 2007, Logic, Language, Information and Computation - 14th International Workshop, WoLLIC 2007, Proceedings. Vol. 4576 LNCS. p. 162-176 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4576 LNCS).

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

23 Citations (Scopus)

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 proceedingConference contribution

Open Access
File
47 Downloads (Pure)

A Fourier Integrator for the Cubic Nonlinear Schrödinger Equation with Rough Initial Data

Knöller, M., Ostermann, A. & Schratz, K., 2019, In : SIAM Journal on Numerical Analysis. 57, 4, p. 1967-1986 20 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

A framework for compositional verification of security protocols

Andova, S., Cremers, C., Gjøsteen, K., Mauw, S., Mjølsnes, S. F. & Radomirović, S., Feb 2008, In : Information and Computation. 206, 2-4, p. 425-459 35 p.

Research output: Contribution to journalArticle

Open Access
39 Citations (Scopus)

A framework for evaluating and utilizing medical terminology mappings

Hussain, S., Sun, H., Sinaci, A., Erturkmen, G. B. L., Mead, C., Gray, A. J. G., Mcguinness, D., Prud'hommeaux, E., Daniel, C. & Forsberg, K., 2014, Proceedings of MIE2014. Vol. 205. p. 594-598 5 p. (Studies in Health Technology and Informatics ; vol. 205).

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

2 Citations (Scopus)

A Framework for Work-based Networked Learning

McAndrew, P., MacKinnon, L. M. & Rist, R. J., 2002, In : Journal of Interactive Learning Research. 13, 1, p. 149-166 18 p.

Research output: Contribution to journalArticle

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 journalArticle

Open Access
File
1 Downloads (Pure)

A Free Field Representation of the Screening Currents of Uq(sl(3)k)

Bougourzi, H. & Weston, R. A., 1995, In : International Journal of Modern Physics A. 10, p. 561-578

Research output: Contribution to journalArticle

A fully non-linear PDE problem from pricing CDS with counterparty risk

Hu, B., Jiang, L., Liang, J. & Wei, W., Sep 2012, In : Discrete and Continuous Dynamical Systems - Series B. 17, 6

Research output: Contribution to journalArticle

4 Citations (Scopus)

A Functional Central Limit Theorem for Random Mappings

Hansen, J. C., 1989, In : Annals of Probability. 17, 1, p. 317-332

Research output: Contribution to journalArticle

A Functional Central Limit Theorem for the Ewens Sampling Formula

Hansen, J. C., 1990, In : Journal of Applied Probability. 27, p. 28-45

Research output: Contribution to journalArticle

A Function Space HMC Algorithm With Second Order Langevin Diffusion Limit

Ottobre, M., Pillai, N. S., Pinski, F. J. & Stuart, A. M., 2015, In : Bernoulli. 22, 1, p. 60-106 47 p.

Research output: Contribution to journalArticle

Open Access
File
13 Citations (Scopus)
20 Downloads (Pure)

A Further Note on Dynamic File Organisation Models

Davis, R. H., Aug 1984, In : Computer Journal. 27, p. 284 1 p.

Research output: Contribution to journalArticle

A fuzzy engine model for efficient stock market prediction

Ahmad, S. M., El Gayar, N. & Abd Elazim, H. Y., 20 Nov 2006, CIMMACS'06: Proceedings of the 5th WSEAS International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics. Cecchi, A. & Mastorakis, N. (eds.). World Scientific and Engineering Academy and Society, p. 217-222 6 p.

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

A fuzzy engine model for financial market prediction

Ahmad, S. M., El Gayar, N. & Abd Elazim, H. Y., Feb 2007, In : WSEAS Transactions on Information Science and Applications. 4, 2, p. 362-368 7 p.

Research output: Contribution to journalArticle

A fuzzy k-prototype clustering algorithm for mixed numeric and categorical data

Ji, J., Pang, W., Zhou, C., Han, X. & Wang, Z., Jun 2012, In : Knowledge-Based Systems. 30, p. 129-135 7 p.

Research output: Contribution to journalArticle

106 Citations (Scopus)

A Gait Simulator for a Quadruped Walking Robot

Davis, R. H. & Stoner, J., 1992, In : Robotica. 10, p. 57-65 9 p.

Research output: Contribution to journalArticle

A game-based setup for data collection and task-based evaluation of uncertain information presentation

Gkatzia, D., Cercas Curry, A., Rieser, V. & Lemon, O., 2015, Proceedings of the 15th European Workshop on Natural Language Generation. p. 112-113

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

2 Citations (Scopus)

A Gaze Controller for Coordinating Mutual Gaze During Conversational Turn-Taking in Human-Robot Interaction

Broz, F. & Lehmann, H., 2015, Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction Extended Abstracts. New York: Association for Computing Machinery, p. 131-132 2 p.

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

3 Citations (Scopus)

A General Framework for Accelerating Swarm Intelligence Algorithms on FPGAs, GPUs and Multi-core CPUs

Li, D., Huang, L., Wang, K., Pang, W., Zhou, Y. & Zhang, R., 20 Nov 2018, In : IEEE Access. 6, p. 72327-72344 18 p.

Research output: Contribution to journalArticle

Open Access
File
20 Downloads (Pure)

A generalized mixed model framework for assessing fingerprint individuality in presence of varying image quality

Dass, S. C., Lim, C. Y. & Maiti, T., Sep 2014, In : Annals of Applied Statistics. 8, 3, p. 1314-1340

Research output: Contribution to journalArticle

1 Citation (Scopus)

A generalized q-operator for Uq^(2) vertex ,pdels

Rossi, M. & Weston, R. A., 2002, In : Journal of Physics A: Mathematical and General. 35, p. 10015-10032 18 p.

Research output: Contribution to journalArticle

A generalized Q-operator for Uq(S-frakturl2) vertex models

Rossi, M. & Weston, R., 29 Nov 2002, In : Journal of Physics A: Mathematical and General. 35, 47, p. 10015-10032 18 p.

Research output: Contribution to journalArticle

33 Citations (Scopus)

A general mathematics of names

Gabbay, M., Jul 2007, In : Information and Computation. 205, 7, p. 982-1011 30 p.

Research output: Contribution to journalArticle

25 Citations (Scopus)

A general model of error-prone PCR

Pritchard, N. V., Corne, D., Kell, N. V., Rowland, N. V. & Wilson, N. V., 2005, In : Journal of Theoretical Biology. 234, 4, p. 497-509 13 p.

Research output: Contribution to journalArticle

38 Citations (Scopus)

A general regularity theorem for functionals with phi-growth

Breit, D., Stroffolini, B. & Verde, A., Nov 2011, In : Journal of Mathematical Analysis and Applications. 383, 1, p. 226-233 8 p.

Research output: Contribution to journalArticle

14 Citations (Scopus)

A general theory of self-induced transparency

BULLOUGH, R. K., CAUDREY, P. J., EILBECK, J. C. & GIBBON, J. D., 1974, In : Opto-Electronics. 6, 1, p. 121-140 20 p.

Research output: Contribution to journalArticle

A Genetic Rule-Based Data Clustering Toolkit

Sarafis, I., Zalzala, A. & Trinder, P., May 2002, p. 1238-1243. 6 p.

Research output: Contribution to conferencePaper

30 Citations (Scopus)

A Genome-wide association study of non-pathological cognitive ageing

Davies, G., Harris, S., Reynolds, C., Payton, A., Liewald, D., Lopez, L., Luciano, M., Gow, A., Corley, J., Henderson, R., Murray, C., Pattie, A., Fox, H., Redmond, P., Lutz, M., Chiba-Falek, O., Linnertz, C., Saith, S., Knight, H., Haggarty, P. & 14 others, McNeill, G., Ollier, WI., Horan, M., Roses, A., Ponting, C., Porteous, D., Tenesa, A., Pickles, A., Starr, J., Whalley, L., Pedersen, N., Pendleton, N., Visscher, P. & Deary, I., Nov 2012, In : Behavior Genetics. 42, 6, p. 927-927 1 p.

Research output: Contribution to journalMeeting abstract

Agent-based modelling for green space allocation in urban areas: Factors influencing agent behaviour

Vallejo, M., Rieser, V. & Corne, D., 2015, ICAART 2015 - 7th International Conference on Agents and Artificial Intelligence, Proceedings. SciTePress, Vol. 1. p. 257-262 6 p.

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

2 Citations (Scopus)

Agent-based modelling of land use dynamics and residential quality of life for future scenarios

Murray-Rust, D., Rieser, V., Robinson, D. T., Miličič, V. & Rounsevell, M., Aug 2013, In : Environmental Modelling and Software. 46, p. 75–89

Research output: Contribution to journalArticle

49 Citations (Scopus)

A gentle introduction to S-NET: typed stream processing and declarative coordination of asynchronous components

Grelck, C., Scholz, S. & Shafarenko, A., Jun 2008, In : Parallel Processing Letters. 18, 2, p. 221-237 17 p.

Research output: Contribution to journalArticle

31 Citations (Scopus)

A genus six cyclic tetragonal reduction of the Benney equations

England, M. & Gibbons, J., 2009, In : Journal of Physics A: Mathematical and Theoretical. 42, 37, 375202.

Research output: Contribution to journalArticle

11 Citations (Scopus)

A Geometric Derivation of the Dyon Wall-Crossing Group

Cheng, M. C. N. & Hollands, L., 17 Apr 2009, In : Journal of High Energy Physics. 04, 067, 28 p.

Research output: Contribution to journalArticle

Open Access
6 Citations (Scopus)

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
14 Downloads (Pure)

Aggregation under local reinforcement: From lattice to continuum

Horstmann, D., Painter, K. J. & Othmer, H. G., Oct 2004, In : European Journal of Applied Mathematics. 15, 5, p. 545-576 32 p.

Research output: Contribution to journalArticle

24 Citations (Scopus)

A GLM approach to estimating copula models

Payandeh Najafabadi, A. T. & Qazvini, M., 3 Jul 2015, In : Communications in Statistics: Simulation and Computation. 44, 6, p. 1641-1656 16 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

A GLM-based method to estimate a copula's parameter(s)

Najafabadi, A. T. P., Farid-Rohani, M. R. & Qazvini, M., Oct 2013, In : Journal of the Iranian Statistical Society. 12, 2, p. 321-334 14 p.

Research output: Contribution to journalArticle

Open Access
File
2 Citations (Scopus)
2 Downloads (Pure)

A global curve of stable, positive solutions for a p-laplacian problem

Rynne, B. P., 2010, In : Electronic Journal of Differential Equations. 2010, 58, p. 1-12 12 p.

Research output: Contribution to journalArticle

7 Citations (Scopus)

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
3 Citations (Scopus)
14 Downloads (Pure)

A graphical language for proof strategies

Grov, G., Kissinger, A. & Lin, Y., 1 Dec 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8312 LNCS. p. 324-339 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8312 LNCS).

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

13 Citations (Scopus)

A gravity model of mortality rates for two related populations

Dowd, K., Cairns, A. J. G., Blake, D., Coughlan, G. D. & Khalaf-Allah, M., 2011, In : North American Actuarial Journal. 15, 2, p. 334-356

Research output: Contribution to journalArticle

75 Citations (Scopus)

AGT relations for abelian quiver gauge theories on ALE spaces

Pedrini, M., Sala, F. & Szabo, R. J., May 2016, In : Journal of Geometry and Physics. 103, p. 43–89 47 p.

Research output: Contribution to journalArticle

Open Access
File
7 Citations (Scopus)
25 Downloads (Pure)

A Haptic Assembly, Machining and Manufacturing System (HAMMS) Approach

Lim, T., Calis, M., Ritchie, J. M., Corney, J. R., Dewar, R. G. & Desmulliez, M. P. Y., Mar 2006, p. 27. 1 p.

Research output: Contribution to conferencePaper