Research Output 1970 2020

29 Citations (Scopus)

A Calculus and Logic of Resources and Processes

Pym, D. & Tofts, C., 2006, In : Formal Aspects of Computing. 18, 4, p. 495-517 23 p.

Research output: Contribution to journalArticle

Calculus
Logic
Resources
Communication systems
Synchronization
2 Citations (Scopus)

A calculus of coroutines

Laird, J., 2004, Automata, Languages and Programming: Proceedings of 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004.. Diaz, J., Karhumaki, J., Lepisto, A. & Sannella, D. (eds.). Berlin, Germany: Springer Verlag, p. 882-893 12 p. (Lecture Notes in Computer Science; vol. 3142).

Research output: Chapter in Book/Report/Conference proceedingChapter

Calculus
Categorical
Lambda Calculus
Equivalence
Axioms
3 Citations (Scopus)

A calculus of coroutines

Laird, J., 2006, In : Theoretical Computer Science. 350, 2-3, p. 275-291 17 p.

Research output: Contribution to journalArticle

47 Downloads (Pure)

A calibrated UV LED light source for photocatalytic experimentation

Sergejevs, A., Clarke, C., Allsopp, D., Marugan, J. & Bowen, C., 12 May 2016, (Unpublished).

Research output: Contribution to conferencePaper

File
Light emitting diodes
Light sources
Photocatalysis
Photocatalysts
Titanium dioxide
43 Citations (Scopus)

A calorimetric study of dimyristoylphosphatidylcholine phase transitions and steroid-liposome interactions for liposomes prepared by thin film and proliposome methods

Elhissi, A. M. A., O'Neill, M. A. A., Roberts, S. A. & Taylor, K. M. G., 2006, In : International Journal of Pharmaceutics. 320, p. 124-130 7 p.

Research output: Contribution to journalArticle

116 Citations (Scopus)

A CANDELS-3D-HST synergy: Resolved Star Formation Patterns at 0.7 lt z lt 1.5

Wuyts, S., Förster Schreiber, N. M., Nelson, E. J., van Dokkum, P. G., Brammer, G., Chang, Y-Y., Faber, S. M., Ferguson, H. C., Franx, M., Fumagalli, M., Genzel, R., Grogin, N. A., Kocevski, D. D., Koekemoer, A. M., Lundgren, B., Lutz, D., McGrath, E. J., Momcheva, I., Rosario, D., Skelton, R. E. & 3 others, Tacconi, L. J., van der Wel, A. & Whitaker, K. E., 20 Dec 2013, In : Astrophysical Journal. 779, 2, p. 135 1 p.

Research output: Contribution to journalArticle

star formation
galaxies
dust
pixel
extinction
169 Citations (Scopus)

Acanthamoeba keratitis: The role of domestic tap water contamination in the United Kingdom

Kilvington, S., Gray, T., Dart, J., Morlet, N., Beeching, J. R., Frazer, D. G. & Matheson, M., 2004, In : Investigative Ophthalmology & Visual Science. 45, 1, p. 165-169 5 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
96 Downloads (Pure)

A capped optimal stopping problem for the maximum process

Kyprianou, A. & Ott, C., Feb 2014, In : Acta Applicandae Mathematicae. 129, 1, p. 147-174 28 p.

Research output: Contribution to journalArticle

Open Access
File
Scale Function
Optimal Stopping Problem
Mathematical Finance
Optimal Stopping
Finance
12 Citations (Scopus)
101 Downloads (Pure)

A Cartesian cut cell based two-way strong fluid-solid coupling algorithm for 2D floating bodies

Chen, Q., Zang, J., Dimakopoulos, A. S., Kelly, D. M. & Williams, C. J. K., 1 Apr 2016, In : Journal of Fluids and Structures. 62, p. 252-271 20 p.

Research output: Contribution to journalArticle

Open Access
File
Fluids
Natural sciences computing
Piercing
Lagrange multipliers
Poisson equation
3 Citations (Scopus)

A Cascade of Miniature Microbial Fuel Cells Coupled with an Electrochemical Reactor for Energy Harvesting

Monasterio, S., Mascia, M., Di Lorenzo, M., Vacca, A. & Palmas, S., 2015, European Fuel Cell Conference 2015, Book of Proceedings. Barchiesi, C., Chianella, M. & Cigolotti, V. (eds.). p. 305-306 2 p.

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

Open Access
Microbial fuel cells
Energy harvesting
Wastewater
Electrolytic cells
Density (optical)
99 Citations (Scopus)

A case of proctitis in a patient with rheumatoid arthritis during treatment with etanercept

Pauling, J. D. & Stone, M. A., 2007, In : Rheumatology. 46, p. I70-I70

Research output: Contribution to journalArticle

22 Citations (Scopus)

A case study in preferential sampling: Long term monitoring of air pollution in the UK

Shaddick, G. & Zidek, J., Aug 2014, In : Spatial Statistics. 9, p. 51 - 65 15 p.

Research output: Contribution to journalArticle

Air Pollution
Air pollution
Network Monitoring
atmospheric pollution
Monitoring
13 Citations (Scopus)

A case study on the parametric occurrence of multiple steady states

Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A., 23 Jul 2017, ISSAC 2017 - Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation: Part F129312. Association for Computing Machinery, p. 45-52 8 p.

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

Protein Kinase
Biological Networks
Symbolic Computation
Numerics
Positivity
10 Citations (Scopus)

A categorical semantics of higher order store

Laird, J., Feb 2003, In : Electronic Notes in Theoretical Computer Science. 69, p. 209-226 18 p.

Research output: Contribution to journalArticle

Open Access
Categorical
Semantics
Higher Order
Tensors
Monoidal Category
11 Citations (Scopus)

A categorification of Grassmannian cluster algebras

Jensen, B. T., King, A. D. & Su, X., 2 Aug 2016, In : Proceedings of the London Mathematical Society. 113, 2, p. 185-212

Research output: Contribution to journalArticle

Open Access
Categorification
Cluster Algebra
Grassmannian
Ring
Cohen-Macaulay Module
12 Citations (Scopus)

A Category Theoretic Formulation for Engeler-style Models of the Untyped λ-Calculus

Hyland, M., Nagayama, M., Power, J. & Rosolini, G., 31 Aug 2006, In : Electronic Notes in Theoretical Computer Science. 161, p. 43-57 15 p.

Research output: Contribution to journalArticle

Monads
Lambda Calculus
Formulation
Monoids
Distributive law
18 Citations (Scopus)

A cationic diode based on asymmetric nafion film deposits

He, D., Aaronson, B. D. B., Madrid, E., Fan, L., Doughty, J., Mathwig, K., Bond, A. M., Mckeown, N. B. & Marken, F., 29 Mar 2017, In : ACS Applied Materials and Interfaces. 9, 12, p. 11272-11278

Research output: Contribution to journalArticle

Diodes
Deposits
Polyethylene Terephthalates
Charge carriers
Electric space charge
305 Citations (Scopus)

Accelerated evolution of nervous system genes in the origin of Homo sapiens

Dorus, S., Vallender, E. J., Evans, P. D., Anderson, J. R., Gilbert, S. L., Mahowald, M., Wyckoff, G. J., Malcom, C. M. & Lahn, B. T., 2004, In : Cell. 119, 7, p. 1027-1040 14 p.

Research output: Contribution to journalArticle

Neurology
Nervous System
Genes
Primates
Brain
34 Citations (Scopus)

Accelerated formation of multicellular 3-D structures by cell-to-cell cross-linking

De Bank, P. A., Hou, Q., Warner, R. M., Wood, I. V., Ali, B. E., MacNeil, S., Kendall, D. A., Kellam, B., Makesheff, K. M. & Buttery, L. D. K., 15 Aug 2007, In : Biotechnology and Bioengineering. 97, 6, p. 1617-1625 9 p.

Research output: Contribution to journalArticle

Stem cells
Proteins
Cell adhesion
Chemical modification
Skin
6 Citations (Scopus)

Accelerated molecular evolution of insect orthologues of ERG28/C14orf1: a link with ecdysteroid metabolism?

Veitia, R. A. & Hurst, L. D., 2001, In : Journal of Genetics. 80, 1, p. 17-21 5 p.

Research output: Contribution to journalArticle

Ecdysteroids
Molecular Evolution
Sterols
Insects
Insect Proteins
3 Citations (Scopus)
64 Downloads (Pure)

Accelerated optimization of transparent, amorphous zinc-tin-oxide thin films for optoelectronic applications

Wahila, M. J., Lebens-Higgins, Z. W., Butler, K., Fritsch, D., Treharne, R. E., Palgrave, R. G., Woicik, J. C., Morgan, B., Walsh, A. & Piper, L. F. J., 1 Feb 2019, In : APL Materials. 7, 2, 022509.

Research output: Contribution to journalArticle

Open Access
File
Zinc oxide
Tin oxides
Optoelectronic devices
Oxide films
Indium

Accelerating and locked Raman solitons in micro-ring resonators: Role in supercontinuum generation

Milián, C., Gorbach, A. V., Taki, M. & Skryabin, D. V., 21 Jul 2014, European Quantum Electronics Conference, EQEC 2015. OSA Publishing, 1 p.

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

Accelerating paediatric formulation development through smart design and predictive science

De Matas, M., Storey, R., Fotaki, N., Timmins, P., Jones, J., Batchelor, H., Parker, A., Tuleu, C., Ahmed, A., Ernest, T., Coupe, A., Mohammed, A. & Jackson, A., 2014.

Research output: Contribution to conferencePaper

13 Downloads (Pure)

Acceleration decoupling control of 6 degrees of freedom electro-hydraulic shaking table

Guan, G. F. & Plummer, A. R., 1 Nov 2019, In : JVC/Journal of Vibration and Control. 25, 21-22, p. 2758-2768 11 p.

Research output: Contribution to journalArticle

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

Acceleration of convergence to equilibrium in Markov chains by breaking detailed balance

Zimmer, J., Jack, R. & Kaiser, M., 1 Jul 2017, In : Journal of Statistical Physics. 168, 2

Research output: Contribution to journalArticle

Open Access
File
Acceleration of Convergence
Convergence to Equilibrium
Hydrodynamic Limit
Detailed Balance
Markov chains
20 Citations (Scopus)

Accent processing in dementia

Hailstone, J. C., Ridgway, G. R., Bartlett, J. W., Goll, J. C., Crutch, S. J. & Warren, J. D., Jul 2012, In : Neuropsychologia. 50, 9, p. 2233-44 12 p.

Research output: Contribution to journalArticle

Open Access

Accessible telehealth - Leveraging consumer-level technologies and social networking functionalities for senior care

Dhillon, J. S., Wünsche, B. C. & Lutteroth, C., 2013, Proceedings of the 6th International Conference on Human System Interaction (HSI), 2013. IEEE, p. 451-458 8 p.

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

Health
Costs
24 Citations (Scopus)
112 Downloads (Pure)

Accessing personal medical records online: A means to what ends?

Shah, S. G. S., Fitton, R., Hannan, A., Fisher, B., Young, T. & Barnett, J., 1 Feb 2015, In : International Journal of Medical Informatics. 84, 2, p. 111-118

Research output: Contribution to journalArticle

Open Access
File
2 Citations (Scopus)
Open Access
Tetrahydroisoquinolines
Cyclization
Alkylation
Alkaloids
Minerals
18 Citations (Scopus)

Accessing the mobile metagenome of the human gut microbiota

Jones, B. V. & Marchesi, J. R., Nov 2007, In : Molecular Biosystems. 3, 11, p. 749-758 10 p.

Research output: Contribution to journalReview article

Metagenome
Ecosystem
Maintenance
Gastrointestinal Microbiome
7 Citations (Scopus)

Accessory gene regulator (Agr) functionality in Staphylococcus aureus derived from lower respiratory tract infections

Gomes-Fernandes, M., Laabei, M., Pagan, N., Hidalgo, J., Molinos, S., Villar Hernandez, R., Domínguez-Villanueva, D., Jenkins, A. T. A., Lacoma, A. & Prat, C., 1 Apr 2017, In : PLoS ONE. 12, 4, e0175552.

Research output: Contribution to journalArticle

Open Access
Accessories
Regulator Genes
regulator genes
Respiratory Tract Infections
respiratory tract diseases
70 Citations (Scopus)

Access to medicines: cost as an influence on the views and behaviour of patients

Schafheutle, E., Hassell, K., Noyce, P. R. & Weiss, M. C., 2002, In : Health & Social Care in the Community. 10, p. 187-195 9 p.

Research output: Contribution to journalArticle

"According to Abramowitz and Stegun", or arcoth needn't be uncouth

Corless, R. M., Davenport, J. H., Jeffrey, D. J. & Watt, S. M., 2000, In : SIGSAM Bulletin. 34, p. 58-65 8 p.

Research output: Contribution to journalArticle

15 Citations (Scopus)
91 Downloads (Pure)

Accretion disc time lag distributions: applying CREAM to simulated AGN light curves

Starkey, D. A., Horne, K. & Villforth, C., 1 Feb 2016, In : Monthly Notices of the Royal Astronomical Society. 456, 2, p. 1960-1973 14 p.

Research output: Contribution to journalArticle

File
11 Citations (Scopus)
86 Downloads (Pure)

Accretion-inhibited star formation in the warm molecular disk of the green-valley elliptical galaxy NGC 3226?

Appleton, P. N., Mundell, C., Bitsakis, T., Lacy, M., Alatalo, K., Armus, L., Charmandaris, V., Duc, P., Lisenfeld, U. & Ogle, P., 20 Dec 2014, In : Astrophysical Journal. 797, 2, p. 117

Research output: Contribution to journalArticle

Open Access
File
elliptical galaxies
valleys
star formation
plume
accretion
118 Citations (Scopus)

Accumulation and reactivity of the redox protein cytochrome c in mesoporous films of TiO2 phytate

McKenzie, K. J. & Marken, F., 1 May 2003, In : Langmuir. 19, 10, p. 4327-4331 5 p.

Research output: Contribution to journalArticle

7 Citations (Scopus)

Accumulation of eicosapolyenoic acids enhances sensitivity to abscisic acid and mitigates the effects of drought in transgenic arabidopsis thaliana

Yuan, X., Li, Y., Liu, S., Xia, F., Li, X. & Qi, B., 1 Apr 2014, In : Journal of Experimental Botany. 65, 6, p. 1637-1649 13 p.

Research output: Contribution to journalArticle

Abscisic Acid
Droughts
Arabidopsis
abscisic acid
Arabidopsis thaliana
57 Citations (Scopus)

Accumulation of hydroxycoumarins during post-harvest deterioration of tuberousroots of cassava (Manihot esculenta Crantz)

Buschmann, H., Rodriguez, M. X., Tohme, J. & Beeching, J. R., 2000, In : Annals of Botany. 86, 6, p. 1153-1160

Research output: Contribution to journalArticle

22 Downloads (Pure)

Accumulation versus accomplishment as organizing structures for human activity

Payne, S. & Duggan, G. B., 2008.

Research output: Contribution to conferencePaper

File

Accuracy of diesel engine combustion metrics over the full range of engine operating conditions

Dowell, P. G., Burke, R. D. & Akehurst, S., 1 Jan 2018, Emissions Control Systems; Instrumentation, Controls, and Hybrids; Numerical Simulation; Engine Design and Mechanical Development. American Society of Mechanical Engineers (ASME), Vol. 2.

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

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

Accuracy of perturbation theory for nonadiabatic effects in adsorbate-surface dynamics

Mizielinski, M. S. & Bird, D. M., 14 May 2010, In : Journal of Chemical Physics. 132, 18, 9 p., 184704.

Research output: Contribution to journalArticle

Adsorbates
perturbation theory
formalism
metal surfaces
Distribution functions
7 Citations (Scopus)

Accurate measurement of the dispersion of hollow-core fibers using a scalable technique

Welch, M. G., De Nobriga, C. E., Correa, R. A., Wadsworth, W. J. & Knight, J. C., 2009, In : Optics Express. 17, 11, p. 9006-9012 7 p.

Research output: Contribution to journalArticle

hollow
fibers
slopes
group velocity
optical fibers
78 Citations (Scopus)
Potential energy surfaces
Methane
methane
Metals
potential energy
2 Citations (Scopus)
79 Downloads (Pure)

Accurate simulation estimates of phase behavior in ternary mixtures with prescribed composition

Wilding, N. B., Aug 2011, In : Journal of Statistical Physics. 144, 3, p. 652-662 11 p.

Research output: Contribution to journalArticle

Open Access
File
Ternary
estimates
Estimate
Simulation
simulation
15 Citations (Scopus)

ACE for all - a molecular perspective

Harrison, C. & Acharya, K. R., Sep 2014, In : Journal of Cell Communication and Signaling. 8, 3, p. 195-210

Research output: Contribution to journalArticle

Insects
Enzymes
Angiotensin-Converting Enzyme Inhibitors
Genes
Pressure regulation

Ace N-domain crystal

Acharya, R. & Sturrock, E. D., 30 Dec 2009, IPC No. A61K, Patent No. ZA200806312 (A)

Research output: Patent

Patents and inventions
Crystals
Modulators
Chemical analysis
Pharmaceutical Preparations
15 Citations (Scopus)

A central limit theorem with applications to percolation, epidemics and Boolean models

Penrose, M. D., 2001, In : Annals of Probability. 29, 4, p. 1515--1546 32 p.

Research output: Contribution to journalArticle

A central role for endothelial cell potassium channels in EDHF-mediated responses

Dora, K. A., Walker, S. D., Garland, C. J. & Vanhoutte, P. M., 2001, EDHF 2000. London: Taylor and Francis, p. 118-125 8 p.

Research output: Chapter in Book/Report/Conference proceedingChapter