Listing 1 - 10 of 18 | << page >> |
Sort by
|
Choose an application
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.
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
Choose an application
Mathematical logic --- Logic --- Complex analysis --- Computer science --- Computer. Automation --- toegepaste informatica --- complexe analyse (wiskunde) --- informatica --- ontwerpen --- programmeren (informatica) --- wiskunde
Choose an application
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.
Choose an application
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).
Mathematical logic --- Logic --- Complex analysis --- Computer science --- Computer. Automation --- toegepaste informatica --- complexe analyse (wiskunde) --- informatica --- ontwerpen --- programmeren (informatica) --- wiskunde
Choose an application
Formal languages --- Mathematics. --- Computers. --- Computer logic. --- Mathematical logic. --- Computer science --- Mathematical Logic and Foundations. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Discrete Mathematics in Computer Science. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- 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 --- Math --- Science --- Logic, Symbolic and mathematical. --- Computer science. --- Logic design. --- Computational complexity. --- Complexity, Computational --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Informatics --- Computer science—Mathematics.
Choose an application
Soft computing --- Computer science --- Informatique douce --- Informatique --- Congresses. --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Computers. --- Algorithms. --- Bioinformatics. --- Computer Science. --- Theory of Computation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Bio-informatics --- Biological informatics --- Biology --- Information science --- Computational biology --- Systems biology --- 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 --- Data processing --- Foundations --- Information theory. --- Computer software. --- Software, Computer --- Communication theory --- Communication
Choose an application
Soft computing --- Computer science --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Computer science. --- Computers. --- Algorithms. --- Bioinformatics. --- Computer Science. --- Theory of Computation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Information theory. --- Computer software. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Bio-informatics --- Biological informatics --- Biology --- Information science --- Computational biology --- Systems biology --- Software, Computer --- Computer systems --- Data processing --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Machine theory --- Calculators --- Cyberspace --- Foundations --- Soft computing - Congresses --- Computer science - Congresses
Choose an application
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).
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
Choose an application
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.
Complex analysis --- Biomathematics. Biometry. Biostatistics --- Computer science --- complexe analyse (wiskunde) --- bio-informatica --- informatica --- biometrie
Choose an application
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.
Listing 1 - 10 of 18 | << page >> |
Sort by
|