Unconventional Computation and Natural Computation: 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings

235 Pages·2017·13.25 MB·English

by  Matthew J. Patitz

Matthew J. Patitz
Mike Stannett (Eds.)
0
4
2
0
1 Unconventional Computation

S
C
and Natural Computation
N
L
16th International Conference, UCNC 2017
Fayetteville, AR, USA, June 5–9, 2017
Proceedings
123
Lecture Notes in Computer Science 10240
Commenced Publication in 1973
Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board
David Hutchison
Lancaster University, Lancaster, UK
Takeo Kanade
Carnegie Mellon University, Pittsburgh, PA, USA
Josef Kittler
University of Surrey, Guildford, UK
Jon M. Kleinberg
Cornell University, Ithaca, NY, USA
Friedemann Mattern
ETH Zurich, Zurich, Switzerland
John C. Mitchell
Stanford University, Stanford, CA, USA
Moni Naor
Weizmann Institute of Science, Rehovot, Israel
C. Pandu Rangan
Indian Institute of Technology, Madras, India
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Demetri Terzopoulos
University of California, Los Angeles, CA, USA
Doug Tygar
University of California, Berkeley, CA, USA
Gerhard Weikum
Max Planck Institute for Informatics, Saarbrücken, Germany
More information about this series at http://www.springer.com/series/7407
Matthew J. Patitz Mike Stannett (Eds.)
(cid:129)
Unconventional Computation
and Natural Computation
16th International Conference, UCNC 2017
–
Fayetteville, AR, USA, June 5 9, 2017
Proceedings
123
Editors
MatthewJ. Patitz Mike Stannett
University of Arkansas University of Sheffield
Fayetteville, AR Sheffield
USA UK
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-319-58186-6 ISBN978-3-319-58187-3 (eBook)
DOI 10.1007/978-3-319-58187-3
LibraryofCongressControlNumber:2017938636
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
©SpringerInternationalPublishingAG2017
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, express or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin
publishedmapsandinstitutionalaffiliations.
Printedonacid-freepaper
ThisSpringerimprintispublishedbySpringerNature
TheregisteredcompanyisSpringerInternationalPublishingAG
Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland
Preface
The 16th International Conference on Unconventional Computation and Natural
Computation(UCNC2017)washeldJune5–9,2017,onthecampusoftheUniversity
of Arkansas in Fayetteville, Arkansas, USA. The UCNC series of international con-
ferences isgenuinely interdisciplinary and it covers theory as well as experiments and
applications.Itisconcernedwithvariousproposalsforcomputationthatgobeyondthe
Turing model, human-designed computation inspired by nature, and with the compu-
tational nature of processes taking place in nature. Typical, but not exclusive, topics
are: hypercomputation; chaos and dynamical systems-based computing; granular,
fuzzy,androughcomputing;mechanicalcomputing;cellular,evolutionary,molecular,
neural,andquantumcomputing;membranecomputing;amorphouscomputing,swarm
intelligence;artificialimmunesystems;physicsofcomputation;chemicalcomputation;
evolving hardware; the computational nature of self-assembly, developmental pro-
cesses, bacterial communication, and brain processes.
More information about this conference series and its full history can be found
on the following website: https://www.cs.auckland.ac.nz/research/groups/CDMTCS/
conferences/uc/uc.html.
Submissions to UCNC 2017 comprised 21 full papers across a wide variety of
topics, including (but not limited to) quantum computing, algorithmic self-assembly,
and chemical reaction networks. Of these, 14 were accepted for presentation at the
conference and publication in these proceedings. Beyond the contributed papers and
associated talks, UCNC 2017 was greatly enhanced by the plenary talks and tutorials
provided by several prestigious speakers. José Félix Costa from the University of
Lisbon, Portugal, gave a plenary talk titled “The Power of Analogue-Digital
Machines.” Erik Demaine from the Massachusetts Institute of Technology, USA,
presented his plenary talk “Computing with Glue, Balls, and Recycled Bits: New
PhysicalModelsofComputing.”MasayukiEndofromKyotoUniversity,Japan,gavea
plenary talk titled “High-speed AFM Imaging of Synthetic Nanomachines and
Nanostructures.” A tutorial titled “Ways to Compute in Euclidean Frameworks” was
provided by Jérôme Durand-Lose from the Université d’Orléans, France, and Makoto
Naruse from the National Institute of Information and Communications Technology,
Japan, presented a tutorial titled “Decision Making by Photonics: Experiment and
Category Theoretic Foundation.”
Includedduringtheconferenceweretwoworkshops.TheWorkshoponMembrane
ComputingwasorganizedbyMatteoCavalierefromtheUniversityofEdinburgh,UK,
and Alfonso Rodriguez Paton from the Universidad Politecnica de Madrid, Spain.
Invited speakers for that workshop were Alvaro Sanchez from Yale University, USA,
andSergeyVerlanfromtheUniversityParisEstCréteil,France.TheFirstInternational
Workshop on Oritatami (Oritatami 2017) was organized by Shinnosuke Seki from the
University of Electro-Communications, Japan, and the invited speakers for that
workshopwereCodyGearyfromCaltech,USA,andAarhusUniversity,Denmark,and
VI Preface
Nicolas Schabanel from CNRS, University of Paris Diderot (IRIF), and ENS Lyon
(IXXI), France.
UCNC 2017 brought together researchers from all over the world to share and
discussideasonformsofcomputationinspiredbynaturalsystemsandunconventional
methods. Its success as the 16th conference in the series is owed to a great amount of
help from many people and organizations. First and foremost, we would like to thank
the Steering Committee co-chairs, Nataša Jonoska and Jarkko Kari, whose expert
guidance and invaluable advice helped to shape all aspects of the conference. Next, a
huge debt of gratitude is owed to the Program Committee members and external
reviewerswho carefully reviewed all submissions andprovided importantfeedback to
helpdecidewhichpaperstoaccept.Beyondthetechnicaldetailsofassemblinginvited
speakers and selecting contributed papers, the amount of work done to organize the
venue, meals, excursion, and countless other details would have been completely
overwhelming without the enthusiastic and tireless help of Cindy Pickney, as well as
theothermembersoftheOrganizing Committee, Jamie Stafford, GeorgeHolmes,and
Jason Crawley. There would have been no conference without their help. Important
financialsupportwasprovidedbytheDepartmentofComputerScienceandComputer
EngineeringattheUniversityofArkansas,theCollegeofEngineeringattheUniversity
ofArkansas,andtheNationalScienceFoundation(whichprovidedfundingtosupport
student travel to the conference). Finally, many thanks are owed to the LNCS team at
Springer who helped with the publication of these proceedings.
June 2017 Matthew Patitz
Mike Stannett
Organization
UCNC 2017 was organized by the Department of Computer Science and Computer
Engineering at the University of Arkansas.
Steering Committee
Thomas Back Leiden University, The Netherlands
Cristian S. Calude University of Auckland, New Zealand (Founding Chair)
Lov K. Grover Bell Labs, USA
Nataša Jonoska University of South Florida, USA (Co-chair)
Jarkko Kari University of Turku, Finland (Co-chair)
Lila Kari University of Waterloo, Canada
Seth Lloyd Massachusetts Institute of Technology, USA
Giancarlo Mauri Università degli Studi di Milano-Bicocca, Italy
Gheorghe Paun Institute of Mathematics of the Romanian Academy,
Romania
Grzegorz Rozenberg Leiden University, The Netherlands (Emeritus Chair)
Arto Salomaa University of Turku, Finland
Tommaso Toffoli Boston University, USA
Carme Torras Institute of Robotics and Industrial Informatics, Spain
Jan van Leeuwen Utrecht University, The Netherlands
Program Committee
Andy Adamatzky University of the West of England, UK
Martyn Amos Manchester Metropolitan University, UK
Peter Banda University of Luxembourg
Cristian Calude University of Auckland, New Zealand
Matteo Cavaliere University of Edinburgh, UK
Mark Daley University of Western Ontario, Canada
Jérôme Durand-Lose Université d’Orléans, France
Angel Goni-Moreno Centre for Synthetic Biology and Bioexploitation,
Newcastle University, UK
Jacob Hendricks University of Wisconsin-River Falls, USA
Jarkko Kari University of Turku, Finland
Lila Kari University of Waterloo, Canada
Viv Kendon Durham University, UK
Niall Murphy University of Cambridge, UK
Makato Naruse National Institute of Information and Communications
Technology, Japan
Turlough Neary University of Zurich/ETH Zurich, Switzerland
VIII Organization
Pekka Orponen Aalto University, Finland
Matt Patitz University of Arkansas, USA (Co-chair)
Alfonso Rodriguez Patón Universidad Politécnica de Madrid, Spain
Rebecca Schulman Johns Hopkins University, USA
Mike Stannett University of Sheffield, UK (Co-chair)
Susan Stepney University of York, UK
Scott Summers University of Wisconsin Oshkosh, USA
Sergey Verlan University Paris Est Créteil, France
Damien Woods Inria Paris, France
Organizing Committee
Matthew J. Patitz University of Arkansas (Chair)
Cindy Pickney University of Arkansas
Jamie Stafford University of Arkansas
George Holmes University of Arkansas
Jason Crawley University of Arkansas
External Reviewers
Matthew Cook Ethan Jackson
Mika Hirvensalo Trent Rogers
James Hughes Ilkka Törmä
Sponsoring Institutions
Department of Computer Science and Computer Engineering, University of Arkansas
College of Engineering, University of Arkansas
National Science Foundation
Invited Talks