Volume 299; Issue 1-3

Main
Theoretical Computer Science
Volume 299; Issue 1-3

Theoretical Computer Science

Volume 299; Issue 1-3

1

PAC learning of probability distributions over a discrete domain

Letizia Magnoni, Massimo Mirolli, Franco Montagna, Giulia Simi

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 307 KB

english, 2003

2

Complexity of perceptron recognition for a class of geometric patterns

Julio Aracena, Eric Goles

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 731 KB

english, 2003

3

A survey on multi-loop networks

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 160 KB

english, 2003

4

Some complexity results for polynomial rational expressions

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 189 KB

english, 2003

5

On a conjecture on bidimensional words

Chiara Epifanio, Michel Koskas, Filippo Mignosi

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 351 KB

english, 2003

6

Optimal three-dimensional orthogonal graph drawing in the general position model

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 636 KB

english, 2003

7

Structuring the elementary components of graphs having a perfect internal matching

Miklós Bartha, Miklós Krész

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 336 KB

english, 2003

8

Regular component decomposition of regular languages

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 198 KB

english, 2003

9

Approximation algorithms for NMR spectral peak assignment

Zhi-Zhong Chen, Tao Jiang, Guohui Lin, Jianjun Wen, Dong Xu, Jinbo Xu, Ying Xu

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 299 KB

english, 2003

10

Fringe analysis of synchronized parallel insertion algorithms in 2–3 Trees

R. Baeza-Yates, J. Gabarró, X. Messeguer

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 392 KB

english, 2003

11

An efficient k nearest neighbors searching algorithm for a query line

Subhas C. Nandy, Sandip Das, Partha P. Goswami

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 289 KB

english, 2003

12

Diffusion without false rumors: on propagating updates in a Byzantine environment

Dahlia Malkhi, Yishay Mansour, Michael K. Reiter

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 269 KB

english, 2003

13

Alternating and empty alternating auxiliary stack automata

Markus Holzer, Pierre McKenzie

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 496 KB

english, 2003

14

On omega context free languages which are Borel sets of infinite rank

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 296 KB

english, 2003

15

Towards a language theory for infinite N-free pomsets

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 477 KB

english, 2003

16

Approximate pattern matching and transitive closure logics

Kjell Lemström, Lauri Hella

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 270 KB

english, 2003

17

Presburger liveness verification of discrete timed automata

Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 259 KB

english, 2003

18

Lower bounds for on-line single-machine scheduling

Leah Epstein, Rob van Stee

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 158 KB

english, 2003

19

Protocol insecurity with a finite number of sessions and composed keys is NP-complete

Michaël Rusinowitch, Mathieu Turuani

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 341 KB

english, 2003

20

Cellular automata and strongly irreducible shifts of finite type

Francesca Fiorenzi

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 200 KB

english, 2003

21

Breaking DES using P systems

Shankara Narayanan Krishna, Raghavan Rama

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 167 KB

english, 2003

22

A new regular grammar pattern matching algorithm

Bruce W. Watson

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 155 KB

english, 2003

23

Number-conserving cellular automata I: decidability

Bruno Durand, Enrico Formenti, Zsuzsanna Róka

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 158 KB

english, 2003

24

Towards optimal lower bounds for clique and chromatic number

Lars Engebretsen, Jonas Holmerin

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 426 KB

english, 2003

25

An asymptotic study for path reversal

Alain Giorgetti

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 277 KB

english, 2003

26

The minimum broadcast range assignment problem on linear multi-hop wireless networks

Andrea E.F. Clementi, Miriam Di Ianni, Riccardo Silvestri

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 162 KB

english, 2003

27

Idempotent and co-idempotent stack filters and min–max operators

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 324 KB

english, 2003

28

Hybrid modes in cooperating distributed grammar systems: combining the t-mode with the modes ⩽k and =k

H. Fernau, M. Holzer, R. Freund

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 344 KB

english, 2003

29

On the closure properties of linear conjunctive languages

Alexander Okhotin

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 234 KB

english, 2003

30

Eliminating the storage tape in reachability constructions

Oscar H. Ibarra, Zhe Dang

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 291 KB

english, 2003

31

On finding common neighborhoods in massive graphs

Adam L. Buchsbaum, Raffaele Giancarlo, Jeffery R. Westbrook

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 239 KB

english, 2003

32

The monadic second-order logic of graphs XIV: uniformly sparse graphs and edge set quantifications

Bruno Courcelle

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 342 KB

english, 2003

33

On maximal suffixes and constant-space linear-time versions of KMP algorithm

Wojciech Rytter

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 211 KB

english, 2003

34

Algorithms for vertex-partitioning problems on graphs with fixed clique-width

Michael U. Gerber, Daniel Kobler

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 189 KB

english, 2003

35

Bilateral locally testable languages

Pedro Garcı&amp, #x0301, a, José Ruiz, Manuel Vazquez de Parga

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 218 KB

english, 2003

36

Algebraic testing and weight distributions of codes

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 296 KB

english, 2003

37

PC grammar systems with five context-free components generate all recursively enumerable languages

Erzsébet Csuhaj-Varjú, Gheorghe Păun, György Vaszil

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 143 KB

english, 2003

38

Corrigendum to “Expressiveness of matchgates”: [Theoret. Comput. Sci. 289(1) (2002) 457–471]

Leslie G. Valiant

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 130 KB

english, 2003

39

Editorial board

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 54 KB

english, 2003

40

Author index

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 82 KB

english, 2003