n/a

Algebraic theories for modeling components and their interactions offer abstraction over the specifics of component states and interfaces. For example, such theories deal with forms of sequential composition of two components in a manner independent of the type of data stored in the states of the components, and independent of the number and types of methods offered by the interfaces of the combinators. General purpose programming languages do not offer this level of abstraction, which implies that a gap must be bridged when turning component models into implementations. In this paper, we present an approach to prototyping of component-based systems that employs so-called type-level programming (or compile-time computation) to bridge the gap between abstract component models and their type-safe implementation in a functional programming language. We demonstrate our approach using Barbosa's model of components as generalized Mealy machines. For this model, we develop a combinator library in Haskell, which uses type-level programming with two effects. Firstly, wiring between components is computed during compilation. Secondly, the well-formedness of the component compositions is guarded by Haskell's strong type system.

In the presentwork we have studied the properties of zinc oxide (ZnO) thin films grown by laser ablation of ZnO targets under different substrate temperature and background oxygen conditions. The ZnO layers were deposited with a Pulsed Laser Deposition (PLD) system on pre-nitrided (0001) sapphire (Al2O3), using the base line of a Nd:YAG laser at 1064 nm. The films were characterized by different structural and optical methods, including X-ray diffraction (XRD), scanning electron microscopy (SEM), optical transmission spectroscopy, and steady-state photoluminescence (PL). XRD analysis with rocking curves and $þeta$–2$þeta$ scans indicates preferential growth along the c-axis direction with a full width at half maximum (FWHM) smaller than 1.5◦. Low-temperature photoluminescence (PL) showed strong excitonic emission near 3.36 eV between 9 and 65 K

n/a

n/a

This work shows the effect of the annealing temperature and atmosphere on the properties of r.f. magnetron sputtered indium-zinc oxide (IZO) thin-films of two types: one a conductive film (as-deposited, room temperature) that exhibits a resistivity of 3.5 × 10- 4 Ω cm; the other, a semiconductor film with a resistivity ∼ 102 Ω cm. The annealing temperatures were changed between 125 and 500 °C. Crystallization of the more conductive films was already noticeable at temperatures around 400 °C. Three different annealing atmospheres were used - vacuum, air and oxygen. For the conductive films, only the oxygen atmosphere was critical, leading to an increase of the electrical resistivity of more than one order of magnitude, for temperatures of 250 °C and above. Concerning the semiconductor films, both temperature and atmosphere had a strong effect on the film's properties, and the resistivity of the annealed films was always considerably smaller than the as-deposited films. Finally, some results of the application of these films to transparent TFTs are shown. © 2007 Elsevier B.V. All rights reserved.

n/a

n/a

n/a

The isoconversional methods (Friedman (FR), Flynn-Wall-Ozawa (FWO) and Kissinger-Akahira-Sunose (KAS)) were applied for evaluating the dependencies of the activation energy (E) on the mass loss (Δm) corresponding to the non-isothermal decomposition of two Zn acetate-based gel precursors for ZnO thin films whose preparation differs by the drying temperature of the liquid sol-precursor (125°C for sample A, and 150°C for sample B). Although both investigated samples exhibit similar decomposition steps, strong differences between E vs. Δm curves as well as among the characteristic parameters of the decomposition steps, directly evaluated from TG, DTG and DTA curves, were put in evidence. © 2007 Springer Science+Business Media LLC.

In this paper we review the different relativistic and QED contributions to energies, ionic radii, transition probabilities and Landé g-factors in super-heavy elements, with the help of the MultiConfiguration Dirac-Fock method (MCDF). The effects of taking into account the Breit interaction to all orders by including it in the self-consistent field process are demonstrated. State of the art radiative corrections are included in the calculation and discussed. We also study the non-relativistic limit of MCDF calculation and find that the non-relativistic offset can be unexpectedly large.

In this paper we review the different relativistic and QED contributions to energies, ionic radii, transition probabilities and Landé g-factors in super-heavy elements, with the help of the MultiConfiguration Dirac-Fock method (MCDF). The effects of taking into account the Breit interaction to all orders by including it in the self-consistent field process are demonstrated. State of the art radiative corrections are included in the calculation and discussed. We also study the non-relativistic limit of MCDF calculation and find that the non-relativistic offset can be unexpectedly large.Topical Issue on the Atomic Properties of the Heaviest Elements

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

This report begins with some general information and analysis of policy and regulation that were the subjects of discussion and exchange in the policy pillar in the first phase of WORKS. The second section is a synthesis of country information on general principles and trends of policy and policy enforcement. This is followed by a summary of sector information for the sectors chosen by the qualitative pillar to be the objects of empirical analysis. The last summarises research questions and dimensions to be guidelines for carrying out case studies and capturing the relevance and effects of policy and institutions at the workplace. –

n/a