University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Items where Author is "Williams, D"

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 36.


Stant, Laurence T., Salter, Martin J., Ridler, Nick M., Williams, Dylan F. and Aaen, Peter H. (2018) Propagating Measurement Uncertainty to Microwave Amplifier Nonlinear Behavioral Models IEEE Transactions on Microwave Theory and Techniques.

Trindade, G, Williams, David, Abel, Marie-Laure and Watts, John (2018) Analysis of atmospheric plasma treated polypropylene by large area ToF-SIMS imaging and NMF Surface and Interface Analysis, 50 (11). pp. 1180-1186.

Williams, DF, Kellar, EJC, Jesson, David and Watts, John (2017) Surface Analysis of 316 Stainless Steel Treated with Cold Atmospheric Plasma Applied Surface Science, 403. pp. 240-247.

Hoang, TS, Schneider, SA, Treharne, H and Williams, DM (2016) Foundations for using Linear Temporal Logic in Event-B refinement Formal Aspects of Computing, 28 (6). pp. 909-935.

Lockefeer, L, Williams, DM and Fokkink, W (2016) Formal specification and verification of TCP extended with the Window Scale Option Science of Computer Programming, 118. pp. 3-23.

Shah, UV, Parambil, JV, Williams, DR, Hinder, SJ and Heng, JYY (2015) Preparation and characterisation of 3D nanotemplates for protein crystallisation POWDER TECHNOLOGY, 282. pp. 10-18.

Watts, JF, Williams, DF, Abel, M-L, Grant, E and Hrachova, J (2015) Flame Treatment of Polypropylene: A Study by Electron and Ion Spectroscopies International Journal of Adhesion and Adhesives.

Moore, CJ, Monton, H, O'Kennedy, R, Williams, DE, Nogues, C, Crean (nee Lynam), C and Gubala, V (2015) Controlling colloidal stability of silica nanoparticles during bioconjugation reactions with proteins and improving their longer-term stability, handling and storage Journal of Materials Chemistry B, 3 (10). pp. 2043-2055.

Schneider, S, Treharne, H, Wehrheim, H and Williams, D (2014) Managing LTL properties in Event-B refinement Lecture Notes in Computer Science. pp. 221-237.

Schneider, S, Treharne, H, Wehrheim, H and Williams, DM (2014) Managing LTL properties in Event-B refinement. CoRR, abs/14.

Zheng, X-F, Hong, Y-X, Zhang, G-F, Rogers, H, Lewis, MAO, Williams, DW, Song, B, Wei, X-Q, Xia, Z-F and Feng, G-J (2013) Lipopolysaccharide-Induced M2 to M1 Macrophage Transformation for IL-12p70 Production Is Blocked by Candida albicans Mediated Up-Regulation of EBI3 Expression PLoS ONE, 8 (5).

Rogers, H, Williams, DW, Feng, GJ, Lewis, MA and Wei, XQ (2013) Role of bacterial lipopolysaccharide in enhancing host immune response to Candida albicans. Clin Dev Immunol, 2013.

James, P, Moller, F, Nguyen, HN, Roggenbach, M, Schneider, S, Treharne, H, Trumble, M and Williams, DM (2013) Verification of Scheme Plans Using CSP $$||$$ | | B. SEFM Workshops, 8368. pp. 189-204.

Williams, D, Elghali, L, Wheeler, R and France, C (2012) Climate change influence on building lifecycle greenhouse gas emissions: Case study of a UK mixed-use development Energy and Buildings, 48. pp. 112-126.

Howell, A, Mugisha, L, Davies, J, LaCourse, EJ, Claridge, J, Williams, DJ, Kelly-Hope, L, Betson, M, Kabatereine, NB and Stothard, JR (2012) Bovine fasciolosis at increasing altitudes: parasitological and malacological sampling on the slopes of Mount Elgon, Uganda. Parasit Vectors, 5.

Gubala, V, Crean, C, Nooney, R, Hearty, S, McDonnell, B, Heydon, K, O'Kennedy, R, MacCraith, BD and Williams, DE (2011) Kinetics of immunoassays with particles as labels: effect of antibody coupling using dendrimers as linkers ANALYST, 136 (12). pp. 2533-2541.

Williamson, SM, Scholes, SFE, Welchman, DDB, Dennison, M, Batten, CA, Williams, DL, Mertens, PPC, Mellor, PS and Darpel, KE (2010) Bluetongue virus serotype 8-associated hydranencephaly in two calves in south-eastern England VETERINARY RECORD, 167 (6). pp. 216-218.

Ho, R, Hinder, SJ, Watts, JF, Dilworth, SE, Williams, DR and Heng, JYY (2010) Determination of surface heterogeneity of D-mannitol by sessile drop contact angle and finite concentration inverse gas chromatography INTERNATIONAL JOURNAL OF PHARMACEUTICS, 387 (1-2). pp. 79-86.

Williams, D P, Andreev, A D and O'Reilly, E P (2006) Dependence of Exciton Energy on Dot Size in GaN/AlN Quantum Dots Physical Review B, 73 (24).

Williams, DP, Andreev, AD, O'Reilly, EP and Faux, DA (2005) Derivation of built-in polarization potentials in nitride-based semiconductor quantum dots PHYSICAL REVIEW B, 72 (23), ARTN 2.

Conference or Workshop Item

Stathakidis, E, Williams, DM and Heather, JA (2013) Verifying a Mix Net in CSP

Williams, DM, Treharnea, H and Ho, ATS (2010) On the importance of one-time key pairs in buyer-seller watermarking protocols In: SECRYPT 2010, 2010-07-26 - 2010-07-28, Athens, Greece.

Brookes, T and Williams, D (2010) Perceptually-Motivated Audio Morphing: Warmth In: AES 128th Convention, 2010-05-22 - 2010-05-25, London, UK.

Williams, D and Brookes, T (2010) Testing a prototype timbre morpher In: DMRN+4: Digital Music Research Network, 2010-12-22 - ?, London.

Williams, DM, Treharne, H, Ho, ATS and Waller, A (2009) Formal Analysis of Two Buyer-Seller Watermarking Protocols In: 7th International Workshop on Digital Watermarking, 2008-11-10 - 2008-11-12, Busan, South Korea.

Williams, D and Brookes, T (2009) Perceptually-motivated audio morphing: softness In: AES 126th Convention, 2009-05-07 - 2009-05-10, Munich, Germany.

Williams, DM, Treharne, H, Ho, ATS and Culnane, C (2008) Using a Formal Analysis Technique to Identify an Unbinding Attack on a Buyer-Seller Watermarking Protocol In: ACM Multimedia and Security Workshop, 2008-09-22 - 2008-09-23, Oxford Univ Comp Lab, Oxford, ENGLAND.

Williams, D and Brookes, TS (2007) Perceptually-Motivated Audio Morphing: Brightness In: 122nd Audio Engineering Society Convention, 2007, Vienna.

Williams, DP, Andreev, AD, Faux, DA and O'Reilly, EP (2004) Surface integral determination of built-in electric fields and analysis of exciton binding energies in nitride-based quantum dots In: 11th International Conference on Modulated Semiconductor Structures (MSS11), 2003-07-14 - 2003-07-18, Nara, JAPAN.


Williams, David (2018) The use of cold atmospheric plasma (CAP) treatment for the structural adhesive bonding of metals. Doctoral thesis, University of Surrey.

Williams, David R. S. (2013) Climate Change Influence on Building Lifecycle Greenhouse Gas Emissions (Volume I). Doctoral thesis, University of Surrey (United Kingdom)..

Williams, David (2011) The modelling and analysis of buyer-seller watermarking protocols Doctoral thesis, University of Surrey.

Williams, Duncan. (2010) Towards a Timbre Morpher. Doctoral thesis, University of Surrey (United Kingdom)..

Williams, David Gordon Spencer (1998) Organisational Climate and Performance: An Empirical Investigation Doctoral thesis, University of Surrey.

Williams, David John. (1983) Studies in Oxytetracycline Biosynthesis. Doctoral thesis, University of Surrey (United Kingdom)..

Williams, D. M. (1970) An Investigation into the Lack of Isochronism of Spiral Hairspring and Balance Wheel Oscillators Due to Nonlinearity of the Hairspring. Doctoral thesis, University of Surrey (United Kingdom)..

This list was generated on Thu Jul 9 09:05:11 2020 UTC.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800