SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Lin Yi) srt2:(2000-2004)"

Sökning: WFRF:(Lin Yi) > (2000-2004)

  • Resultat 1-7 av 7
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Adcox, K, et al. (författare)
  • PHENIX detector overview
  • 2003
  • Ingår i: Nuclear Instruments & Methods in Physics Research. Section A: Accelerators, Spectrometers, Detectors, and Associated Equipment. - 0167-5087. ; 499:2-3, s. 469-479
  • Tidskriftsartikel (refereegranskat)abstract
    • The PHENIX detector is designed to perform a broad study of A-A, p-A, and p-p collisions to investigate nuclear matter under extreme conditions. A wide variety of probes, sensitive to all timescales, are used to study systematic variations with species and energy as well as to measure the spin structure of the nucleon. Designing for the needs of the heavy-ion and polarized-proton programs has produced a detector with unparalleled capabilities. PHENIX measures electron and muon pairs, photons, and hadrons with excellent energy and momentum resolution. The detector consists of a large number of subsystems that are discussed in other papers in this volume. The overall design parameters of the detector are presented. (C) 2002 Elsevier Science B.V. All rights reserved.
  •  
2.
  •  
3.
  •  
4.
  • Lin, Huimin, et al. (författare)
  • A Complete Axiomatisation for Timed Automata
  • 2000
  • Rapport (övrigt vetenskapligt/konstnärligt)abstract
    • Timed automata has been recognised as a fundamental model for real time systems, but it still lacks a satisfactory algebraic theory. This paper fills the gape by presenting a complete proof system for timed automata, in which the equalities between pairs of timed automata that are timed bisimilar can be derived. The proof of the completeness result relies on the introduction of the notion of symbolic timed bisimulation.
  •  
5.
  • Lin, Huimin, et al. (författare)
  • Axiomatising timed automata
  • 2002
  • Ingår i: Acta Informatica. - 0001-5903. ; 38:4, s. 277-305
  • Tidskriftsartikel (refereegranskat)
  •  
6.
  •  
7.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-7 av 7

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