TCS 1998 | Sciweavers

6

TCS
1998

72views Theoretical Computer Science» more TCS 1998»

13 years 4 months ago

In this paper we present an alternative order-theoretic proof of the Banach ﬁxed point theorem for selfmaps on complete metric spaces which is based on formal balls and, contrary...

Abbas Edalat, Reinhold Heckmann

claim paper

Read More »

6

click to vote

TCS
1998

78views Theoretical Computer Science» more TCS 1998»

Near-Optimal, Distributed Edge Colouring via the Nibble Method

13 years 4 months ago

Download www.brics.dk

Devdatt P. Dubhashi, David A. Grable, Alessandro P...

claim paper

Read More »

5

click to vote

TCS
1998

71views Theoretical Computer Science» more TCS 1998»

Parallel Transient Time of One-Dimensional Sand Pile

13 years 4 months ago

Download www.univ-orleans.fr

Jérôme Olivier Durand-Lose

claim paper

Read More »

7

click to vote

TCS
1998

80views Theoretical Computer Science» more TCS 1998»

Parameterized Circuit Complexity and the W Hierarchy

13 years 4 months ago

Download www.cse.buffalo.edu

Rodney G. Downey, Michael R. Fellows, Kenneth W. R...

claim paper

Read More »

12

click to vote

TCS
1998

85views Theoretical Computer Science» more TCS 1998»

Threshold Dominating Sets and an Improved Characterization of W[2]

13 years 4 months ago

Download mrfellows.net

The Threshold Dominating Set problem is that of determining for a graph G = (V, E) whether there is a subset V ⊆ V of size k, such that for each vertex v ∈ V there are at leas...

Rodney G. Downey, Michael R. Fellows

claim paper

Read More »

9

click to vote

TCS
1998

92views Theoretical Computer Science» more TCS 1998»

Merit Factors and Morse Sequences

13 years 4 months ago

Download www.im.pwr.wroc.pl

Abstract. We show that Turyn’s conjecture, arising from the Theory of Error Correcting Codes, has an equivalent formulation in Dynamical Systems Theory. In particular, Turyn’s ...

T. Downarowicz, Y. Lacroix

claim paper

Read More »

6

click to vote

TCS
1998

62views Theoretical Computer Science» more TCS 1998»

The Quotient of an Abstract Interpretation

13 years 4 months ago

Download www.dsi.unive.it

Agostino Cortesi, Gilberto Filé, William H....

claim paper

Read More »

4

click to vote

TCS
1998

102views Theoretical Computer Science» more TCS 1998»

Counting Non-Isomorphic Chord Diagrams

13 years 4 months ago

Download www.labri.fr

Robert Cori, Michel Marcus

claim paper

Read More »

14

click to vote

TCS
1998

87views Theoretical Computer Science» more TCS 1998»

A Uniform Approach to Semi-Dynamic Problems on Digraphs

13 years 4 months ago

Download ing.univaq.it

In this paper we propose a uniform approach to deal with incremental problems on digraphs and with decremental problems on dags generalizing a technique used by La Poutr´e and va...

Serafino Cicerone, Daniele Frigioni, Umberto Nanni...

claim paper

Read More »

5

click to vote

TCS
1998

68views Theoretical Computer Science» more TCS 1998»

Open Maps, Behavioural Equivalences, and Congruences

13 years 4 months ago