Search results

  1. 1.
    0510920 - ÚI 2020 eng V - Research Report
    Žák, Stanislav
    A Logical Characteristic of Read-Once Branching Programs.
    Trier, 2019. 16 s. Electronic Colloquium on Computational Complexity, TR19-150. ISSN 1433-8092
    Institutional support: RVO:67985807
    Keywords : branching programs * Computational Complexity * logic
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://eccc.weizmann.ac.il/report/2019/150/
    Permanent Link: http://hdl.handle.net/11104/0301281
    FileDownloadSizeCommentaryVersionAccess
    0510920-aonl.pdf3262.2 KBvolně onlinePublisher’s postprintopen-access
     
     
  2. 2.
    0506562 - ÚI 2020 CZ eng V - Research Report
    Žák, Stanislav
    A Logical Characteristic of Read-Once Branching Programs.
    Prague: ICS CAS, 2019. 16 s. Technical Report, V-1270.
    Institutional support: RVO:67985807
    Keywords : branching programs * computational complexity * logic
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Permanent Link: http://hdl.handle.net/11104/0297795
    FileDownloadSizeCommentaryVersionAccess
    0506562-av1.pdf0157.8 KBverze 07/2019Otheropen-access
     
     
  3. 3.
    0443323 - ÚI 2016 DE eng V - Research Report
    Žák, Stanislav
    Inherent Logic and Complexity.
    Trier, 2015. 12 s. Electronic Colloquium on Computational Complexity, TR15-029. ISSN 1433-8092
    R&D Projects: GA ČR GAP202/10/1333
    Institutional support: RVO:67985807
    Keywords : branching programs * complexity * logic
    Subject RIV: IN - Informatics, Computer Science
    http://eccc.hpi-web.de/report/2015/029/
    Permanent Link: http://hdl.handle.net/11104/0246047
     
     
  4. 4.
    0428781 - ÚI 2015 CZ eng V - Research Report
    Žák, Stanislav
    Inherent Logic and Complexity.
    Prague: ICS AS CR, 2014. 17 s. Technical Report, V-1208.
    R&D Projects: GA ČR GAP202/10/1333
    Institutional support: RVO:67985807
    Keywords : branching programs * complexity * logic
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0234049
    FileDownloadSizeCommentaryVersionAccess
    v1208-14.pdf25119.9 KBOtheropen-access
     
     
  5. 5.
    0403962 - UIVT-O 20000105 CZ eng V - Research Report
    Žák, Stanislav
    A Subexponential Lower Bound on Read-once Branching Programs by a New Argument.
    Prague: ICS AS CR, 2000. 10 s. Technical Report, V-813.
    R&D Projects: GA ČR GA201/98/0717
    Institutional research plan: AV0Z1030915
    Keywords : read-once branching programs * lower bound
    Permanent Link: http://hdl.handle.net/11104/0124246
    FileDownloadSizeCommentaryVersionAccess
    v813-00.pdf19135.3 KBOtheropen-access
     
     
  6. 6.
    0403746 - UIVT-O 990100 CZ eng V - Research Report
    Žák, Stanislav
    Upper Bounds for Gentle Branching Programs.
    Prague: ICS AS CR, 1999. 11 s. Technical Report, V-788.
    R&D Projects: GA ČR GA201/98/0717
    Keywords : branching programs * upper bounds
    Permanent Link: http://hdl.handle.net/11104/0124039
    FileDownloadSizeCommentaryVersionAccess
    v788-99.pdf12180 KBOtheropen-access
     
     
  7. 7.
    0403462 - UIVT-O 200726 CZ eng V - Research Report
    Žák, Stanislav
    The Turing Machine Space Measure Revised at the Occasion of Sublog Separation.
    Prague: ICS AS CR, 1997. 13 s. Technical Report, V-758.
    Permanent Link: http://hdl.handle.net/11104/0123767
    FileDownloadSizeCommentaryVersionAccess
    v758-98.pdf12169.6 KBOtheropen-access
     
     
  8. 8.
    0403282 - UIVT-O 970131 CZ eng V - Research Report
    Žák, Stanislav
    A Subexponential Lower Bounds for Branching Programs Restricted with Regard to Some Semantic Aspects.
    Prague: ICS AS CR, 1997. 37 s. Technical Report, V-728.
    R&D Projects: GA ČR GA201/95/0976
    Grant - others:ALTEC-KIT(XE) IP960195
    Keywords : branching programs * lower bounds
    Permanent Link: http://hdl.handle.net/11104/0123596
    FileDownloadSizeCommentaryVersionAccess
    v728-97.pdf12339.6 KBOtheropen-access
     
     
  9. 9.
    0402844 - UIVT-O 960160 CZ eng V - Research Report
    Savický, Petr - Žák, Stanislav
    A Hierarchy for (1,+k)-branching programs with respect to k.
    Prague: ICS AS CR, 1996. 15 s. Technical Report, V-672.
    R&D Projects: GA ČR GA201/95/0976
    Keywords : branching programs * lower bounds
    Permanent Link: http://hdl.handle.net/11104/0123220
    FileDownloadSizeCommentaryVersionAccess
    v672-96.pdf12220.5 KBOtheropen-access
     
     
  10. 10.
    0402790 - UIVT-O 960096 CZ eng V - Research Report
    Savický, Petr - Žák, Stanislav
    A Large Lower Bound for 1-branching Programs.
    Prague: ICS AS CR, 1996. 6 s. Technical Report, V-669.
    R&D Projects: GA ČR GA201/95/0976
    Keywords : branching programs * lower bounds
    Permanent Link: http://hdl.handle.net/11104/0123172
    FileDownloadSizeCommentaryVersionAccess
    v669-96.pdf15145.7 KBOtheropen-access
     
     

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