Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
EN
Annealed, well ordered Bi(001) films have been used as substrates for the growth of pentacene (Pn). It has been determined using low-energy electron microscope (LEEM) that Pn nucleates on Bi(001) into a highly ordered, crystalline layer, with pentacene molecules "standing up" on the Bi surface. Moreover, the Pn layer is aligned with the bi(001) surface having a "point-on-line" commensurate relation with the substrate. The Pn/Bi(001) films was determined to crystallize in the bulk-like structure directly from the first Pn layer, while formation of the thin-film phase reported for the Pn growth on SiO(2) and other inert substrates is not observed.
2
Content available remote Luminescence properties of nanophosphors: metal ion-doped sol-gel silica glasses
EN
Photoluminescence of xerogel and sol-gel SiO2 glasses doped with metal ions, metal complexes and semiconductor nanocrystals are investigated at 300 K and 10 K to clarify the optical properties and the electronic structures of nanophosphors. Sol-gel glasses doped with 3d, 4d and 5d transition metal ions exhibit a bright luminescence with various colours due to the 3LMCT transition associated with closed -shell molecular complex centres. Luminescence from rare earth(III) complexes doped in the same matrix serve as a sensitive probe to determine axial and chiral complex structures. Luminescence properties are investigated of doped semiconductors ZnS: Cu, Al dispersed as nanocrystalline green phosphors in xerogel with various lifetime components. The sol-gel silica-based phosphors are characterized by unusual valence states of the transition metal ions, stable centres in organic-inorganic hybrid hosts and the 500 ps lifetimes of D-A pairs due to spd hybridization effects in semiconductor nanocrystals.
3
Content available remote Explicit environments
EN
We introduce le, a simply typed calculus with environments as first class values. As well as the usual constructs of l and application, we have e\lbrack\lbrack a\rbrack\rbrack which evaluates term a in an environment e. Our environments are sets of variable-value pairs, but environments can also be computed by function application and evaluation in some other environments. The notion of environments here is a generalization of explicit substitutions and records. We show that the calculus has desirable properties such as subject reduction, confluence, conservativity over the simply typed lb-calculus and strong normalizability.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.