Find Research Outputs

Search concepts
Selected filters
2018

The syntax and semantics of quantitative type theory

Atkey, R., 9 Jul 2018, LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, July 9-12, 2018, Oxford, United Kingdom. New York, p. 56-65 10 p.

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

Open Access
File
1 Citation (Scopus)
42 Downloads (Pure)
2017

Continuation passing style for effect handlers

Hillerström, D., Lindley, S., Atkey, R. & Sivaramakrishnan, KC., 3 Sep 2017, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). Miller, D. (ed.). Germany, p. 18:1-18:19 19 p. 18. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 84).

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

Open Access
File
4 Citations (Scopus)
18 Downloads (Pure)
2016

Conflation confers concurrency

Atkey, R., Lindley, S. & Morris, J. G., 28 Apr 2016, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Springer, Vol. 9600. p. 32-55 24 p. (Lecture Notes in Computer Science; vol. 9600).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
9 Citations (Scopus)
43 Downloads (Pure)
2015

Models for polymorphism over physical dimensions

Atkey, R., Ghani, N., Nordvall Forsberg, F., Revell, T. & Staton, S., 2015, 13th International Conference on Typed Lambda Calculi and Applications (TLCA'15). Altenkirch, T. (ed.). Wadern, Germany , p. 999-1013 15 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

Open Access
File
65 Downloads (Pure)
2020

Effect handlers via generalised continuations

Hillerström, D., Lindley, S. & Atkey, B., 16 Mar 2020, In : Journal of Functional Programming. 30, 69 p., e5.

Research output: Contribution to journalArticle

2017
Open Access
File
6 Citations (Scopus)
66 Downloads (Pure)
2011

Macroion solutions in the cell model studied by field theory and Monte Carlo simulations

Lue, L. & Linse, P., 14 Dec 2011, In : Journal of Chemical Physics. 135, 22, 10 p., 224508.

Research output: Contribution to journalArticle

Open Access
File
21 Citations (Scopus)
65 Downloads (Pure)
2002

Depletion and ''fines'' effects on transport in hard-sphere colloids

Lue, L. & Woodcock, L. V., Jul 2002, In : International Journal of Thermophysics. 23, 4, p. 937-947 11 p.

Research output: Contribution to journalArticle

7 Citations (Scopus)
2013

Diffusion of curvature on a sheared semi-infinite film

Satomi, R., Grassia, P., Cox, S., Mishuris, G. & Lue, L., 11 Sep 2013, In : Proceedings A: Mathematical, Physical and Engineering Sciences. 469, 2159, 18 p., 20130359.

Research output: Contribution to journalArticle

2 Citations (Scopus)
2010

Thermodynamic pressures for hard spheres and closed-virial equation-of-state

Banneman, M. N., Lue, L. & Woodcock, L. V., 28 Feb 2010, In : Journal of Chemical Physics. 132, 8, p. 084507

Research output: Contribution to journalArticle

62 Citations (Scopus)
2012

Density functional theory for Yukawa fluids

Hatlo, M. M., Banerjee, P., Forsman, J. & Lue, L., 13 Aug 2012, In : Journal of Chemical Physics . 137, 6, p. 1-9 9 p., 064115.

Research output: Contribution to journalArticle

4 Citations (Scopus)
2002

Computer simulations and crossover equation of state of square-well fluids

Kiselev, S. B., Ely, J. F., Lue, L. & Elliott, J. R., 2002, In : Fluid Phase Equilibria. 200, 1, p. 121-145 25 p.

Research output: Contribution to journalArticle

26 Citations (Scopus)
2014

Mapping continuous potentials to discrete forms

Thomson, C., Lue, L. & Bannerman, M. N., 15 Jan 2014, In : Journal of Chemical Physics. 140, 3, 10 p., 034105.

Research output: Contribution to journalArticle

Open Access
File
3 Citations (Scopus)
56 Downloads (Pure)
2015
Open Access
File
1 Citation (Scopus)
20 Downloads (Pure)
1995

Application of integral equation theories to predict the structure, thermodynamics, and phase-behavior of water

Lue, L. & Blankschtein, D., 1 Apr 1995, In : Journal of Chemical Physics. 102, 13, p. 5427-5437 11 p.

Research output: Contribution to journalArticle

56 Citations (Scopus)

Integral equations for interaction site fluids --- The influence of connectivity constraints and auxiliary sites

Lue, L. & Blankschtein, D., 1 Apr 1995, In : Journal of Chemical Physics. 102, 13, p. 5460-5470 11 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)

Analytical solution of the proper integral-equations for interaction site fluids

Lue, L. & Blankschtein, D., 15 Jul 1995, In : Journal of Chemical Physics. 103, 3, p. 1229-1231 2 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
2010

The fluid to solid phase transition of hard hyperspheres in four and five dimensions

Lue, L., Bishop, M. & Whitlock, P. A., 14 Mar 2010, In : Journal of Chemical Physics. 132, 10, p. 104509

Research output: Contribution to journalArticle

15 Citations (Scopus)
2020

Multi-objective optimisation framework for designing office windows: quality of view, daylight and energy efficiency

Pilechiha, P., Mahdavinejad, M., Pour Rahimian, F., Carnemollad, P. & Seyedzadeh, S., 1 Mar 2020, In : Applied Energy. 261, 23 p., 114356.

Research output: Contribution to journalArticle

1 Citation (Scopus)
2019

Prediction of potassium compounds released from biomass during combustion

Cao, W., Martí-Rosselló, T., Li, J. & Lue, L., 15 Sep 2019, In : Applied Energy. 250, p. 1696-1705 10 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

Heat transfer behaviour of a wheat straw pellet undergoing pyrolysis

Martí-Rosselló, T., Li, J., Lue, L., Kärlstrom, O. & Brink, A., 3 Jun 2019, (Accepted/In press). 6 p.

Research output: Contribution to conferencePaper

2002
93 Citations (Scopus)

In-layer defects in smectic C materials

Ramage, A. & Mottram, N. J., 2002, In : Ferroelectrics. 278, 3, p. 57-65 8 p.

Research output: Contribution to journalArticle

2014

Introduction to Q-tensor theory

Mottram, N. & Newton, C. J. P., 12 Sep 2014.

Research output: Working paper

Open Access
File
99 Downloads (Pure)
2012

Kickback in nematic liquid crystals

Da Costa, F. P., Grinfeld, M., Langer, M., Mottram, N. J. & Pinto, J. T., Mar 2012, In : Quarterly of Applied Mathematics . 70, 1, p. 99-110 12 p.

Research output: Contribution to journalArticle

Open Access
File
1 Citation (Scopus)
94 Downloads (Pure)
2002

The effect of elastic anisotropy on nematic disclination lines

Kelly, G., Mottram, N. & Ramage, A., 31 Oct 2002, In : British Liquid Crystal Society Newsletter.

Research output: Contribution to journalArticle

Open Access
File
13 Downloads (Pure)
2011

Nematic viscosity estimation using director kickback dynamics

Grinfeld, M., Langer, M. & Mottram, N., 2011, In : Liquid Crystals. 38, p. 981-987 7 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)
2010

Experiences of melt fill production of Fenretinide/Lym-X-Sorb (TM) hard gelatin capsules for Phase I clinical trial

Elliott, M. A., Schmidt, E., Ford, S. J. & Halbert, G. W., Oct 2010, p. 1433-1434. 2 p.

Research output: Contribution to conferenceAbstract

Experimental scrutiny and project timelines: an example

Dooley, N., Ford, S. J., Prasad, E., Elliott, M. & Halbert, G., Oct 2010, In : Journal of Pharmacy and Pharmacology. 62, 10, p. 1208-1209 2 p.

Research output: Contribution to journalArticle

Open Access
File
150 Downloads (Pure)
2012
File
1 Citation (Scopus)
952 Downloads (Pure)
2006

Lomeguatrib, a potent inhibitor of o-6-alkylguanine-DNA-alkyltrasnferase: phase i safety, pharmacodynamic, and pharmacokinetic trial and evaluation in combination with temozolomide in patients with advanced solid tumours

Ranson, M., Middleton, M. R., Bridgewater, J., Lee, S. M., Dawson, M., Jowle, D., Halbert, G. W., Waller, S., McGrath, H., Gumbrell, L., McElhinney, R. S., Donnelly, D., McMurry, T. B. H. & Margison, G. P., 2006, In : Clinical Cancer Research. 12, 5, p. 1577-1584 8 p.

Research output: Contribution to journalArticle

100 Citations (Scopus)
2003
File
4 Citations (Scopus)
122 Downloads (Pure)
2011

The Birmingham Boron Neutron Capture Therapy (BNCT) project: developments towards selective internal particle therapy

Green, S., Phoenix, B., Mill, A. J., Hill, M., Charles, M. W., Thompson, J., Jones, B., Ngoga, D., Detta, A., James, N. D., Doran, J., Graham, N., Ghani, Z., Wojnecki, C., Halbert, G., Elliott, M., Ford, S., Sheehan, T. M. T., Vickerman, J., Lockyer, N. & 4 others, Croswell, G., Boddy, A., King, A. & Cruickshank, G. S., Apr 2011, In : Clinical Oncology. 23, 3, p. S23-S24 2 p.

Research output: Contribution to journalSpecial issue

95 Downloads (Pure)
2002

Development of a lyophilised RH1 formulation: a novel DT diaphorase activated alkylating agent

Elliott, M. A., Ford, S. J., Walker, A. A., Hargreaves, R. H. J. & Halbert, G. W., Apr 2002, In : Journal of Pharmacy and Pharmacology. 54, 4, p. 487-492 6 p.

Research output: Contribution to journalArticle

8 Citations (Scopus)
2013
2010

Uptake of synthetic low density Lipoprotein by leukemic stem cells--a potential stem cell targeted drug delivery strategy

Zhou, P., Hatziieremia, S., Elliott, M. A., Scobie, L., Crossan, C., Michie, A. M., Holyoake, T. L., Halbert, G. W. & Jørgensen, H. G., 20 Dec 2010, In : Journal of Controlled Release. 148, 3, p. 380-387 8 p.

Research output: Contribution to journalArticle

19 Citations (Scopus)
2014

Albendazole vs. albendazole sulphate in the fasted upper gastrointestinal lumen based on ex vivo and in vitro data

Kourentas, A., Vertzoni, M., Khadra, I., Halbert, G., Clark, H., Butler, J. & Reppas, C., 2 Nov 2014.

Research output: Contribution to conferencePoster

Open Access
File
129 Downloads (Pure)
2012

Design considerations for the use of laser-plasma accelerators for advanced space radiation studies

Koenigstein, T., Karger, O., Pretzler, G., Rosenzweig, J. B. & Hidding, B., Aug 2012, In : Journal of Plasma Physics. 78, 4 special issue, p. 383-391 9 p.

Research output: Contribution to journalArticle

Open Access
File
3 Citations (Scopus)
89 Downloads (Pure)
2013

Designing environmental relations: from opacity to textility

Anusas, M. & Ingold, T., 10 Jun 2013.

Research output: Contribution to conferenceSpeech

21 Citations (Scopus)
2003

Practising what we preach? A practical approach to bringing research, policy and practice together in relation to children and health inequalities

Philip, K. L., Backett-Milburn, K., Cunningham-Burley, S. & Davis, J. B., 1 Oct 2003, In : Health Education Research. 18, 5, p. 568-579 12 p.

Research output: Contribution to journalArticle

14 Citations (Scopus)
2000

Frequency selection by soliton excitation in nondegenerate intracavity down-conversion

Skryabin, D. V., Champneys, A. R. & Firth, W. J., 17 Jan 2000, In : Physical Review Letters. 84, 3, p. 463-466 4 p.

Research output: Contribution to journalArticle

Open Access
File
28 Citations (Scopus)
71 Downloads (Pure)
2018

Dielectronic and trielectronic recombination rate coefficients of Be-like Ar14+

Huang, Z. K., Wen, W. Q., Xu, X., Mahmood, S., Wang, S. X., Wang, H. B., Dou, L. J., Khan, N., Badnell, N. R., Preval, S. P., Schippers, S., Xu, T. H., Yang, Y., Yao, K., Xu, W. Q., Chuai, X. Y., Zhu, X. L., Zhao, D. M., Mao, L. J., Ma, X. M. & 9 others, Li, J., Mao, R. S., Yuan, Y. J., Wu, B., Sheng, L. N., Yang, J. C., Xu, H. S., Zhu, L. F. & Ma, X., 31 Mar 2018, In : Astrophysical Journal, Supplement Series. 235, 1, 8 p.

Research output: Contribution to journalArticle

Open Access
File
8 Citations (Scopus)
19 Downloads (Pure)

On-chip frequency combs and telecommunications signal processing meet quantum optics

Reimer, C., Zhang, Y., Roztocki, P., Sciara, S., Cortés, L. R., Islam, M., Fischer, B., Wetzel, B., Cino, A., Chu, S. T., Little, B., Moss, D., Caspani, L., Azaña, J., Kues, M. & Morandotti, R., 28 Jun 2018, In : Frontiers of Optoelectronics. 11, 2, p. 134-147 14 p.

Research output: Contribution to journalReview article

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

Virtual prototyping of an actuator-based structural health monitoring system of wind turbine blades

Garcia, D., Tcherniak, D. & Branner, K., 19 Sep 2018. 10 p.

Research output: Contribution to conferencePaper

Open Access
File
2 Citations (Scopus)
19 Downloads (Pure)
2014
Open Access
File
1 Citation (Scopus)
154 Downloads (Pure)
2020

Spectral enclosures for a class of block operator matrices

Giribet, J., Langer, M., Martínez Pería, F., Philipp, F. & Trunk, C., 2 Jan 2020, In : Journal of Functional Analysis. 278, 10, 24 p., 108455.

Research output: Contribution to journalArticle

2009

The role of expertise in aiding video search

Halvey, M. & Jose, J. M., 8 Jul 2009, Proceedings of the ACM International Conference on Image and Video Retrieval. New York, 8 p. 8

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

2 Citations (Scopus)
2007

Spare capacity allocation and optimisation in a distributed GMPLS-based IP/WDM mesh network

Harle, D. A. & Albarrak, S., 3 Nov 2007, In : Computer Communications. 30, 16, p. 3085-3095 11 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)
1987
5 Citations (Scopus)