Behavioral equivalence of hidden k-logics: an abstract algebraic approach

This work advances a research agenda which has as its main aim the application of Abstract Algebraic Logic (AAL) methods and tools to the specification and verification of software systems. It uses a generalization of the notion of an abstract deductive system to handle multi-sorted deductive systems which differentiate visible and hidden sorts. Two main results of the paper are obtained by generalizing properties of the Leibniz congruence — the central notion in AAL. In this paper we discuss a question we posed in [1] about the relationship between the behavioral equivalences of equivalent hidden logics. We also present a necessary and sufficient intrinsic condition for two hidden logics to be equivalent.

Proof theory for hybrid(ised) logics

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. In a series of papers this process has been detailed and taken as a basis for a speci cation methodology for recon gurable systems. The present paper extends this work by showing how a proof calculus (in both a Hilbert and a tableau based format) for the hybridised version of a logic can be systematically generated from a proof calculus for the latter. Such developments provide the basis for a complete proof theory for hybrid(ised) logics, and thus pave the way to the development of (dedicated) proof support.

Radiative Behaviour of Gd2O3:Er/Yb nanoparticles under near infrared illumination

Upconverting nanoparticles have attracted much attention in science recently, specifically in view of medical and biological applications such as live imaging of cell temperatures or cancer treatment. The previously studied system of gadolinium oxide nanorods co-doped with erbium and ytterbium and decorated with different number densities of gold nanoparticles has been studied. So far, these particles have been proven as efficient nanothermometers in a temperature range from 300 up to 2000 K. In this work, a more detailed study on the morphological and radiative behaviour of these particles has been conducted. It was found that the laser power threshold for the onset of the black body radiation decreases strongly with the increase in the gold concentration. The temperature of the onset itself seems to remain approximately constant. The heating efficiency was determined to increase significantly with the gold concentration. The morphological study revealed that the temperature at the black body radiation threshold was not enough to induce any significant transformation in neither the nanorods nor the gold nanoparticles, as was expected from comparison with literature. However, significant changes in radiative properties and the morphology were detected for powders that underwent strong laser heating until the emission of brightly visible black body radiation.