Narrow your search

Library

KU Leuven (6)

ULB (6)

ULiège (6)

AP (5)

EhB (5)

KDG (5)

Odisee (5)

Thomas More Kempen (5)

Thomas More Mechelen (5)

UCLL (5)

More...

Resource type

book (13)

digital (5)


Language

English (18)


Year
From To Submit

2015 (2)

2012 (3)

2007 (2)

2006 (3)

2005 (7)

More...
Listing 1 - 10 of 18 << page
of 2
>>
Sort by

Book
Unconventional Computation and Natural Computation : 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings
Authors: ---
ISBN: 9783319218199 3319218182 9783319218182 3319218190 Year: 2015 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 14th International Conference on Unconventional Computation and Natural Computation, UCNC 2015, held in Auckland, New Zealand, in August/September 2015. The 16 revised full papers were carefully reviewed and selected from 38 submissions. The papers cover a wide range of topics including among others molecular (DNA) computing; quantum computing; optical computing; chaos computing; physarum computing; computation in hyperbolic spaces; collision-based computing; cellular automata; neural computation; evolutionary computation; swarm intelligence; nature-inspired algorithms; artificial immune systems; artificial life; membrane computing; amorphous computing; computational systems biology; genetic networks; protein-protein networks; transport networks; synthetic biology; cellular (in vivo) computing; and computations beyond the Turing model and philosophical aspects of computing.

Keywords

Computer Science. --- Computation by Abstract Devices. --- Theory of Computation. --- Pattern Recognition. --- Artificial Intelligence (incl. Robotics). --- Computer science. --- Information theory. --- Artificial intelligence. --- Optical pattern recognition. --- Informatique --- Théorie de l'information --- Intelligence artificielle --- Reconnaissance optique des formes (Informatique) --- Computer Science --- Engineering & Applied Sciences --- Computers. --- Pattern recognition. --- Design perception --- Pattern recognition --- Form perception --- Perception --- Figure-ground perception --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Informatics --- Science --- Artificial Intelligence. --- Optical data processing --- Pattern perception --- Perceptrons --- Visual discrimination --- Communication theory --- Communication --- Soft computing --- Pattern recognition systems. --- Automated Pattern Recognition. --- Pattern classification systems --- Pattern recognition computers --- Computer vision


Digital
Computation, Physics and Beyond : International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers
Authors: --- ---
ISBN: 9783642276545 Year: 2012 Publisher: Berlin, Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract


Digital
Unconventional Computation and Natural Computation : 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings
Authors: ---
ISBN: 9783319218199 9783319218205 9783319218182 Year: 2015 Publisher: Cham Springer International Publishing

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 14th International Conference on Unconventional Computation and Natural Computation, UCNC 2015, held in Auckland, New Zealand, in August/September 2015. The 16 revised full papers were carefully reviewed and selected from 38 submissions. The papers cover a wide range of topics including among others molecular (DNA) computing; quantum computing; optical computing; chaos computing; physarum computing; computation in hyperbolic spaces; collision-based computing; cellular automata; neural computation; evolutionary computation; swarm intelligence; nature-inspired algorithms; artificial immune systems; artificial life; membrane computing; amorphous computing; computational systems biology; genetic networks; protein-protein networks; transport networks; synthetic biology; cellular (in vivo) computing; and computations beyond the Turing model and philosophical aspects of computing.


Book
Computation, Physics and Beyond : International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers
Authors: --- --- ---
ISBN: 9783642276545 Year: 2012 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited speakers and regular papers presented at the International Workshop on Theoretical Computer Science, WTCS 2012, held in Auckland, New Zealand, in February 2012. Cristian Calude has made a significant contribution to research in computer science theory. Along with early work by Chaitin, Kucera, Kurtz, Solovay, and Terwijn his papers published in the mid-1990s jointly with Khoussainov, Hertling, and Wang laid the foundation for the development of modern theory of algorithmic randomness. His work was essential for establishing the leading role of New Zealand in this area. The research interests of Cristian Calude are reflected in the topics covered by the 32 papers included in this book, namely: algorithmic information theory, algorithms, automata and formal languages, computing and natural sciences, computability and applications, logic and applications, philosophy of computation, physics and computation, and unconventional models of computation. They have been organized into four parts. The first part consists of papers discussing his life achievements. This is followed by papers in the three general areas of complexity, computability, and randomness; physics, philosophy (and logic), and computation; and algorithms, automata, and formal models (including unconventional computing).


Book
Developments in Language Theory : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
Authors: --- --- ---
ISSN: 03029743 ISBN: 3540305505 Year: 2005 Volume: 3340 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Unconventional Computation : 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings
Authors: --- --- --- --- --- et al.
ISBN: 9783540385936 3540385932 3540385940 Year: 2006 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Unconventional Models of Computation : Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings
Authors: --- --- ---
ISBN: 3540443118 3540458336 9783540443117 Year: 2002 Volume: 2509 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,


Book
Computation, Physics and Beyond : International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers
Authors: --- --- ---
ISSN: 03029743 ISBN: 3642276539 3642276547 Year: 2012 Volume: 7160 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited speakers and regular papers presented at the International Workshop on Theoretical Computer Science, WTCS 2012, held in Auckland, New Zealand, in February 2012. Cristian Calude has made a significant contribution to research in computer science theory. Along with early work by Chaitin, Kučera, Kurtz, Solovay, and Terwijn his papers published in the mid-1990s jointly with Khoussainov, Hertling, and Wang laid the foundation for the development of modern theory of algorithmic randomness. His work was essential for establishing the leading role of New Zealand in this area. The research interests of Cristian Calude are reflected in the topics covered by the 32 papers included in this book, namely: algorithmic information theory, algorithms, automata and formal languages, computing and natural sciences, computability and applications, logic and applications, philosophy of computation, physics and computation, and unconventional models of computation. They have been organized into four parts. The first part consists of papers discussing his life achievements. This is followed by papers in the three general areas of complexity, computability, and randomness; physics, philosophy (and logic), and computation; and algorithms, automata, and formal models (including unconventional computing).

Keywords

Computer science --- Engineering & Applied Sciences --- Computer Science --- Computer logic --- Mathematics --- Computer science. --- Computers. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Mathematics of Computing. --- Theory of Computation. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Informatics --- Science --- Foundations --- Computer software. --- Logic design. --- Information theory. --- Communication theory --- Communication --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Software, Computer --- Computer science—Mathematics. --- Lògica informàtica --- Sistemes adaptatius --- Lògica de la informàtica --- Lógica dels ordinadors --- Lògica matemàtica --- Control adaptatiu --- Sistemes adaptatius de control --- Sistemes autoadaptatius de control --- Sistemes de control adaptatius --- Sistemes de control autoadaptatius --- Intel·ligència artificial --- Sistemes autoorganitzatius --- Sistemes de control per retroacció --- Workshop on Theoretical Computer Science --- WTCS --- Machine theory. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics


Book
Unconventional Computation : 5th International Conference, UC 2006, York, UK, September 4-8, 2006. Proceedings
Authors: --- --- --- --- --- et al.
ISBN: 9783540385943 Year: 2006 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

The 5th International Conference on Unconventional Computation, UC 2006, organized under the auspices of the EATCS by the Centre for Discrete Mat- maticsandTheoreticalComputerScienceoftheUniversityofAuckland,andthe Department of Computer Science of the University of York, was held in York, UK, September 4-8, 2006. York combines evidence of a history going back to Roman times with a bustlingmoderncitycenter.TheMinster,builtonthefoundationsoftheRoman cityandan earlierNormancathedral,isamongthe?nest Gothic cathedrals,and dominatesthecity.Romans,Vikings,andmorerecenthistoryarecommemorated in a number of top-class museums, as well as being apparent in the architecture of the city. TheseriesofInternationalConferencesonUnconventionalComputation(UC), https://www.cs.auckland.ac.nz/CDMTCS/conferences/uc/,is devoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing incl- ing quantum, cellular, molecular, neural and evolutionarycomputing; chaos and dynamicalsystems-basedcomputing;andvariousproposalsforcomputationsthat 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, Kobe, Japan in 2002, and Seville, Spain in 2005. The titles of volumes of the past UC conferences are the following: 1. C.S. Calude, J. Casti, M.J. Dinneen (eds.). Unconventional Models of C- putation, Springer, Singapore, 1998, viii + 426 pp. ISBN: 981-3083-69-7. 2. I. Antoniou, C.S. Calude, M.J. Dinneen (eds.). Unconventional Models of Computation, UMC'2K, Springer, London, December 2000, xi + 301 pp. ISBN 1-85233-417-0.


Book
Developments in Language Theory : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings
Authors: --- --- ---
ISBN: 9783540305507 Year: 2005 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

The main subjects of the Developments in Language Theory (DLT) conf- ence series are formal languages, automata, conventional and unconventional computation theory, and applications of automata and language theory. T- ical, but not exclusive, topics of interest include: grammars and acceptors for strings, graphs, and arrays; e?cient text algorithms; combinatorial and al- braic properties of languages; decision problems; relations to complexity theory andlogic;picturedescriptionandanalysis;cryptography;concurrency;andDNA and quantum computing. The members of the steering committee of DLT are: J. Berstel (Paris), M. Ito(Kyoto),W. Kuich(Vienna),G. P? aun(BucharestandSeville),A. Restivo (Palermo), G. Rozenberg (chair, Leiden), A. Salomaa (Turku) and W. Thomas (Aachen). The ?rst DLT conference was organized by G. Rozenberg and A. Salomaa in Turku in 1993. After this, the DLT conferences were held in every odd year: Magdeburg(1995),Thessaloniki(1997),Aachen(1999)andVienna(2001). Since 2001, a DLT conference has been organized in every odd year in Europe and in every even year outside Europe. The last two DLT conferences were organized in Kyoto, Japan in 2002 and Szeged, Hungary in 2003. The titles of the volumes of the past DLT conferences are the following: 1. Developments in Language Theory. At the Crossroads of Mathematics, C- puter Science and Biology (edited by G. Rozenberg and A. Salomaa) (1994) (World Scienti?c) 2. Developments in Language Theory II. At the Crossroads of Mathematics, Computer Science and Biology (edited by J. Dassow, G. Rozenberg and A. Salomaa) (1996) (World Scienti?c) 3. Proceedings of the Third International Conference on Developments in L- guageTheory(editedbyS.

Keywords

Listing 1 - 10 of 18 << page
of 2
>>
Sort by