Volume 292,
Number 1,
January 2003
Selected Papers in honor of Jean Berstel
- Patrice Séébold:
Foreword.
1 BibTeX
- Publications of Jean Berstel.
3-7 BibTeX
- Jean-Paul Allouche, Michael Baake, Julien Cassaigne, David Damanik:
Palindrome complexity.
9-31 BibTeX
- Holger Austinat, Volker Diekert, Ulrich Hertrampf:
A structural property of regular frequency computations.
33-43 BibTeX
- Marie-Pierre Béal, Olivier Carton, Christophe Prieur, Jacques Sakarovitch:
Squaring transducers: an efficient procedure for deciding functionality and sequentiality.
45-63 BibTeX
- Danièle Beauquier:
On probabilistic timed automata.
65-84 BibTeX
- Srecko Brlek, Christophe Reutenauer:
On a valuation of rational subsets of Zk Dédié à Jean Berstel.
85-96 BibTeX
- Véronique Bruyère:
Cumulative defect.
97-109 BibTeX
- Arturo Carpi, Aldo de Luca:
Semiperiodic words and root-conjugacy.
111-130 BibTeX
- Christian Choffrut:
Minimizing subsequential transducers: a survey.
131-143 BibTeX
- Philippe Chrétienne, Francis Sourd:
PERT scheduling with convex cost functions.
145-164 BibTeX
- Robert Cori, Gilles Schaeffer:
Description trees and Tutte formulas.
165-183 BibTeX
- Maxime Crochemore:
Reducing space for index implementation.
185-197 BibTeX
- Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg:
Formal systems for gene assembly in ciliates.
199-219 BibTeX
- Christiane Frougny:
On-line digit set conversion in real base.
221-235 BibTeX
- Juhani Karhumäki, Ján Manuch, Wojciech Plandowski:
A defect theorem for bi-infinite words.
237-243 BibTeX
- Filippo Mignosi, Antonio Restivo, Pedro V. Silva:
On Fine and Wilf's theorem for bidimensional words.
245-262 BibTeX
- Arto Salomaa:
Composition sequences for functions over a finite domain.
263-281 BibTeX
- Patrice Séébold:
On some generalizations of the Thue-Morse morphism.
283-298 BibTeX
- Wolfgang Thomas:
Uniform and nonuniform recognizability.
299-316 BibTeX
- Jean-Eric Pin:
Algebraic tools for the concatenation product.
317-342 BibTeX
Volume 292,
Number 2,
January 2003
Theoretical Aspects of Discovery Science
- Setsuo Arikawa, Koichi Furukawa, Shinichi Morishita, Hiroshi Motoda:
Preface.
343-344 BibTeX
- Petr Hájek, Martin Holena:
Formal logics of discovery and hypothesis formation by machine.
345-357 BibTeX
- Steffen Lange, Gunter Grieser:
Variants of iterative learning.
359-376 BibTeX
- Yosuke Hayashi, Satoshi Matsumoto, Ayumi Shinohara, Masayuki Takeda:
Uniform characterizations of polynomial-query learnabilities.
377-385 BibTeX
- Yoshimitsu Kudoh, Makoto Haraguchi, Yoshiaki Okubo:
Data abstractions for decision tree induction.
387-416 BibTeX
- Joao Gama:
Iterative Bayes.
417-430 BibTeX
- Genshiro Kitagawa, Tomoyuki Higuchi, Fumiyo N. Kondo:
Smoothness prior approach to explore mean structure in large-scale time series.
431-446 BibTeX
- Eiji Takimoto, Akira Maruoka:
Top-down decision tree learning as information based boosting.
447-464 BibTeX
- Masahiro Hirao, Hiromasa Hoshino, Ayumi Shinohara, Masayuki Takeda, Setsuo Arikawa:
A practical algorithm to find the best subsequence patterns.
465-479 BibTeX
- Tatsuya Akutsu, Satoru Miyano, Satoru Kuhara:
A simple greedy algorithm for finding functional relations: efficient implementation and average case analysis.
481-495 BibTeX
- Masayuki Takeda, Tomoko Fukuda, Ichiro Nanri, Mayumi Yamasaki, Kouichi Tamari:
Discovering instances of poetic allusion from anthologies of classical Japanese poems.
497-524 BibTeX
- Masayuki Takeda, Tetsuya Matsumoto, Tomoko Fukuda, Ichiro Nanri:
Discovering characteristic expressions in literary works.
525-546 BibTeX
- Hayato Ohwada, Fumio Mizoguchi:
Integrating information visualization and retrieval for WWW information discovery.
547-571 BibTeX
Volume 292,
Number 3,
January 2003
Algorithms in Quantum Information Prcoessing
- André Berthiaume, John D. Rogers:
Foreword.
573 BibTeX
- John Watrous:
PSPACE has constant-round quantum interactive proof systems.
575-588 BibTeX
- Pawel Horodecki, John A. Smolin, Barbara M. Terhal, Ashish V. Thapliyal:
Rank two bipartite bound entangled states do not exist.
589-596 BibTeX
- Lance Fortnow:
One complexity theorist's view of quantum computing.
597-610 BibTeX
- Andrzej Ehrenfeucht, Grzegorz Rozenberg:
Forbidding-enforcing systems.
611-638 BibTeX
- Hermann Jung, Maria J. Serna, Paul G. Spirakis:
An efficient deterministic parallel algorithm for two processors precedence constraint scheduling.
639-652 BibTeX
- Grzegorz Rozenberg, Herman P. Spaink:
DNA computing by blocking.
653-665 BibTeX
- Wei-Mei Chen, Gen-Huey Chen:
Divide-and-conquer recurrences associated with generalized heaps, optimal merge, and related structures.
667-677 BibTeX
- Xuemin Lin, Peter Eades:
Towards area requirements for drawing hierarchically planar graphs.
679-695 BibTeX
- Yuliang Zheng, Xian-Mo Zhang:
Connections among nonlinearity, avalanche and correlation immunity.
697-710 BibTeX
- Andrés Moreira:
Universality and decidability of number-conserving cellular automata.
711-721 BibTeX
- Jack Jie Dai:
A stronger Kolmogorov zero-one law for resource-bounded measure.
723-732 BibTeX
Copyright © Sun May 17 00:24:48 2009
by Michael Ley (ley@uni-trier.de)
