Photonic glass is a material class that can be used as photonic broadband reflectors, for example in the infrared regime as thermal barrier coating films. Photonic properties such as the reflectivity depend on the ordering and material packing fraction over the complete film thickness of up to 100 µm. Nanotomography allows acquiring these key parameters throughout the sample volume at the requi...

Specification styles are an approach for structuring the design process of distributed systems. For different phases of the design process different specification styles are employed. In this paper we study tools that support the design process through support for specification style transformation. Tools were made for a subset of LOTOS.

This paper presents a new semantic model for real-time LOTOS, based upon a notion of timed observations. The novelty of the model is explained, as is its value. It differs from the usual operational models in that it permits an abstract, property-oriented view of processes. It differs from earlier denotational models in that it describes a wider variety of behaviours. It supports an alternative...

This paper introduces the LOTOS specification of the OSI95 Enhanced Transport Service. It discusses the problems encountered during its writing, such as the ones caused by its validation, or by the lack of a 'Timed' LOTOS. But the interest is not only in the specification itself. It also lies in the way this specification was developed: not after, but in parallel with the design of the Service ...

Single Crystals of Nd1−xCa1+xMnO4 have been prepared by the travelling floating-zone method, and possible evidence of a charge -orbital density wave in this material presented earlier [PRB68,092405 (2003)] using High Resolution Electron Microscopy [HRTEM] and Electron Diffraction [ED]. In the current note we present direct evidence of charge-orbital ordering in this material using heat capacity...

With the growing popularity of MOOCs and sharp trend of digitalizing education, there is a huge amount of free digital educational material on the web along with the activity logs of large number of participating students. However, this data is largely unstructured and there is hardly any information about the relationship between material from different sources. We propose a generic algorithm ...

The synthesis of nanocrystalline Fe3Al powder by mechanical alloying as well as the structural ordering of the synthesized Fe3Al particles during the subsequent thermal analysis were investigated. Mechanical alloying was performed up to 100 hours using a planetary ball mill apparatus with rotational speed of 300 rpm under argon atmosphere at ambient temperature. The synthesized powders were cha...