Automata Studies

Automata Studies
Author: William Ross Ashby
Publisher: Princeton University Press
Total Pages: 300
Release: 1956-04-21
Genre: Computers
ISBN: 9780691079165

The description for this book, Automata Studies. (AM-34), Volume 34, will be forthcoming.

Graphs in VLSI

Graphs in VLSI
Author: Rassul Bairamkulov
Publisher: Springer Nature
Total Pages: 356
Release: 2022-11-28
Genre: Technology & Engineering
ISBN: 3031110471

Networks are pervasive. Very large scale integrated (VLSI) systems are no different, consisting of dozens of interconnected subsystems, hundreds of modules, and many billions of transistors and wires. Graph theory is crucial for managing and analyzing these systems. In this book, VLSI system design is discussed from the perspective of graph theory. Starting from theoretical foundations, the authors uncover the link connecting pure mathematics with practical product development. This book not only provides a review of established graph theoretic practices, but also discusses the latest advancements in graph theory driving modern VLSI technologies, covering a wide range of design issues such as synchronization, power network models and analysis, and interconnect routing and synthesis. Provides a practical introduction to graph theory in the context of VLSI systems engineering; Reviews comprehensively graph theoretic methods and algorithms commonly used during VLSI product development process; Includes a review of novel graph theoretic methods and algorithms for VLSI system design.

Pelevin and Unfreedom

Pelevin and Unfreedom
Author: Sofya Khagi
Publisher: Northwestern University Press
Total Pages: 434
Release: 2020-12-15
Genre: Literary Criticism
ISBN: 0810143046

Sofya Khagi’s Pelevin and Unfreedom: Poetics, Politics, Metaphysics is the first book-length English-language study of Victor Pelevin, one of the most significant and popular Russian authors of the post-Soviet era. The text explores Pelevin’s sustained Dostoevskian reflections on the philosophical question of freedom and his complex oeuvre and worldview, shaped by the idea that contemporary social conditions pervert that very notion. Khagi shows that Pelevin uses provocative and imaginative prose to model different systems of unfreedom, vividly illustrating how the present world deploys hyper-commodification and technological manipulation to promote human degradation and social deadlock. Rather than rehearse Cold War–era platitudes about totalitarianism, Pelevin holds up a mirror to show how social control (now covert, yet far more efficient) masquerades as freedom and how eagerly we accept, even welcome, control under the techno-consumer system. He reflects on how commonplace discursive markers of freedom (like the free market) are in fact misleading and disempowering. Under this comfortably self-occluding bondage, the subject loses all power of self-determination, free will, and ethical judgment. In his work, Pelevin highlights the unprecedented subversion of human society by the techno-consumer machine. Yet, Khagi argues, however circumscribed and ironically qualified, he holds onto the emancipatory potential of ethics and even an emancipatory humanism.

Modern Aspects of Classical Automata Theory

Modern Aspects of Classical Automata Theory
Author: Sebastian Jakobi
Publisher: Logos Verlag Berlin GmbH
Total Pages: 212
Release: 2015-03-30
Genre: Computers
ISBN: 3832539441

Regular languages have a wide area of applications. This makes it an important task to convert between different forms of regular language representations, and to compress the size of such representations. This book studies modern aspects of compressions and conversions of regular language representations. The first main part presents methods for lossy compression of classical finite automata. Lossy compression allows to reduce the size of a language representation below the limits of classical compression methods, by the cost of introducing tolerable errors to the language. The complexity of many problems related to compression with respect to different error profiles is classified. The other main part is devoted to the study of biautomata, which were recently introduced as a new descriptional model for regular languages. Although biautomata are in many ways similar to finite automata, this book carves out some notable differences. While classical methods for finite automata can successfully be applied to biautomata, one observes a drastic increase of the computational complexity when considering lossy compression for biautomata.

Testing Software and Systems

Testing Software and Systems
Author: David Clark
Publisher: Springer Nature
Total Pages: 242
Release: 2022-05-09
Genre: Computers
ISBN: 3031046730

This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic. The 10 regular papers and 7 short papers presented were carefully reviewed and selected from 36 submissions. Additionally, the volume includes 6 project reports. The papers are divided into the following topical subheadings: Finite State Machine-based Testing; Test Generation and Selection; AI-based Techniques; Use Cases; Project Reports.

Human Interaction & Emerging Technologies (IHIET 2022): Artificial Intelligence & Future Applications

Human Interaction & Emerging Technologies (IHIET 2022): Artificial Intelligence & Future Applications
Author: Tareq Ahram and Redha Taiar
Publisher: AHFE International
Total Pages: 860
Release: 2022-07-24
Genre: Technology & Engineering
ISBN: 1958651443

Human Interaction & Emerging Technologies (IHIET 2022): Artificial Intelligence & Future Applications Proceedings of the 8th International Conference on Human Interaction & Emerging Technologies (IHIET 2022): Artificial Intelligence & Future Applications, August 22–24, 2022, Nice, France

Automata Studies

Automata Studies
Author: William Ross Ashby
Publisher:
Total Pages: 370
Release: 1956-04-21
Genre: Computers
ISBN:

The description for this book, Automata Studies. (AM-34), Volume 34, will be forthcoming.

Probing The Meaning Of Quantum Mechanics: Probability, Metaphysics, Explanation And Measurement

Probing The Meaning Of Quantum Mechanics: Probability, Metaphysics, Explanation And Measurement
Author: Diederik Aerts
Publisher: World Scientific
Total Pages: 342
Release: 2023-09-21
Genre: Science
ISBN: 9811283605

Quantum theory is perhaps our best confirmed theory for a description of the physical properties of nature. On top of demonstrating great empirical effectiveness, many technological developments in the 20th century (such as the interpretation of the periodic table of elements, CD players, holograms, and quantum state teleportation) were only made possible with Quantum theory.Despite its success in the past decades, even today it still remains without a universally accepted interpretation.This book provides an interdisciplinary perspective on the question; 'What is Quantum Mechanics talking about?', a question which continues to be one of the most fascinating and important questions in science.Using an interdisciplinary approach to foundational problems in Quantum Mechanics (QM), ranging from philosophical questions about the interpretation of QM to technical problems in quantum computation, this book explores quantum mechanics from different perspectives (physical, logical, philosophical and mathematical), by researchers from Europe, North America, and South America.

Mathematical Foundations of Computer Science 2003

Mathematical Foundations of Computer Science 2003
Author: Branislav Rovan
Publisher: Springer
Total Pages: 706
Release: 2003-12-03
Genre: Computers
ISBN: 3540451382

This book constitutes the refereed proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS 2003, held in Bratislava, Slovakia in August 2003. The 55 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 137 submissions. All current aspects in theoretical computer science are addressed, ranging from discrete mathematics, combinatorial optimization, graph theory, networking, algorithms, and complexity to programming theory, formal methods, and mathematical logic.

Intelligent Systems and Applications

Intelligent Systems and Applications
Author: Yaxin Bi
Publisher: Springer Nature
Total Pages: 1316
Release: 2019-08-23
Genre: Technology & Engineering
ISBN: 3030295168

The book presents a remarkable collection of chapters covering a wide range of topics in the areas of intelligent systems and artificial intelligence, and their real-world applications. It gathers the proceedings of the Intelligent Systems Conference 2019, which attracted a total of 546 submissions from pioneering researchers, scientists, industrial engineers, and students from all around the world. These submissions underwent a double-blind peer-review process, after which 190 were selected for inclusion in these proceedings. As intelligent systems continue to replace and sometimes outperform human intelligence in decision-making processes, they have made it possible to tackle a host of problems more effectively. This branching out of computational intelligence in several directions and use of intelligent systems in everyday applications have created the need for an international conference as a venue for reporting on the latest innovations and trends. This book collects both theory and application based chapters on virtually all aspects of artificial intelligence; presenting state-of-the-art intelligent methods and techniques for solving real-world problems, along with a vision for future research, it represents a unique and valuable asset.