All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Filters

33 331 (0,145s)

Result

Bounded depth circuits: separating wires from gates

We develop a new method to analyze the flow of communication in constant-depth circuits. This point of view allows us to prove new lower bounds on the number of wires required to recognize certain languages....

BA - Obecná matematika

  • 2005
  • D
Result

The polynomial and linear time hierarchies in V-0

We show that the bounded arithmetic theory V-0 does not prove that the polynomial time hierarchy collapses to the linear time hierarchy (without parameters). The result follows from a lower bound for bounded depth ...

BA - Obecná matematika

  • 2009
  • Jx
Result

Near-Optimal Small-Depth Lower Bounds for Small

We prove a lower bound for the s-t connectivity restricted to distance k for depth d circuits. Our lower bound is almost optimal....

BA - Obecná matematika

  • 2016
  • D
  • Link
Result

Circuits with medium fan-in

-On-Forehead model in communication complexity, or for bounded depth circuits in AC_0 to being layered and depth 2, we prove a lower bound of ... on the number of non-input gates. When the circuit...

BA - Obecná matematika

  • 2015
  • D
  • Link
Result

Threshold circuits of bounded depth.

Annotation not available...

BA - Obecná matematika

  • 1993
  • Jx
Result

Communication in bounded depth circuits.

Annotation not available...

BA - Obecná matematika

  • 1994
  • Jx
Result

CC-CIRCUITS AND THE EXPRESSIVE POWER OF NILPOTENT ALGEBRAS

We show that CC-circuits of bounded depth have the same expressive power as circuits over finite nilpotent algebras from congruence modular varieties. We use conjecture, which states that CC-circuits of

Pure mathematics

  • 2022
  • Jimp
  • Link
Result

The canonical pairs of bounded depth Frege systems

. In particular, depth 1 games are essentially monotone Boolean circuits. Thus we get to lower bounds on the size of monotone Boolean circuits. However, we do not have a method yet for proving lower bounds...

Pure mathematics

  • 2021
  • Jimp
  • Link
Result

Top-down lower bounds for depth 3 circuits.

Annotation not available...

BA - Obecná matematika

  • 1993
  • D
Result

Top-down lower bounds for depth-three circuits.

Annotation not available...

BA - Obecná matematika

  • 1995
  • Jx
  • 1 - 10 out of 33 331