SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "WFRF:(Andersen V) srt2:(1995-1999)"

Search: WFRF:(Andersen V) > (1995-1999)

  • Result 1-10 of 21
Sort/group result
   
EnumerationReferenceCoverFind
1.
  •  
2.
  •  
3.
  •  
4.
  •  
5.
  • Qvarford, M, et al. (author)
  • Photoemission and x-ray absorption study of superconducting and semiconducting Ba1-xKxBiO3 single crystals
  • 1996
  • In: Physical Review B Condensed Matter. - 0163-1829 .- 1095-3795. ; 54:9, s. 6700-6707
  • Journal article (peer-reviewed)abstract
    • Semiconducting Ba0.9K0.1BiO3 and superconducting Ba0.6K0.4BiO3 single crystals cleaved in situ have been studied by core level and valence band photoelectron spectroscopy and O K edge x-ray absorption spectroscopy. It was found that the general shape of the valence band spectrum agrees with the shape predicted by band structure calculations, but the intensity near the Fermi level, was lower in the experimental spectrum as compared to the calculated. The O K edge spectra showed that the metallic phase is not related to the presence of doping inducted O 2p holes. This property of Ba1-xKxBiO3 shows that the semiconductor-metal transition of this system is of a different nature than that of the hole doped cuprate high-T-c superconductors. The core level photoemission spectra of the cations showed a small asymmetry for Ba0.9K0.1BiO3. Corresponding spectra for Ba0.6K0.4BiO3 showed a larger asymmetry resulting in a resolved high binding energy shoulder in the Bi 4f spectrum. The origin of this feature is discussed.
  •  
6.
  •  
7.
  • Andersen, Jörgen H., et al. (author)
  • A Machine Verified Distributed Sorting Algorithm
  • 1996
  • Reports (other academic/artistic)abstract
    • We present a verification of a distributed sorting algorithm in ALF, an implementation of Martin Löf's type theory. The implementation is expressed as a program in a priortized version of CBS, (the Calculus of Broadcasting Systems) which we have implemented in ALF. The specification is expressed in terms of an ALF type which represents the set of all sorted lists and an HML (Hennesey-Milner Logic) formula which expresses that the sorting program will input any number of data until it hears a value triggering the program to begin outputting the data in a sorted fashion. We gain expressive power from the type theory by inheriting the language of data, state expressions, and propositions.
  •  
8.
  •  
9.
  •  
10.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-10 of 21

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view