Košík

    1.
    0538229 - ÚT 2021 RIV CZ cze V - Výzkumná zpráva
    Novotný, Jaroslav - Kopačka, Ján - Čertíková, Marta - Joch, Jaroslav - Ježek, Ondřej
    Tvarová optimalizace pro 3D tisk komponent flexibilních robotických systémů.
    [Optimization of 3D printing for Flexible Machines.]
    Praha: Ústav termomechaniky AV ČR, v. v. i., 2020. 78 s. Z-1620/20.
    Grant CEP: GA TA ČR(CZ) TN01000024
    Institucionální podpora: RVO:61388998
    Klíčová slova: topology optimization * 3D printing * flexible machines
    Obor OECD: Mechanical engineering
    Trvalý link: http://hdl.handle.net/11104/0317024
     
     
    2.
    0343940 - MÚ 2011 RIV US eng J - Článek v odborném periodiku
    Dershowitz, N. - Tzameret, Iddo
    Complexity of Propositional Proofs Under a Promise.
    ACM Transactions on Computational Logic. Roč. 11, č. 3 (2010), s. 1-29. ISSN 1529-3785. E-ISSN 1557-945X
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: theory * promise problems * propositional proof complexity * random 3CNF * resolution
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 1.391, rok: 2010
    http://dl.acm.org/citation.cfm?doid=1740582.1740586
    Trvalý link: http://hdl.handle.net/11104/0186297
    Název souboruStaženoVelikostKomentářVerzePřístup
    Tzameret1.pdf1248.6 KBVydavatelský postprintvyžádat
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše