Volume 386; Issue 1-2

Theoretical Computer Science

Volume 386; Issue 1-2
2

Optimal parameters for search using a barrier tree Markov model

W. Benfold, J. Hallam, A. Prügel-Bennett
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 923 KB
english, 2007
3

Finding large cliques in sparse semi-random graphs by simple randomized search heuristics

Tobias Storch
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 460 KB
english, 2007
4

Complexity theory for splicing systems

Remco Loos, Mitsunori Ogihara
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 392 KB
english, 2007
5

Parallel computation in spiking neural nets

Andrew Carnell, Daniel Richardson
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 1.47 MB
english, 2007
6

Preface

G. Rozenberg
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 124 KB
english, 2007
7

Editorial Board

Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 68 KB
english, 2007
8

Automata theory based on quantum logic: Reversibilities and pushdown automata

Daowen Qiu
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 397 KB
english, 2007
10

Proof rules for the correctness of quantum programs

Yuan Feng, Runyao Duan, Zhengfeng Ji, Mingsheng Ying
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 350 KB
english, 2007