summary:The scope width of an algorithmic net without cycles $N$ is the integer $scwi^*(N)=min_{P\in P(N)} scwi^*(P)$, where $scwi^*(P)$ is a modified scope width of the course $P$ of the net $N$ and $P(N)$ is the set of all courses of $N$. If $T$ is an algorithmic rooted tree (i.e. a net with one output vertex and without parallel paths) with the root $v$ and if $v_1,v_2,\ldots,v_n$ are all the vertices where start all edges which terminate in $v$, then we conjecture that $scwi^*(T)=max_{1\leq q\leq p}.[scwi^*(T_{s_q})+s_q-1]$ where $p$ is the number of different scope width $scwi^*(T_i)$ and the integers $s_1,s_2,\ldots,s_q=n$ are determined by the following inequalities $scwi^*(T_1)=\ldots = scwi^*(T_{s_1})>scwi^*(T_{s_1+1})=\ldots = scw...
We extend classical methods of computational complexity to the setting of distributed computing, whe...
AbstractThough complexity theory already extensively studies path-cardinality-based restrictions on ...
In a foundational paper on the theory of automata A. W. Burks and H. Wang (1957) conjectured that a ...
summary:The scope width of an algorithmic net without cycles $N$ is the integer $scwi^*(N)=min_{P\in...
summary:Algorithmic nets (or flow diagrams) are a generalization of logical nets. They are finite, o...
This paper investigates the influence of cycles in a logical net upon the complexity of its behavior...
This paper investigates the influence of cycles in a logical net upon the complexity of its behavior...
This paper presents a new semantic method for proving lower bounds in computational complexity. We u...
We show that proving lower bounds in algebraic models of computation may not be easier than in the s...
Computational Complexity is concerned with the resources that are required for algorithms to detect ...
We consider the computational complexity of learning by neural nets. We are inter- ested in how hard...
The extent to which a set of related graph-theoretic properties can be used to accont for the superl...
In a foundational paper on the theory of automata A. W. Burks and H. Wang (1957) conjectured that a ...
At its core, much of Computational Complexity is concerned with combinatorial objects and structures...
21 pagesInternational audienceThe relationship between Boolean proof nets of multiplicative linear l...
We extend classical methods of computational complexity to the setting of distributed computing, whe...
AbstractThough complexity theory already extensively studies path-cardinality-based restrictions on ...
In a foundational paper on the theory of automata A. W. Burks and H. Wang (1957) conjectured that a ...
summary:The scope width of an algorithmic net without cycles $N$ is the integer $scwi^*(N)=min_{P\in...
summary:Algorithmic nets (or flow diagrams) are a generalization of logical nets. They are finite, o...
This paper investigates the influence of cycles in a logical net upon the complexity of its behavior...
This paper investigates the influence of cycles in a logical net upon the complexity of its behavior...
This paper presents a new semantic method for proving lower bounds in computational complexity. We u...
We show that proving lower bounds in algebraic models of computation may not be easier than in the s...
Computational Complexity is concerned with the resources that are required for algorithms to detect ...
We consider the computational complexity of learning by neural nets. We are inter- ested in how hard...
The extent to which a set of related graph-theoretic properties can be used to accont for the superl...
In a foundational paper on the theory of automata A. W. Burks and H. Wang (1957) conjectured that a ...
At its core, much of Computational Complexity is concerned with combinatorial objects and structures...
21 pagesInternational audienceThe relationship between Boolean proof nets of multiplicative linear l...
We extend classical methods of computational complexity to the setting of distributed computing, whe...
AbstractThough complexity theory already extensively studies path-cardinality-based restrictions on ...
In a foundational paper on the theory of automata A. W. Burks and H. Wang (1957) conjectured that a ...