Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 15270)
Included in the following conference series:
Conference proceedings info: MCU 2024.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book constitutes the refereed proceedings of the 10th International Conference on Machines, Computations, and Universality, MCU 2024, held in Nice, France, during June 5–7, 2024.
The 8 full papers and 1 invited paper in this book were carefully reviewed and selected from 14 submissions. The scope of the conference topics includes, but is not limited to, computation in the setting of various discrete models Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, analog and hybrid models, BSS machines, infinite time cellular automata, real machines, quantum computing, and the meaning and implantation of universality in these contexts.
Keywords
- Analog computation
- Automata theory
- Cellular automata
- Classical computability and degree structures
- Computability theoretic aspects of programs
- Computable analysis and real computation
- Computable structures and models
- Continuous computing
- Decidability of theories
- DNA computing, self-assembly and tiling
- Emerging and non-standard models of computation
- Finite model theory
- Generalized recursion theory
- Higher type computability
- Hyper-computational models
- Infinite time Turing machines
- Membrane computing
- Molecular computation
- Morphogenesis and developmental biology
- Multi-agent systems
Table of contents (9 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Machines, Computations, and Universality
Editors and Affiliations
Bibliographic Information
Book Title: Machines, Computations, and Universality
Book Subtitle: 10th International Conference, MCU 2024, Nice, France, June 5–7, 2024, Revised Selected Papers
Editors: Enrico Formenti, Jérôme Durand-Lose
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-81202-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2025
Softcover ISBN: 978-3-031-81201-9Published: 26 February 2025
eBook ISBN: 978-3-031-81202-6Published: 25 February 2025
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVII, 153
Number of Illustrations: 21 b/w illustrations, 34 illustrations in colour
Topics: Algorithm Analysis and Problem Complexity, Artificial Intelligence, Software Engineering/Programming and Operating Systems, Computer Systems Organization and Communication Networks