Research Output

Article

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

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 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)

Aharonov-Bohm effect for an exciton in a finite-width nanoring

Palmero, F., Dorignac, J., Eilbeck, J. C. & Römer, R. A., 15 Aug 2005, In : Physical Review B: Condensed Matter and Materials Physics. 72, 7, 075343.

Research output: Contribution to journalArticle

16 Citations (Scopus)
2 Citations (Scopus)

A hyperbolic non-local problem modelling MEMS technology

Kavallaris, N. I., Lacey, A. A., Nikolopoulos, C. V. & Tzanetis, D. E., 2011, In : Rocky Mountain Journal of Mathematics. 41, 2, p. 505-534 30 p.

Research output: Contribution to journalArticle

31 Citations (Scopus)

A KAM-theorem for equations of the Korteweg--de Vries type

Kuksin, S. B., 1998, In : Reviews in Mathematical Physics. 10, 3, p. 1-64 64 p.

Research output: Contribution to journalArticle

57 Citations (Scopus)

A kernel regression framework for SMT

Wang, Z. & Shawe-Taylor, J., 2009, In : Machine Translation. 24, 2, p. 87-102

Research output: Contribution to journalArticle

3 Citations (Scopus)

A Kertesz line on planar random graphs

Janke, W., Johnston, D. A. & Stathakopoulos, M., 6 Sep 2002, In : Journal of Physics A: Mathematical and General. 35, 35, p. 7575-7584 10 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

A Kertesz line on planar random graphs?

Janke, W., Johnston, D. A. & Stathakopoulos, M., 2002, In : Journal of Physics A: Mathematical and General. 35, p. 7575 1 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

A key management scheme evaluation using Markov processes

Ragab Hassan, H. & Lounes, E., 2016, In : International Journal of Information Security. 16, 3, p. 271–280 10 p.

Research output: Contribution to journalArticle

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

AKSZ Constructions for Topological Membranes on G2-Manifolds

Kökényesi, Z., Sinkovics, A. & Szabo, R. J., 29 Mar 2018, In : Fortschritte der Physik. 66, 3, 1800018.

Research output: Contribution to journalArticle

Open Access
File
4 Citations (Scopus)
11 Downloads (Pure)

Alarm processing in support of operators of power systems

Avouris, N. M., Semitekos, D. D. & Halvatzaras, D., 2005, In : International Journal of Power and Energy Systems. 25, 1, p. 33-39 7 p.

Research output: Contribution to journalArticle

A law of large numbers approach to valuation in life insurance

Fischer, T., Jan 2007, In : Insurance: Mathematics and Economics. 40, 1, p. 35-57 23 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

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 journalArticle

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

ALFIE — Auxiliary logistics for industrial engineers

Taylor, N. K. & Corlett, E. N., 1 Nov 1987, In : International Journal of Industrial Ergonomics. 2, 1, p. 15-25

Research output: Contribution to journalArticle

Algebraic decay and variable speeds in wave front solutions of a scalar reaction-diffusion equation.

Sherratt, J. A. & Marchant, B. P., 1996, In : IMA Journal of Applied Mathematics. 56, p. 289-302 14 p.

Research output: Contribution to journalArticle

38 Citations (Scopus)

Algebraic deformations of toric varieties I. General constructions

Cirio, L. S., Landi, G. & Szabo, R. J., 20 Oct 2013, In : Advances in Mathematics. 246, p. 33-88 54 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)