All Outputs (15)

ALSTOM-CPS San Antonio Retrofit of JK Spruce Unit 1 HP-IP Turbine – An Example of an Advanced Steam Turbine Upgrade for Improved Performance by a Non-OEM Supplier. (2005)
Conference Proceeding
Hogg, S., & Stephen, D. (2005). ALSTOM-CPS San Antonio Retrofit of JK Spruce Unit 1 HP-IP Turbine – An Example of an Advanced Steam Turbine Upgrade for Improved Performance by a Non-OEM Supplier.

Improvement of the efficiency of organic light emitting devices using blended polymer films (2005)
Conference Proceeding
Ahn, J., Widdowson, N., Pearson, C., Petty, M., Wang, C., Oyston, S., & Bryce, M. (2005). Improvement of the efficiency of organic light emitting devices using blended polymer films.

Organic light emitting devices based on a mixture of an emissive polymer and an electron transporting material have been fabricated. Using the blended polymers, the external quantum efficiency of the devices could be increased by two orders of magnit... Read More about Improvement of the efficiency of organic light emitting devices using blended polymer films.

Improved energy conversion for doubly-fed wind generators. (2005)
Conference Proceeding
Smith, S., Todd, R., Barnes, M., & Tavner, P. (2005). Improved energy conversion for doubly-fed wind generators.

Biomaterial wear screening tests for an all polymer knee. (2005)
Conference Proceeding
Joyce, T., Riddell, D., & Unsworth, A. (2005). Biomaterial wear screening tests for an all polymer knee.

Automatic catheter valve system for long term catheterisation patients to inprove quality of life. (2005)
Conference Proceeding
Lee, S., Short, T., & Unsworth, A. (2005). Automatic catheter valve system for long term catheterisation patients to inprove quality of life.

The Semantics and Tool Support of OZTA (2005)
Conference Proceeding
Dong, J., Hao, P., Qin, S., & Zhang, X. (2005). The Semantics and Tool Support of OZTA. In Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, 1-4 November, 2005, Manchester, UK ; proceedings (66-80). https://doi.org/10.1007/11576280_6

In this work, we firstly enhance OZTA, a combination of Object-Z and Timed Automata, by introducing a set of timed patterns as language constructs that can specify the dynamic and timing features of complex real-time systems in a systematic way. Then... Read More about The Semantics and Tool Support of OZTA.

Extracting condition monitoring information from a wind turbine drive train. (2005)
Conference Proceeding
Wilkinson, M., & Tavner, P. (2005). Extracting condition monitoring information from a wind turbine drive train.

Memory Usage Verification for OO Programs (2005)
Conference Proceeding
Chin, W., Nguyen, H., Qin, S., & Rinard, M. (2005). Memory Usage Verification for OO Programs. In Static analysis : 12th International Symposium, SAS 2005, 7-9 September 2005, London, UK ; proceedings (70-86). https://doi.org/10.1007/11547662_7

We present a new type system for an object-oriented (OO) language that characterizes the sizes of data structures and the amount of heap memory required to successfully execute methods that operate on these data structures. Key components of this typ... Read More about Memory Usage Verification for OO Programs.

Improving the reliability of wind turbine generation and its impact on overall distribution network reliability. (2005)
Conference Proceeding
Tavner, P., Xiang, J., & Spinato, F. (2005). Improving the reliability of wind turbine generation and its impact on overall distribution network reliability.

Photolithography on grossly non-planar substrates (2005)
Conference Proceeding
Williams, G., McWilliam, R., Maiden, A., Purvis, A., Ivey, P., & Seed, N. (2005). Photolithography on grossly non-planar substrates. . https://doi.org/10.1109/hdp.2005.251443

Within the electronics industry, photolithography is the primary technique by which patterns are transferred from mask to substrate. The substrates are either semiconductor wafers or printed circuit boards, both of which are nominally flat. The growt... Read More about Photolithography on grossly non-planar substrates.

Verifying safety policies with size properties and alias controls (2005)
Conference Proceeding
Chin, W., Khoo, S., Qin, S., Popeea, C., & Nguyen, H. (2005). Verifying safety policies with size properties and alias controls. In Proceedings of the 27th International Conference on Software Engineering, ICSE 05, 15-21 May 2005, St Louis MO (186-195). https://doi.org/10.1145/1062455.1062500

Many software properties can be analysed through a relational size analysis on each function’s inputs and outputs. Such relational analysis (through a form of dependent typing) has been successfully applied to declarative programs, and to restricted... Read More about Verifying safety policies with size properties and alias controls.

Comparison of Direct-Drive and Geared Generator Concepts for Wind Turbines. (2005)
Conference Proceeding
Polinder, H., van der Pijl, F., de Vilder, G., & Tavner, P. (2005). Comparison of Direct-Drive and Geared Generator Concepts for Wind Turbines.

Conversion to Partial Arc Admission when Retrofitting Steam Turbine Power Plant – Unlocking Additional Performance at Part-Load Conditions’ (2005)
Conference Proceeding
Hogg, S. (2005). Conversion to Partial Arc Admission when Retrofitting Steam Turbine Power Plant – Unlocking Additional Performance at Part-Load Conditions’.

The effect of running in on the tribology of a metal-on-metal hip resurfacing device. (2005)
Conference Proceeding
Vassiliou, K., Scholes, S., & Unsworth, A. (2005). The effect of running in on the tribology of a metal-on-metal hip resurfacing device.

Wind Turbine Reliability, How Does it Compare with other Embedded Generation Sources (2005)
Conference Proceeding
Tavner, P., & Xiang, J. (2005). Wind Turbine Reliability, How Does it Compare with other Embedded Generation Sources. In 3rd IEE international conference on reliability of transmission and distribution networks (RTDN 2005) : 15-17 February 2005 (243-248). https://doi.org/10.1049/cp%3A20050046

Wind turbines are being introduced into the distribution and transmission networks of Europe in increasing numbers. Their reliability has become a factor in network reliability. This has been exemplified by a report from Germany about the reserve nec... Read More about Wind Turbine Reliability, How Does it Compare with other Embedded Generation Sources.