Basket

  1. 1.
    0353276 - MÚ 2011 RIV NL eng J - Journal Article
    Jeřábek, Emil
    A sorting network in bounded arithmetic.
    Annals of Pure and Applied Logic. Roč. 162, č. 4 (2011), s. 341-355. ISSN 0168-0072. E-ISSN 1873-2461
    R&D Projects: GA AV ČR IAA1019401; GA MŠMT(CZ) 1M0545
    Institutional research plan: CEZ:AV0Z10190503
    Keywords : bounded arithmetic * sorting network * proof complexity * monotone sequent calculus
    Subject RIV: BA - General Mathematics
    Impact factor: 0.450, year: 2011
    http://www.sciencedirect.com/science/article/pii/S0168007210001272
    Permanent Link: http://hdl.handle.net/11104/0192567
    FileDownloadSizeCommentaryVersionAccess
    Jerabek.pdf1306.7 KBPublisher’s postprintrequire
     
     
  2. 2.
    0584745 - ÚJF 2025 RIV US eng J - Journal Article
    Acharya, S. - Adamová, Dagmar - Aglieri Rinella, G. - Agnello, M. - Bielčík, J. - Bielčíková, Jana - Broz, M. - Contreras, J. G. - Filová, V. - Grecká, Ekaterina - Grund, D. - Haidlová, S. - Herman, T. - Isakov, Artem - Khuntia, A. - Kotliarov, Artem - Krupová, D. M. - Křížek, Filip - Kushpil, Svetlana - Šafařík, K. - Torres, S. R. - Závada, Petr … Total 1054 authors
    System-size dependence of the hadronic rescattering effect at energies available at the CERN Large Hadron Collider.
    Physical Review C. Roč. 109, č. 1 (2024), č. článku 014911. ISSN 2469-9985. E-ISSN 2469-9993
    Research Infrastructure: CERN-CZ III - 90240
    Institutional support: RVO:68378271 ; RVO:61389005
    Keywords : ALICE collaboration * heavy ion collisions * particle production
    OECD category: Nuclear physics; Particles and field physics (FZU-D)
    Impact factor: 3.1, year: 2022
    Method of publishing: Open access
    https://doi.org/10.1103/PhysRevC.109.014911
    Permanent Link: https://hdl.handle.net/11104/0352591
    FileDownloadSizeCommentaryVersionAccess
    0584745.pdf01.2 MBCC licencePublisher’s postprintopen-access
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.