Narrow your search

Library

KU Leuven (19)

ULB (17)

ULiège (16)

Odisee (15)

Thomas More Kempen (15)

Thomas More Mechelen (15)

UCLL (15)

VIVES (15)

VUB (13)

EhB (12)

More...

Resource type

book (39)

digital (9)

periodical (1)


Language

English (47)


Year
From To Submit

2024 (1)

2022 (4)

2015 (2)

2014 (2)

2011 (5)

More...
Listing 1 - 10 of 47 << page
of 5
>>
Sort by

Book
Unconventional Computation : 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, Proceedings
Author:
ISBN: 3540851941 3540851933 Year: 2008 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 7th International Conference on Unconventional Computation, UC 2008, held in Vienna, Austria, in August 2008. The 16 revised full papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various applications. Typical topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing, chaos and dynamical system-based computing, and various proposals for computations that go beyond the Turing model.


Book
Theories of computational complexity.
Author:
ISBN: 044470356X 9780444703569 9780080867755 0080867758 1281793132 9781281793133 9786611793135 6611793135 Year: 1988 Volume: 35 Publisher: Amsterdam : North-Holland,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume presents four machine-independent theories of computational complexity, which have been chosen for their intrinsic importance and practical relevance. The book includes a wealth of results - classical, recent, and others which have not been published before.In developing the mathematics underlying the size, dynamic and structural complexity measures, various connections with mathematical logic, constructive topology, probability and programming theories are established. The facts are presented in detail. Extensive examples are provided, to help clarify notions and construct

People & ideas in theoretical computer science
Author:
ISBN: 981402113X Year: 1999 Volume: *1 Publisher: New York Singapore Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Multiset processing : mathematical, computer science, and molecular computing points of view
Author:
ISSN: 03029743 ISBN: 3540430636 9783540430636 354045523X Year: 2001 Volume: 2235 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Electronic data processing --- Computer science --- Molecular computers --- Computer Science --- Engineering & Applied Sciences --- Mathematics --- Computer science. --- Data structures (Computer science). --- Computers. --- Mathematical logic. --- Bioinformatics. --- Computer Science. --- Data Structures. --- Data Structures, Cryptology and Information Theory. --- Mathematical Logic and Foundations. --- Computation by Abstract Devices. --- Mathematical Logic and Formal Languages. --- 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 --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Informatics --- Science --- Bio-informatics --- Biological informatics --- Biology --- Information science --- Computational biology --- Systems biology --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Data processing --- Data structures (Computer scienc. --- Logic, Symbolic and mathematical. --- Data Structures and Information Theory. --- Electronic data processing - Congresses --- Computer science - Mathematics - Congresses --- Molecular computers - Congresses --- Data structures (Computer science)


Book
Unconventional computation : 8th international conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings
Authors: ---
ISBN: 3642037445 3642037453 Year: 2009 Publisher: Berlin ; New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 8th International Conference on Unconventional Computation, UC 2009, held in Ponta Delgada, Portugal, in September 2009. The 18 revised full papers presented together with 8 invited talks, 3 tutorials and 5 posters were carefully reviewed and selected from 40 submissions. The papers are devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various applications. Typical topics are: natural computing including quantum; cellular, molecular, neural and evolutionary computing; chaos and dynamical system-based computing; and various proposals for computational mechanisms that go beyond the Turing model.


Book
Unconventional Computation : 10th International Conference, UC 2011 ; Turku, Finland, June 6-10, 2011. Proceedings
Authors: ---
ISBN: 3642213405 3642213413 Year: 2011 Publisher: Heidelberg : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 10th International Conference on Unconventional Computation, UC 2011, held in Turku, Finland, in June 2011. The 17 revised full papers presented together with 6 extended abstracts of invited talks, and 3 extended abstracts of tutorials were carefully reviewed and selected from 33 initial submissions. The papers are devoted to all aspects of unconventional computation theory as well as experiments and applications. Typical topics are: natural computing including quantum, cellular, molecular, membrane, neural, and evolutionary computing, as well as chaos and dynamical system-based computing, and various proposals for computational mechanisms that go beyond the Turing model.

Keywords

Engineering & Applied Sciences --- Computer Science --- Soft computing --- Computer science --- Computer science. --- Computers. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Bioinformatics. --- Computer Science. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- Logics and Meanings of Programs. --- Computational Biology/Bioinformatics. --- Bio-informatics --- Biological informatics --- Biology --- Information science --- Computational biology --- Systems biology --- 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 --- 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 --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Informatics --- Science --- Data processing --- Foundations --- Computer software. --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Software, Computer --- Machine theory. --- Theory of Computation. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Computational and Systems Biology. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics


Book
In Memoriam, Solomon Marcus
Author:
ISBN: 303653475X 3036534768 Year: 2022 Publisher: MDPI - Multidisciplinary Digital Publishing Institute

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Unconventional computation : 4th international conference, UC 2005, Sevilla, Spain, October 3-7, 2005 : proceedings
Authors: ---
Year: 2005 Publisher: Berlin ; New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Unconventional computation : 4th international conference, UC 2005, Sevilla, Spain, October 3-7, 2005 : proceedings
Authors: ---
Year: 2005 Publisher: Berlin ; New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Listing 1 - 10 of 47 << page
of 5
>>
Sort by