UNI-MB - logo
UMNIK - logo
 

Rezultati iskanja

Osnovno iskanje    Ukazno iskanje   

Trenutno NISTE avtorizirani za dostop do e-virov UM. Za polni dostop se PRIJAVITE.

1 2 3 4 5
zadetkov: 761
11.
Celotno besedilo
12.
  • Practical JFSL verification... Practical JFSL verification using TACO
    Chicote, M.; Ciolek, D.; Galeotti, J.P. Software, practice & experience, 03/2014, Letnik: 44, Številka: 3
    Journal Article
    Recenzirano
    Odprti dostop

    SUMMARYTranslation of Annotated COde (TACO) is a SAT‐based tool for bounded verification of Java programs. One challenge many formal tools share is to provide a practical interface for a ...
Celotno besedilo
13.
  • On-line recognition of supe... On-line recognition of supernova neutrino bursts in the LVD
    Agafonova, N.Yu; Aglietta, M.; Antonioli, P. ... Astroparticle physics, 2008, 2008-01-00, 2008-01, Letnik: 28, Številka: 6
    Journal Article
    Recenzirano
    Odprti dostop

    In this paper we show the capabilities of the Large Volume Detector (INFN Gran Sasso National Laboratory) to identify a neutrino burst associated with a supernova explosion, in the absence of an ...
Celotno besedilo

PDF
14.
  • Measurement of the velocity... Measurement of the velocity of neutrinos from the CNGS beam with the large volume detector
    Agafonova, N Yu; Aglietta, M; Antonioli, P ... Physical review letters, 2012-Aug-17, Letnik: 109, Številka: 7
    Journal Article
    Recenzirano
    Odprti dostop

    We report the measurement of the time of flight of ∼17 GeV ν(μ) on the CNGS baseline (732 km) with the Large Volume Detector (LVD) at the Gran Sasso Laboratory. The CERN-SPS accelerator has been ...
Celotno besedilo

PDF
15.
  • Exploration of the stratosp... Exploration of the stratosphere with cosmic-ray muons detected underground
    Taricco, C.; Arnone, E.; Rubinetti, S. ... Physical review research, 06/2022, Letnik: 4, Številka: 2
    Journal Article
    Recenzirano
    Odprti dostop

    Cosmic radiation is a potential additional tool for atmospheric monitoring. High-energy cosmic rays, interacting in the atmosphere, produce secondary particles, the production and propagation of ...
Celotno besedilo
16.
  • Microgeographic variation o... Microgeographic variation of colour morph frequency and biometry of common wall lizards
    Sacchi, R; Scali, S; Pupin, F ... Journal of zoology (1987), December 2007, Letnik: 273, Številka: 4
    Journal Article
    Recenzirano

    The throat and belly of both sexes of the common wall lizard Podarcis muralis exhibit a polymorphic coloration with three morphs (white, yellow and red). We documented the occurrence of this ...
Celotno besedilo
17.
  • The cosmic ray primary comp... The cosmic ray primary composition in the “knee” region through the EAS electromagnetic and muon measurements at EAS-TOP
    Aglietta, M.; Alessandro, B.; Antonioli, P. ... Astroparticle physics, September 2004, 2004-09-00, 20040901, Letnik: 21, Številka: 6
    Journal Article
    Recenzirano
    Odprti dostop

    The evolution of the cosmic ray primary composition in the energy range 106–107 GeV (i.e. the “knee” region) is studied by means of the e.m. and muon data of the Extensive Air Shower EAS-TOP array ...
Celotno besedilo
18.
  • Studying the reproductive b... Studying the reproductive biology of the common wall lizard using ultrasonography
    Sacchi, R.; Pellitteri-Rosa, D.; Capelli, A. ... Journal of zoology (1987), 08/2012, Letnik: 287, Številka: 4
    Journal Article
    Recenzirano

    Ultrasound imaging is a promising technique for studying the reproductive biology of reptiles, but it has yet to be validated for small lizards in field research. This study aimed both at assessing ...
Celotno besedilo
19.
  • yellow cheek-patches of the... yellow cheek-patches of the Hermann's tortoise (Reptilia, Chelonia): Sexual dimorphism and relationship with body condition
    Galeotti, P; Sacchi, R; Pellitteri-Rosa, D ... Italian journal of zoology/˜The œItalian journal of zoology, 12/2011, Letnik: 78, Številka: 4
    Journal Article
    Recenzirano
    Odprti dostop

    Males and females of Hermann's tortoise (Testudo hermanni) exhibit a conspicuous yellow patch on both their cheeks, whose origin and potential function are totally unknown. In this study, we measured ...
Celotno besedilo

PDF
20.
  • Study of the effect of neut... Study of the effect of neutrino oscillations on the supernova neutrino signal in the LVD detector
    Agafonova, N.Yu; Aglietta, M.; Antonioli, P. ... Astroparticle physics, 04/2007, Letnik: 27, Številka: 4
    Journal Article
    Recenzirano
    Odprti dostop

    The LVD detector, located in the INFN Gran Sasso National Laboratory (Italy), studies supernova neutrinos through the interactions with protons and carbon nuclei in the liquid scintillator and ...
Celotno besedilo

PDF
1 2 3 4 5
zadetkov: 761

Nalaganje filtrov