SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Jonsson Hans) srt2:(1990-1994)"

Sökning: WFRF:(Jonsson Hans) > (1990-1994)

  • Resultat 1-6 av 6
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  • Bergström, Sven, et al. (författare)
  • Molecular characterization of Borrelia burgdorferi isolated from Ixodes ricinus in northern Sweden.
  • 1992
  • Ingår i: Scandinavian Journal of Infectious Diseases. - : Informa UK Limited. - 0036-5548 .- 1651-1980. ; 24:2, s. 181-188
  • Tidskriftsartikel (refereegranskat)abstract
    • Ixodes ricinus ticks, harbouring Borrelia burgdorferi, were found in an area in northern Sweden, not thought to be endemic for Lyme borreliosis. This investigation took place at Norrbyskär, an island situated in the Bothnian Gulf, 63 degrees 33'N/19 degrees 52'E. One of 42 nymphal and 8/43 adult I. ricinus ticks collected carried spirochetes as seen by phase contrast microscopy. Pure bacterial cultures were obtained from 2 of the ticks. Western blot analysis using species-specific monoclonal antibodies showed that the isolated spirochetes were B. burgdorferi. The identity of the isolated spirochetes was confirmed by DNA amplification using B. burgdorferi OspA and flagellin gene specific oligonucleotides as well as partial DNA sequencing of the respective OspA and flagellin genes. The 2 isolated spirochaete populations were different as shown by their protein profiles in sodium dodecyl sulphate polyacrylamide gels. Moreover, the demonstration of Lyme borreliosis in a patient from the island of Norrbyskär indicates the need for clinical consideration of this disease in northern Sweden.
  •  
3.
  •  
4.
  • Hansson, Hans, et al. (författare)
  • A logic for reasoning about time and reliability
  • 1990. - 1
  • Rapport (övrigt vetenskapligt/konstnärligt)abstract
    • We present a logic for stating properties such as, "after a request for service there is at least a 98\045 probability that the service will be carried out within 2 seconds". The logic extends the temporal logic CTL by Emerson, Clarke and Sistla with time and probabilities. Formulas are interpreted over discrete time Markov chains. We give algorithms for checking that a given Markov chain satis- fies a formula in the logic. The algorithms require a polynomial number of arithmetic operations, in size of both the formula and\003This research report is a revised and extended version of a paper that has appeared under the title "A Framework for Reasoning about Time and Reliability" in the Proceeding of the 10thIEEE Real-time Systems Symposium, Santa Monica CA, December 1989. This work was partially supported by the Swedish Board for Technical Development (STU) as part of Esprit BRA Project SPEC, and by the Swedish Telecommunication Administration.1the Markov chain. A simple example is included to illustrate the algorithms.
  •  
5.
  •  
6.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-6 av 6

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 Stäng

Kopiera och spara länken för att återkomma till aktuell vy