Volume 371,
Numbers 1-2,
February 2007
Computing and the Natural Sciences
- Thomas Bäck, Benedikt Löwe:
Computing and the natural sciences at CiE 2005.
1-3
Electronic Edition (link) BibTeX
- Edwin J. Beggs, John V. Tucker:
Can Newtonian systems, bounded in space, time, mass and energy compute all functions?
4-19
Electronic Edition (link) BibTeX
- Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor:
Quorum sensing P systems.
20-33
Electronic Edition (link) BibTeX
- Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay:
Connectionist modal logic: Representing modalities in neural networks.
34-53
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Krzysztof Michalak, Halina Kwasnicka:
Influence of data dimensionality on the quality of forecasts given by a multilayer perceptron.
62-71
Electronic Edition (link) BibTeX
- Florin Manea, Carlos Martín-Vide, Victor Mitrana:
Accepting networks of splicing processors: Complexity results.
72-82
Electronic Edition (link) BibTeX
- Shankara Narayanan Krishna:
Universality results for P systems based on brane calculi operations.
83-105
Electronic Edition (link) BibTeX
- Giuseppe Trautteur, Guglielmo Tamburrini:
A note on discreteness and virtuality in analog computing.
106-114
Electronic Edition (link) BibTeX
- John V. Tucker, Jeffery I. Zucker:
Computability of analog networks.
115-146
Electronic Edition (link) BibTeX
Volume 371,
Number 3,
March 2007
Database Theory
- Thomas Eiter, Leonid Libkin:
Preface.
147
Electronic Edition (link) BibTeX
- Vladlen Koltun, Christos H. Papadimitriou:
Approximately dominating representatives.
148-154
Electronic Edition (link) BibTeX
- Albert Atserias:
Conjunctive query evaluation by search-tree revisited.
155-168
Electronic Edition (link) BibTeX
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-based query processing: On the relationship between rewriting, answering and losslessness.
169-182
Electronic Edition (link) BibTeX
- Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren:
Well-definedness and semantic type-checking for the nested relational calculus.
183-199
Electronic Edition (link) BibTeX
- Alin Deutsch, Bertram Ludäscher, Alan Nash:
Rewriting queries using views with access patterns under integrity constraints.
200-226
Electronic Edition (link) BibTeX
- Yossi Matias, Daniel Urieli:
Optimal workload-based weighted wavelet synopses.
227-246
Electronic Edition (link) BibTeX
- José L. Balcázar, Gemma C. Garriga:
Horn axiomatizations for sequential data.
247-264
Electronic Edition (link) BibTeX
DBLP:
[Home | Search: Author, Title | Conferences | Journals]
Copyright © Sat Dec 22 20:47:37 2007
by Michael Ley (ley@uni-trier.de)