Skip to main content
  • Conference proceedings
  • © 2005

Unconventional Computation

4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3699)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): UC: International Conference on Unconventional Computation

Conference proceedings info: UC 2005.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (23 papers)

  1. Front Matter

  2. Invited Papers

    1. Quantum Searching Amidst Uncertainty

      • Lov K. Grover
      Pages 11-18
    2. Logic Functions of the Genomic Cis-regulatory Code

      • Eric Davidson, Sorin Istrail
      Pages 19-19
    3. Structural DNA Nanotechnology: Molecular Construction and Computation

      • Ruojie Sha, Xiaoping Zhang, Shiping Liao, Pamela E. Constantinou, Baoquan Ding, Tong Wang et al.
      Pages 20-31
  3. Regular Papers

    1. On Self-assembly in Population P Systems

      • Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Jean-Louis Giavitto
      Pages 46-57
    2. A Web-Based P Systems Simulator and Its Parallelization

      • Cosmin Bonchiş, Gabriel Ciobanu, Cornel Izbaşa, Dana Petcu
      Pages 58-69
    3. On Model-Checking of P Systems

      • Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
      Pages 82-93
    4. P Systems with Active Membranes, Without Polarizations and Without Dissolution: A Characterization of P

      • Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Francisco J. Romero-Campero
      Pages 105-116
    5. On Reversible Cellular Automata with Finite Cell Array

      • Shuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee, Tatsuro Sato, Yoshihiro Mizoguchi, Yasuo Kawahara
      Pages 130-141
    6. A Computational Model for Self-assembling Flexible Tiles

      • Nataša Jonoska, Gregory L. McColm
      Pages 142-156
    7. On Formulations of Firing Squad Synchronization Problems

      • Kojiro Kobayashi, Darin Goldstein
      Pages 157-168
    8. A New Sibling of BQP

      • Tereza Tušarová
      Pages 206-213

Other Volumes

  1. Unconventional Computation

About this book

The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the Centre for Discrete Mathematics and Theoretical Computer Science and the Department of C- puter Science and Arti?cial Intelligence of the University of Seville, was held in Seville, October 3–7, 2005. Seville, one of the most beautiful cities in Spain, is at its best in October. An explosion of colour and contrast: ?amenco, bull?ghting, and a lively at- sphere in the streets due to the open and friendly nature of its people. The river Guadalquivir, the Cathedral and the Golden Tower are all places full of magic where the visitor can feel the spirit of a city which is eternally romantic. The series of International Conferences Unconventional Computation (UC),https://www.cs.auckland.ac.nz/CDMTCS/conferences/uc/isdevoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular,molecular, neural and evolutionarycomputing; chaosand - namical systems based computing; and various proposals for computations that go beyond the Turing model. The ?rst venue of the Unconventional Computation Conference (formerly called Unconventional Models of Computation) was Auckland, New Zealand in 1998; subsequent sites of the conference were Brussels, Belgium in 2000 and Kobe, Japan in 2002. The titles of the proceedings volumes from past UC Conferences are as follows: 1. C.S. Calude, J. Casti, M.J. Dinneen (eds.). Unconventional Models of C- putation, Springer-Verlag, Singapore, 1998, viii + 426 pp. ISBN: 981-3083- 69-7.

Keywords

  • Computer
  • DNA computing
  • algorithm
  • algorithms
  • amorphous computing
  • automata
  • autopoietic automata
  • cellular computing
  • complexity
  • computational models
  • genetic algorithms
  • genome
  • logic
  • robotics
  • theoretical computer scien
  • algorithm analysis and problem complexity

Editors and Affiliations

  • Department of Computer Science, University of Auckland, New Zealand

    Cristian S. Calude

  • Department of Computer Science, University of Auckland, Auckland, New Zealand

    Michael J. Dinneen

  • Institute of Mathematics of the Romanian Academy, Bucureşti, Romania

    Gheorghe Păun

  • Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Seville, Sevilla, Spain

    Mario J. Pérez-Jímenez

  • Leiden Center of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

Bibliographic Information

  • Book Title: Unconventional Computation

  • Book Subtitle: 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings

  • Editors: Cristian S. Calude, Michael J. Dinneen, Gheorghe Păun, Mario J. Pérez-Jímenez, Grzegorz Rozenberg

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/11560319

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2005

  • Softcover ISBN: 978-3-540-29100-8Published: 19 September 2005

  • eBook ISBN: 978-3-540-32022-7Published: 27 September 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XI, 267

  • Topics: Theory of Computation, Algorithms, Bioinformatics

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions