Theoretical Informatics and Applications

Vol. 40 No. 2 (April-June 2006)

Special Issue: Alberto Bertoni: Climbing summits

Editorial
• Preface     p. V
  Paola Campadelli, Christian Choffrut, Massimiliano Goldwurm and Mauro Torelli
  Abstract | PDF file (104 KB) | References



• Entropy generation in a model of reversible computation     p. 93
  Diego de Falco and Dario Tamascelli
  Abstract | PDF file (196 KB) | References



• Increasing integer sequences and Goldbach's conjecture     p. 107
  Mauro Torelli
  Abstract | PDF file (217 KB) | References



• Eye localization for face recognition     p. 123
  Paola Campadelli, Raffaella Lanzarotti and Giuseppe Lipori
  Abstract | PDF file (711 KB) | References



• Complexity classes for membrane systems     p. 141
  Antonio E. Porreca, Giancarlo Mauri and Claudio Zandron
  Abstract | PDF file (223 KB) | References



• Characterization of lung tumor subtypes through gene expression cluster validity assessment     p. 163
  Giorgio Valentini and Francesca Ruffino
  Abstract | PDF file (213 KB) | References



• Different time solutions for the firing squad synchronization problem on basic grid networks     p. 177
  Jozef Gruska, Salvatore La Torre, Margherita Napoli and Mimmo Parente
  Abstract | PDF file (322 KB) | References



• Probabilistic models for pattern statistics     p. 207
  Massimiliano Goldwurm and Roberto Radicioni
  Abstract | PDF file (267 KB) | References



• Graph fibrations, graph isomorphism, and PageRank     p. 227
  Paolo Boldi, Violetta Lonati, Massimo Santini and Sebastiano Vigna
  Abstract | PDF file (371 KB) | References



• Decision problems among the main subfamilies of rational relations     p. 255
  Olivier Carton, Christian Choffrut and Serge Grigorieff
  Abstract | PDF file (244 KB) | References



• Unambiguous recognizable two-dimensional languages     p. 277
  Marcella Anselmo, Dora Giammarresi, Maria Madonia and Antonio Restivo
  Abstract | PDF file (203 KB) | References



• On the simplest centralizer of a language     p. 295
  Paolo Massazza and Petri Salmela
  Abstract | PDF file (130 KB) | References



• String distances and intrusion detection: Bridging the gap between formal languages and computer security     p. 303
  Danilo Bruschi and Giovanni Pighizzini
  Abstract | PDF file (148 KB) | References



• Quantum finite automata with control language     p. 315
  Carlo Mereghetti and Beatrice Palano
  Abstract | PDF file (241 KB) | References



• A survey on transitivity in discrete time dynamical systems. application to symbolic systems and related languages     p. 333
  Gianpiero Cattaneo, Alberto Dennunzio and Fabio Farina
  Abstract | PDF file (271 KB) | References



• Towards a theory of practice in metaheuristics design: A machine learning perspective     p. 353
  Mauro Birattari, Mark Zlochin and Marco Dorigo
  Abstract | PDF file (188 KB) | References



• Solving maximum independent set by asynchronous distributed hopfield-type neural networks     p. 371
  Giuliano Grossi, Massimo Marchi and Roberto Posenato
  Abstract | PDF file (264 KB) | References



• A distributed voting scheme to maximize preferences     p. 389
  Peter Auer and Nicolò Cesa-Bianchi
  Abstract | PDF file (192 KB) | References