Research Output

Varieties of elliptic solitons

Eilbeck, J. C., Enolskii, V. Z. & Previato, E., 23 Mar 2001, In : Journal of Physics A: Mathematical and General. 34, 11, p. 2215-2227 13 p.

Research output: Contribution to journalArticle

9 Citations (Scopus)

Variation of Neumann and Green functions under homotopies of the boundary

Schippers, E. & Staubach, W., Jan 2009, In : Israel Journal of Mathematics. 173, 1, p. 279-303 25 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Variational and non-variational eigenvalues of the p-Laplacian

Binding, P. A. & Rynne, B. P., 1 Jan 2008, In : Journal of Differential Equations. 244, 1, p. 24-39 16 p.

Research output: Contribution to journalArticle

36 Citations (Scopus)

Variable Metric Forward–Backward Algorithm for Minimizing the Sum of a Differentiable Function and a Convex Function

Chouzenoux, E., Pesquet, J-C. & Repetti, A., Jul 2014, In : Journal of Optimization Theory and Applications. 162, 1, p. 107–132 26 p.

Research output: Contribution to journalArticle

90 Citations (Scopus)
File
2 Downloads (Pure)

Value-at-Ris Portfolios

Wirch, J., 1997.

Research output: Contribution to conferencePaper

Value-at-Risk

Wirch, J., 1999, In : North American Actuarial Journal. 3, No 2, p. 106-115 10 p.

Research output: Contribution to journalArticle

8 Citations (Scopus)

Valuation and Hedging of Limited Proce Indexed Liabilities

Huang, H. C. & Cairns, A. J. G., 2004, In : British Actuarial Journal. 10, p. 627-663 37 p.

Research output: Contribution to journalArticle

Validation of a dynamic control model to simulate investment cycles in electricity generating capacity

Eager, D., Bialek, J. & Johnson, T., 2010, IEEE PES General Meeting, PES 2010. p. 1-8

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

6 Citations (Scopus)

Validating software requirements with enactable use case descriptions

Kanyaru, J. M. & Phalp, K., Feb 2009, In : Requirements Engineering. 14, 1, p. 1-14 14 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Validating Attention Classifiers for Multi-Party Human-Robot Interaction

Foster, M. E., 1 Mar 2014, Proceedings of the HRI 2014 Workshop on Attention Models in Robotics.

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

Validating a biometric authentication system: Sample size requirements

Dass, S. C., Zhu, Y. & Jain, A. K., Dec 2006, In : IEEE Transactions on Pattern Analysis and Machine Intelligence. 28, 12, p. 1902-1913 12 p.

Research output: Contribution to journalArticle

59 Citations (Scopus)

Validata: An online tool for testing RDF data conformance

Baungard Hansen, J., Beveridge, A., Farmer, R., Gehrmann, L., Gray, A. J. G., Khutan, S., Robertson, T. & Val, J., Dec 2015.

Research output: Contribution to conferencePaper

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

Vacuum energy and the latent heat of AdS-Kerr black holes

Dolan, B. P., 2014, In : Physical Review D - Particles, Fields, Gravitation and Cosmology. 90, 8, 084002.

Research output: Contribution to journalArticle

17 Citations (Scopus)

UV/IR duality in noncommutative quantum field theory

Fischer, A. & Szabo, R. J., Sep 2011, In : General Relativity and Gravitation. 43, 0, p. 2509-2522 14 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Utility Based Optimal Hedging in Incomplete Markets

Owen, M. P., 2002, In : Annals of Applied Probability. 12, p. 691-709 19 p.

Research output: Contribution to journalArticle

26 Citations (Scopus)
Open Access
File
32 Citations (Scopus)
77 Downloads (Pure)

Using user preferences to enhance privacy in pervasive systems

Papadopoulou, E., McBurney, S., Taylor, N. K., Williams, H., Dolinar, K. & Neubauer, M., 1 Apr 2008, 3rd International Conference on Systems, ICONS 2008. p. 271-276 6 p.

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

6 Citations (Scopus)

Using the Web to disseminate courseware: the C-Web project

McAndrew, P. & Granum, G., 1996, In : Active Learning. 4, July 1996, p. 58-59 2 p.

Research output: Contribution to journalArticle

Using thermal stimuli to influence affect in different picture display sizes

Akazue, M., Halvey, M. & Baillie, L., 15 Mar 2017, In : Personal and Ubiquitous Computing. p. 1-21

Research output: Contribution to journalArticle

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

Using Thermal Stimuli to Enhance Photo-Sharing in Social Media

Akazue, M., Halvey, M. & Baillie, L., 30 Jun 2017, In : Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies. 1, 2, 4.

Research output: Contribution to journalArticle

Open Access
File
9 Downloads (Pure)

Using Theory of Mind methods to investigate empathic engagement with synthetic characters

Hall, L., Woods, S., Aylett, R. & Paiva, A., Sep 2006, In : International Journal of Humanoid Robotics. 3, 3, p. 351-370 20 p.

Research output: Contribution to journalArticle

8 Citations (Scopus)

Using structural recursion for corecursion

Bertot, Y. & Komendantskaya, E., 2009, Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers. Berardi, S., Damiani, F. & de’Liguoro, U. (eds.). Springer, p. 220-236 17 p. (Lecture Notes in Computer Science; vol. 5497).

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)

Using Species Proportions to Quantify Turnover in Biodiversity

Yuan, Y., Buckland, S. T., Harrison, P. J., Foss, S. & Johnston, A., Jun 2016, In : Journal of Agricultural, Biological, and Environmental Statistics. 21, 2, p. 363–381 19 p.

Research output: Contribution to journalArticle

Open Access
File
6 Citations (Scopus)
51 Downloads (Pure)

Using SMT solvers to verify high-integrity programs

Jackson, P. B., Ellis, W. J. & Sharp, K., 2007, AFM'07: 2nd Workshop on Automated Formal Methods. p. 60-68 9 p.

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

8 Citations (Scopus)

Using Rich Pictures to understand international student transition in Higher Education

Preston, C., Clancy, M., Guion Akdağ, E., Berg, T. & Coady, J., 9 Jun 2016.

Research output: Contribution to conferenceAbstract

Using rich pictures outside of soft systems methodology: a case study analysis

Berg, T., Bell, S. & Morse, S., 3 Oct 2019, In : International Journal of System of Systems Engineering. 9, 3, p. 257-276 20 p., 4.

Research output: Contribution to journalArticle

Open Access
File

Using return on investment to compare agile and plan-driven practices in undergraduate group projects

Rundle, P. J. & Dewar, R. G., 2006, Proceeding of the 28th International Conference on Software Engineering 2006, ICSE '06. Vol. 2006. p. 649-654 6 p.

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

5 Citations (Scopus)

Using Pupil Diameter to Measure Cognitive Load

Minadakis, G. & Lohan, K. S., 18 Oct 2018.

Research output: Contribution to conferencePaper

Using P-splines to smooth two-dimensional Poisson data

Currie, I. D., Durban, M. & Eilers, P., 2002, p. 207-214. 8 p.

Research output: Contribution to conferencePaper

Using P-splines to extrapolate two-dimensional Poisson data

Currie, I. D., Durban, M. & Eilers, P., 2003, p. 97-102. 6 p.

Research output: Contribution to conferencePaper

Using point mass systems to stimulate deformation in 3D elastic sheet structures

Mahal, B., Clark, D. E. R. & Simmons, J. E. L., 2001, In : Presence: Teleoperators and Virtual Environments (Special Issue). 10

Research output: Contribution to journalArticle

Using Numerical Bifurcation Analysis to Study Pattern Formation in Mussel Beds

Sherratt, J. A., 7 Dec 2016, In : Mathematical Modelling of Natural Phenomena. 11, 5, p. 86-102 17 p.

Research output: Contribution to journalArticle

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

Using n-grams to rapidly characterise the evolution of software code

Rainer, A., Lane, P. C. R., Malcolm, J. A. & Scholz, S-B., 2008, Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops, 2008. IEEE, p. 43-52 10 p.

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

2 Citations (Scopus)

Using negotiation to reduce redundant autonomous mobile program movements

Chechina, N., King, P. & Trinder, P., 2010, Proceedings - 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2010. Vol. 2. p. 343-346 4 p.

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

1 Citation (Scopus)

Using multiobjective evolutionary algorithms to understand Parkinson's disease

Vallejo, M., Cosgrove, J., Alty, J. E., Smith, S. L., Corne, D. W. & Lones, M. A., 2016, GECCO 2016 Companion: Proceedings of the 2016 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, p. 13-14 2 p.

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

Using model-independent lower bounds to improve pricing of asian style options in lévy markets

Deelstra, G., Rayée, G., Vanduffel, S. & Yao, J., May 2014, In : ASTIN Bulletin. 44, 2, p. 237-276 40 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Using Mobile Phone Based Camera to Read Information from a Li-Fi Source

Damodaran, S., Shaikh, T. & Taylor, N. K., 16 Jan 2017, 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS). IEEE, p. 165-170 6 p.

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

Open Access
File
5 Citations (Scopus)
285 Downloads (Pure)

Using MathLang to check the correctness of specifications in object-Z

Feller, D., Kamareddine, F. D. & Burski, L., 2016, Modern Mathematical Methods and High Performance Computing in Science and Technology: M3HPCST, Ghaziabad, India, December 2015. Singh, V. K., Srivastava, H. M., Venturino, E., Resch, M. & Gupta, V. (eds.). Springer, p. 45-70 26 p. (Springer Proceedings in Mathematics & Statistics; vol. 171).

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

Using Links to prototype a Database Wiki

Cheney, J., Lindley, S. & Müller, H., 2011.

Research output: Contribution to conferencePaper

Open Access

Using kinetic Monte Carlo simulations to study phase seperation in alloys

Weinkamer, R., Fratzl, P., Gupta, H. S., Penrose, O. & Lebowitz, J. L., Jun 2004, In : Phase Transitions. 77, p. 433-456 24 p.

Research output: Contribution to journalArticle

23 Citations (Scopus)

Using kinetic Monte Carlo simulations to study phase separation in alloys

Weinkamer, R., Fratzl, P., Gupta, H. S., Penrose, O. & Lebowitz, J. L., May 2004, In : Phase Transitions. 77, 5-7, p. 433-456 24 p.

Research output: Contribution to journalLiterature review

23 Citations (Scopus)

Using Information Technology to Support Managed Clinical Networks

Venters, G. A., Venters, G. G., Williams, H., R.Hamill, N. V. & Taylor, B., Sep 2004, p. 284. 1 p.

Research output: Contribution to conferencePaper

Using high level dialogue information for dialogue act recognition using prosodic features

Wright, H., Poesio, M. & Isard, S., 1999, DIAPRO 1999 Proceedings. p. 139-143 5 p.

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

Using Global Invariant Manifolds to Understand Metastability in the Burgers Equation With Small Viscosity

Beck, M. & Wayne, C. E., 2009, In : SIAM Journal on Applied Dynamical Systems. 8, 3, p. 1043-1065 23 p.

Research output: Contribution to journalArticle

Using global invariant manifolds to understand metastability in the Burgers equation with small viscosity

Beck, M. & Wayne, C. E., 2011, In : SIAM Review. 53, 1, p. 129-153 25 p.

Research output: Contribution to journalArticle

14 Citations (Scopus)

Using General-Purpose Planning for Action Selection in Human-Robot Interaction

Petrick, R. P. A. & Foster, M. E., 2016. 4 p.

Research output: Contribution to conferencePaper

5 Citations (Scopus)

Using epigenetic networks for the analysis of movement associated with levodopa therapy for Parkinson's disease

Turner, A. P., Lones, M. A., Trefzer, M. A., Smith, S. L., Jamieson, S., Alty, J. E., Cosgrove, J. & Tyrrell, A. M., 24 Jun 2016, In : BioSystems.

Research output: Contribution to journalArticle

Open Access
1 Citation (Scopus)

Using Echo State Networks for Classification: A Case Study in Parkinson's Disease Diagnosis

Lacy, S. E., Smith, S. L. & Lones, M. A., Mar 2018, In : Artificial Intelligence in Medicine. 86, p. 53-59 7 p.

Research output: Contribution to journalArticle

Open Access
File
14 Citations (Scopus)
22 Downloads (Pure)