Skip to main content

Research Repository

Advanced Search

Outputs (1468)

Multiple Pre/Post Specifications for Heap-Manipulating Methods (2007)
Presentation / Conference Contribution
Chin, W., David, C., Nguyen, H., & Qin, S. (2007, November). Multiple Pre/Post Specifications for Heap-Manipulating Methods. Presented at 10th IEEE High Assurance Systems Engineering Symposium (HASE 2007), Dallas, Texas, USA

Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of each method before it is systematically verified. In this paper, we advo... Read More about Multiple Pre/Post Specifications for Heap-Manipulating Methods.

Passband filters for terahertz radiation based on dual metallic photonic structures (2007)
Journal Article
Gallant, A., Kaliteevski, M., Wood, D., Petty, M., Abram, R., Brand, S., …Chamberlain, J. (2007). Passband filters for terahertz radiation based on dual metallic photonic structures. Applied Physics Letters, 91(16), https://doi.org/10.1063/1.2800381

This paper reports on the development of two-dimensional metallic microstructures for the filtering of terahertz radiation. These structures are fabricated using ultraviolet-based processing of thick SU8 resist. This micromachining technique enables... Read More about Passband filters for terahertz radiation based on dual metallic photonic structures.

Small- and waiting-time behavior of the thin-film equation (2007)
Journal Article
Blowey, J., King, J., & Langdon, S. (2007). Small- and waiting-time behavior of the thin-film equation. SIAM Journal on Applied Mathematics, 67(6), 1776-1807. https://doi.org/10.1137/060667682

We consider the small-time behavior of interfaces of zero contact angle solutions to the thin-film equation. For a certain class of initial data, through asymptotic analyses, we deduce a wide variety of behavior for the free boundary point. These are... Read More about Small- and waiting-time behavior of the thin-film equation.

Manifestation of quantum resonances and antiresonances in a finite temperature dilute atomic gas (2007)
Journal Article
Saunders, M., Halkyard, P., Challis, K., & Gardiner, S. (2007). Manifestation of quantum resonances and antiresonances in a finite temperature dilute atomic gas. Physical Review A, 76(4), https://doi.org/10.1103/physreva.76.043415

We investigate the effect of temperature on resonant and antiresonant dynamics in a dilute atomic gas kicked periodically by a standing-wave laser field. Our numerical calculations are based on a Monte Carlo method for an incoherent mixture of nonint... Read More about Manifestation of quantum resonances and antiresonances in a finite temperature dilute atomic gas.

Electronic memory device based on a single-layer fluorene-containing organic thin film. (2007)
Journal Article
Pearson, C., Ahn, J., Mabrook, M., Zeze, D., Petty, M., Kamtekar, K., …Tsoukalas, D. (2007). Electronic memory device based on a single-layer fluorene-containing organic thin film. Applied Physics Letters, 91(12), Article 123506. https://doi.org/10.1063/1.2783481

The authors report on a simple bistable switching device based on a thin film of an electroactive polymer containing a fluorene group sandwiched between aluminumelectrodes. No additional materials (e.g., metallic or semiconductive nanoparticles) are... Read More about Electronic memory device based on a single-layer fluorene-containing organic thin film..

Free-standing polymer cantilevers and bridges reinforced with carbon nanotubes (2007)
Journal Article
Cadd, D., Wood, D., & Petty, M. (2007). Free-standing polymer cantilevers and bridges reinforced with carbon nanotubes. Micro and Nano Letters, 2(3), 54-57

A nanofabrication process, based on the layer-by-layer electrostatic deposition method, has been developed to fabricate free-standing cantilevers and bridges of polyelectrolytes containing conductive carbon nanotubes. The technique can produce a high... Read More about Free-standing polymer cantilevers and bridges reinforced with carbon nanotubes.

White organic light-emitting devices incorporating nanoparticles of II-VI semiconductors (2007)
Journal Article
Ahn, J., Bertoni, C., Dunn, S., Wang, C., Talapin, D., Gaponik, N., …Petty, M. (2007). White organic light-emitting devices incorporating nanoparticles of II-VI semiconductors. Nanotechnology, 18(33),

A blue-green fluorescent organic dye and red-emitting nanoparticles, based on II-VI semiconductors, have been used together in the fabrication of white organic light-emitting devices. In this work, the materials were combined in two different ways: i... Read More about White organic light-emitting devices incorporating nanoparticles of II-VI semiconductors.

Pre-emptive Concurrent Design Planning and Scheduling (2007)
Presentation / Conference Contribution
Matthews, P., & Coates, G. (2007, August). Pre-emptive Concurrent Design Planning and Scheduling. Presented at 16th International Conference on Engineering Design, Paris, France

Stochastic based Pre-emptive Planning and Scheduling (2007)
Presentation / Conference Contribution
Matthews, P., & Coates, G. (2007, July). Stochastic based Pre-emptive Planning and Scheduling. Presented at 10th International Conference on Agile Manufacturing, Durham, UK