Filtry
A new characterization of ACC(0) and probabilistic CC0
BA - Obecná matematika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
A New Characterization of ACC(0) and Probabilistic CC0
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
The polynomial and linear time hierarchies in V-0
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Tight bounds on computing error-correcting codes by bounded-depth circuits with arbitrary gates
BA - Obecná matematika
- 2013 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Tight bounds on computing error-correcting codes by bounded-depth circuits with arbitrary gates
BA - Obecná matematika
- 2012 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Nisan-Wigderson generators in proof complexity: New lower bounds
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Obvody omezené hloubky: oddělování drátů od hradel
Navrhujeme novou metodu jak analyzovat tok komunikace v obvodech omezené hloubky. Tento pohled nám umožňuje dokázat nové dolní odhady na počet drátů nutných na rozpoznání určitých jazyků....
BA - Obecná matematika
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Beating brute force for (quantified) satisfiability of circuits of bounded treewidth
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
A note on conservativity relations among bounded arithmetic theories.
BA - Obecná matematika
- 2002 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Elementary analytic functions in VTC^0
Pure mathematics
- 2023 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 z 2 599