Structures with self-organised InAs quantum dots in a GaAs matrix were grown by the low-pressure metal-organic vapour phase epitaxy (LP-MOVPE) technique. Photoluminescence in combination with photomodulated reflectance spectroscopy were used as the main characterisation methods for the growth optimisation. Results show that photoreflectance spectroscopy is an excellent tool for characterisation...

While the back-and-forth method has been often attributed to Cantor, it turns out that in the original proof of the characterisation of countable linear dense orders, themapping is constructed in a single direction. Cameron has called this method Forth and has shown that it can fail to build an automorphism for some homogeneous structures. We give in this paper a characterisation of those homog...

Model-checking regular properties has been proven to be a useful verification technique for regular as well as context-free programs. Only recently, model-checking was extended by ω-visibly pushdown languages (ωVPLs) beyond verifying regular properties and shown to be still decidable when the program is an ωVPL too. In this paper, we give a grammatical characterisation of ωVPLs and the correspo...

This paper describes the isolation and characterisation of equine herpesvirus 1 (EHV-1) in Colombia. The virus was isolated from a nasal swab and an aborted foetus of a pregnant mare imported from Argentina, with clinical signs of rhinopneumonitis. The new strain was characterised through culture and morphological, serological and immunocytochemical studies. Polymerase chain reaction and DNA re...

In optical particle characterisation and aerosol science today light scattering simulations are regarded as an indispensable tool to develop new particle characterisation techniques or in solving inverse light scattering problems. Mie scattering and related computational methods have evolved rapidly during the past decade such that scattering computations for spherical scatterers a few order of...

The in situ characterisation of thermocouple sensors is a challenging problem. Recently the authors introduced a novel blind characterisation technique based on the cross-relation method of blind identification that allows in situ characterisation of temperature measurement probes consisting of twothermocouple sensors with differing time constants. While the technique has a number of advantages...

This paper contributes to the general program of extending techniques and ideas of effective algebra to computable metric space theory. It is well-known that relative computable categoricity (to be defined) of a computable algebraic structure is equivalent to having a c.e. Scott family with finitely many parameters (e.g., [1]). The first main result of the paper extends this characterisation to...

In October 2006, the European Centre for the Validation of Alternative Methods (ECVAM) sponsored and hosted a three-day workshop to consider opportunities and challenges in the development of alternative methods for the identification and characterisation of chemical respiratory allergens. The proceedings, conclusions and recommendations of that workshop were subsequently made available as ECVA...

We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). These algebraic structures play the same role of universal algebra for term rewriting systems. Restricting the algebraic structures to the ones equipped with wellfounded relations, we obtain a complete characterisation of terminati...

This chapter presents the methodologies that have been developed during the Bacchus project concerning the automatic detection and characterisation of vineyard plots in aerial images based on their structural properties, as well as the main results obtained in representative test areas of the project. They include a segmentation stage based on textural and shape criteria, followed by a more pre...