Search results

  1. 1.
    0523269 - MÚ 2021 RIV DE eng C - Conference Paper (international conference)
    Chen, L. - Hirahara, S. - Oliveira, I.C. - Pich, Ján - Rajgopal, N. - Santhanamz, R.
    Beyond natural proofs: Hardness magnification and locality.
    11th Innovations in Theoretical Computer Science Conference (ITCS 2020). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2020 - (Vidick, T.), č. článku 70. Leibniz International Proceedings in Informatics (LIPIcs), 151. ISBN 978-3-95977-134-4. ISSN 1868-8969.
    [11th Innovations in Theoretical Computer Science Conference (ITCS 2020). Seattle (US), 12.01.2020-14.01.2020]
    R&D Projects: GA ČR(CZ) GA19-05497S
    Institutional support: RVO:67985840
    Keywords : hardness magnification * natural proofs * minimum circuit size problem * circuit lower bounds
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://drops.dagstuhl.de/opus/volltexte/2020/11755/
    Permanent Link: http://hdl.handle.net/11104/0307638
    FileDownloadSizeCommentaryVersionAccess
    Pich.pdf2903.8 KBPublisher’s postprintrequire
     
     
  2. 2.
    0193810 - UOCHB-X 20000242 RIV US eng C - Conference Paper (international conference)
    Slaninová, Jiřina - Machová, Alena - Golser, R. - Chen, L. - Barany, G.
    Biological studies on chimeric dimers of oxytocin and the V2-antagonist, d(CH2)5[D-Ile2, Ile4]arginine vasopressin.
    Proceedings of the 16th American Peptide Symposium. Peptides for the New Millennium. Boston: Kluwer, 2000 - (Fields, G.; Tam, J.; Barany, G.), s. 643-644. ISBN 0-7923-6445-7.
    [Peptides for the New Millennium. American Peptide Symposium /16./. Minneapolis (US), 26.06.1999-01.07.1999]
    R&D Projects: GA AV ČR KSK2055603
    Grant - others:NIH(US) GM 43552
    Institutional research plan: CEZ:AV0Z4055905
    Subject RIV: CE - Biochemistry
    Permanent Link: http://hdl.handle.net/11104/0089502
     
     


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