Theoretical Computer Science, Volume 371

Volume 371, Numbers 1-2, February 2007

• Thomas Bäck, Benedikt Löwe:
  Computing and the natural sciences at CiE 2005. 1-3
  
• Edwin J. Beggs, John V. Tucker:
  Can Newtonian systems, bounded in space, time, mass and energy compute all functions? 4-19
  
• Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor:
  Quorum sensing P systems. 20-33
  
• Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay:
  Connectionist modal logic: Representing modalities in neural networks. 34-53
  
• Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Francisco José Romero-Campero:
  A uniform solution to SAT using membrane creation. 54-61
  
• Krzysztof Michalak, Halina Kwasnicka:
  Influence of data dimensionality on the quality of forecasts given by a multilayer perceptron. 62-71
  
• Florin Manea, Carlos Martín-Vide, Victor Mitrana:
  Accepting networks of splicing processors: Complexity results. 72-82
  
• Shankara Narayanan Krishna:
  Universality results for P systems based on brane calculi operations. 83-105
  
• Giuseppe Trautteur, Guglielmo Tamburrini:
  A note on discreteness and virtuality in analog computing. 106-114
  
• John V. Tucker, Jeffery I. Zucker:
  Computability of analog networks. 115-146
  

Volume 371, Number 3, March 2007

• Thomas Eiter, Leonid Libkin:
  Preface. 147
  
• Vladlen Koltun, Christos H. Papadimitriou:
  Approximately dominating representatives. 148-154
  
• Albert Atserias:
  Conjunctive query evaluation by search-tree revisited. 155-168
  
• Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
  View-based query processing: On the relationship between rewriting, answering and losslessness. 169-182
  
• Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren:
  Well-definedness and semantic type-checking for the nested relational calculus. 183-199
  
• Alin Deutsch, Bertram Ludäscher, Alan Nash:
  Rewriting queries using views with access patterns under integrity constraints. 200-226
  
• Yossi Matias, Daniel Urieli:
  Optimal workload-based weighted wavelet synopses. 227-246
  
• José L. Balcázar, Gemma C. Garriga:
  Horn axiomatizations for sequential data. 247-264