Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume constitutes the thoroughly refereed proceedings of the 21st International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2015, held in Turku, Finland, in June 2015. This volume contains 4 invited talks in full-paper length and 15 regular papers, which were carefully reviewed and selected from a total of 33 submissions. Topics of interest include, the following aspects and features of such systems: dynamical, topological, ergodic and algebraic aspects; algorithmic and complexity issues; emergent properties; formal language processing aspects; symbolic dynamics; models of parallelism and distributed systems; timing schemes; phenomenological descriptions; scientific modeling; and practical applications.

Computer Science. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Simulation and Modeling. --- Computer Communication Networks. --- Discrete Mathematics in Computer Science. --- Computer science. --- Computer software. --- Computational complexity. --- Computer simulation. --- Informatique --- Réseaux d'ordinateurs --- Logiciels --- Complexité de calcul (Informatique) --- Simulation par ordinateur --- Computer Science --- Engineering & Applied Sciences --- Computer communication systems. --- Computers. --- Algorithms. --- Computer science --- Mathematics. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- 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 --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Mathematics --- Foundations --- Distributed processing --- Complexity, Computational --- Software, Computer --- Computer science—Mathematics. --- Computer networks. --- Discrete mathematics. --- Theory of Computation. --- Computer Modelling. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- computers --- computerkunde

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017. The 24 revised full papers and 12 invited papers were carefully reviewed and selected from 69 submissions. The conference CiE 2016 has six special sessions, namly: algorithmics for biology; combinatorics and algorithmics on words; computability in analysis, algebra, and geometry; cryptography and information theory; formal languages and automata theory; and history and philosophy of computing.

Computer science. --- Computers. --- Algorithms. --- Mathematical logic. --- Computer science --- Artificial intelligence. --- Pattern recognition. --- Computer Science. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Artificial Intelligence (incl. Robotics). --- Pattern Recognition. --- Discrete Mathematics in Computer Science. --- Mathematical Logic and Formal Languages. --- Mathematics. --- Design perception --- Pattern recognition --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algorism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Informatics --- Mathematics --- Form perception --- Perception --- Figure-ground perception --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algebra --- Arithmetic --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Science --- Foundations --- Computer software. --- Optical pattern recognition. --- Computational complexity. --- Artificial Intelligence. --- Complexity, Computational --- Optical data processing --- Pattern perception --- Perceptrons --- Visual discrimination --- Software, Computer --- Computable functions --- Algorithms --- Information theory --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Constructive mathematics --- Decidability (Mathematical logic) --- Computer science—Mathematics. --- Pattern recognition systems. --- Discrete mathematics. --- Machine theory. --- Theory of Computation. --- Automated Pattern Recognition. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Pattern classification systems --- Pattern recognition computers --- Computer vision

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The volume LNCS 8155 constitutes the refereed proceedings of the 19th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2013, held in Giessen, Germany, in September 2013. The 8 papers presented were carefully reviewed and selected from 26 submissions. The scope of the workshop spans the following areas the theoretical and practical aspects of a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of Cellular Automata (CA) and Discrete Complex Systems (DCS), to provide a platform for presenting and discussing new ideas and results, to support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned, to identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.

Complex analysis --- Computer science --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- cryptologie --- complexe analyse (wiskunde) --- bedrijfssoftware --- vormgeving --- computers --- informatica --- mineralen (chemie) --- simulaties --- mijnbouw --- programmatielogica --- KI (kunstmatige intelligentie) --- computernetwerken --- computerkunde --- AI (artificiële intelligentie)