Skip to main content
Elsevier

Books in Analysis of algorithms and problem complexity

  • Digital Transformation and Equitable Global Health

    A Future-Ready Perspective
    • 1st Edition
    • Arletty Pinel + 2 more
    • English
    Digital Transformation and Equitable Global Health: A Future-Ready Perspective presents a collective body of knowledge and global experiences that demonstrate current status and future trends in the use of exponential technologies and their potential for poverty reduction, improving health outcomes, strengthening health systems, and transforming traditional development aid structures. The book uses a translational innovation perspective to guide the reader—regardless of their area of expertise—on the rationale behind the co-creation of human-centered, affordable, and sustainable digital solutions.It addresses the interest of professionals from multiple areas (e.g., technology, health, social development, global financing), and it is a valuable resource for professionals, social scientists, practitioners, researchers, instructors, and undergraduate and graduate students interested in understanding the challenges and complexities of global public health and the applied uses of health technologies for equitable access to primary health care and universal health coverage.

  • Minds, Machines, and Misinformation

    Decoding Bias, Algorithms, and Trust
    • 1st Edition
    • Don Donghee Shin
    • English
    Algorithms have become the key organizer through which power is enacted in our society. A huge amount of data regarding our daily routines are monitored and analyzed to make recommendations that manage, control, and lead our behaviors in everyday life. AI, Humans, and Misinformation: How Does AI Alter Human Behavior and How Do Humans Influence Algorithmic Misinformation? is a guide to understanding the dynamics of AI and misinformation in human contexts by addressing meaningful questions—How does AI alter human behavior and how do humans influence algorithmic decision-making? In answering these questions, this book examines the role of misinformation, disinformation, and fake news, and shows readers how to develop AI methods and algorithms that combat misinformation by using AI design choices that provide users and developers alike with meaningful control over AI. This book brings together various perspectives on algorithms into an integrated conceptual framework, and provides a broad socio-technical analysis, addressing critical and ethical issues of misinformation and fake news. The book offers a compelling insight into the misinformation phenomenon and the future of AI-based society. Readers will find an integrated technical analysis of the logic and social implications of algorithmic processes. Reporting from the cutting edge of critical technical methods and research, the result is useful and constructive for developing the relations between algorithms and humans. This is an imperative methodology for understanding what is at stake as industry and government use AI to reshape the world.

  • The Role of Blockchain in Disaster Management

    • 1st Edition
    • Ayan Kumar Das + 3 more
    • English
    The Role of Blockchain in Disaster Management explores the architecture and implementation of existing blockchain-based IoT frameworks for the detection and prevention of disasters, along with the management of relative supply chains to protect against mismanagement of essential materials. The distributed nature of Blockchain helps to protect data from internal or external attacks, especially in disaster areas or times of crisis when database systems become overloaded and vulnerable to unauthorized access, manipulation, and disruption of critical services. This book can be used as a reference by graduate students, researchers, professors, and professionals in computer science, software design, and disaster management.

  • Digital Technology in Public Health and Rehabilitation Care

    COVID Era
    • 1st Edition
    • Raymond K. Y. Tong + 1 more
    • English
    Digital Technology in Public Health and Rehabilitation Care: COVID Era provides an in-depth examination on how digital technology has impacted public health and rehabilitation during the COVID-19 pandemic. The book showcases the range of digital technology applications utilized in healthcare, including the use of mobile phones, computers, wearable and non-wearable technologies, sensors, 3D printers, robotics, Artificial Intelligence (AI), internet technologies, websites and apps, virtual and augmented realities, and computer games. With a wealth of case studies and insights, this book is an essential resource on the impact of digital technology on public health and rehabilitation services in the COVID-19 era. The COVID-19 pandemic had a major impact on the rehabilitation services available to those in need, particularly for older adults, people with physical and cognitive impairments, children with autism and ADHD, and individuals with physical and mental health disorders. In response to these challenges, the book focuses on the potential for advanced digital technologies to revolutionize public health and rehabilitation services, highlighting the need for researchers and healthcare professionals to work together to promote digital-based interventions.

  • Decision-Making Models

    A Perspective of Fuzzy Logic and Machine Learning
    • 1st Edition
    • Tofigh Allahviranloo + 2 more
    • English
    Decision Making Models: A Perspective of Fuzzy Logic and Machine Learning presents the latest developments in the field of uncertain mathematics and decision science. The book aims to deliver a systematic exposure to soft computing techniques in fuzzy mathematics as well as artificial intelligence in the context of real-life problems and is designed to address recent techniques to solving uncertain problems encountered specifically in decision sciences. Researchers, professors, software engineers, and graduate students working in the fields of applied mathematics, software engineering, and artificial intelligence will find this book useful to acquire a solid foundation in fuzzy logic and fuzzy systems.Other areas of note include optimization problems and artificial intelligence practices, as well as how to analyze IoT solutions with applications and develop decision-making mechanisms realized under uncertainty.

  • Recent Trends in Swarm Intelligence Enabled Research for Engineering Applications

    • 1st Edition
    • Siddhartha Bhattacharyya + 3 more
    • English
    Recent Trends in Swarm Intelligence Enabled Research for Engineering Applications focuses on recent, up-to-date technologies, combining other intelligent tools with swarm intelligence techniques to yield robust and failsafe solutions to real world problems. This book aims to provide audiences with a platform to learn and gain insights into the latest developments in hybrid swarm intelligence. It will be useful to researchers, engineers, developers, practitioners, and graduate students working in the major and interdisciplinary areas of computational intelligence, communication systems, computer networks, and soft computing.With the advent of data-intensive applications, the elimination of redundancy in disseminated information has become a serious challenge for researchers who are on the lookout for evolving metaheuristic algorithms which can explore and exploit the information feature space to derive the optimal settings for specific applications. Swarm intelligence algorithms have developed as one of the most widely used metaheuristic techniques for addressing this challenge in an effective way. Inspired by the behavior of a swarm of bees, these swarm intelligence techniques emulate the corresponding natural instincts to derive optimal solutions for data-intensive applications.

  • Federated Learning for Digital Healthcare Systems

    • 1st Edition
    • Agbotiname Lucky Imoize + 2 more
    • English
    Federated Learning for Digital Healthcare Systems critically examines the key factors that contribute to the problem of applying machine learning in healthcare systems and investigates how federated learning can be employed to address the problem. The book discusses, examines, and compares the applications of federated learning solutions in emerging digital healthcare systems, providing a critical look in terms of the required resources, computational complexity, and system performance.In the first section, chapters examine how to address critical security and privacy concerns and how to revamp existing machine learning models. In subsequent chapters, the book's authors review recent advances to tackle emerging efficient and lightweight algorithms and protocols to reduce computational overheads and communication costs in wireless healthcare systems. Consideration is also given to government and economic regulations as well as legal considerations when federated learning is applied to digital healthcare systems.

  • Intelligent Fractal-Based Image Analysis

    Applications in Pattern Recognition and Machine Vision
    • 1st Edition
    • Soumya Ranjan Nayak + 3 more
    • English
    Intelligent Fractal-Based Image Analysis: Application in Pattern Recognition and Machine Vision provides insights into the current strengths and weaknesses of different applications as well as research findings on fractal graphics in engineering and science applications. The book aims to improve the exchange of ideas and coherence between various core computing methods and highlights the relevance of related application areas for advanced as well as novice-user application. The book presents core concepts, methodological aspects, and advanced feature opportunities, focusing on major, real-time applications in engineering and health science. It will appeal to researchers, data scientists, industry professionals, and graduate students.Fractals are infinite, complex patterns used in modeling physical and dynamic systems. Fractal theory research has increased across different fields of applications including engineering science, health science, and social science. Recent literature shows the vital role fractals play in digital image analysis, specifically in biomedical image processing. Fractal graphics is an interdisciplinary field that deals with how computers can be used to gain high-level understanding from digital images. Integrating artificial intelligence with fractal characteristics has resulted in new interdisciplinary research in the fields of pattern recognition and image processing analysis.

  • Sequences and the de Bruijn Graph

    Properties, Constructions, and Applications
    • 1st Edition
    • Tuvi Etzion
    • English
    Sequences and the de Bruijn Graph: Properties, Constructions, and Applications explores the foundations of theoretical mathematical concepts and their important applications to computer science, electrical engineering, and bioinformatics. The book introduces the various concepts, ideas, and techniques associated with the use of the de Bruijn Graph, providing comprehensive coverage of sequence classification, one-dimensional and two-dimensional properties, constructions, and interconnection networks. This book is suitable for researchers, graduate students, professors, and professionals working in the fields of applied mathematics, electrical engineering, computer science, and bioinformatics.The de Bruijn graph was defined in 1946 to enumerate the number of closed sequences where each n-tuple appears exactly once as a window in a sequence. Through the years, the graph and its sequences have found numerous applications – in space technology, wireless communication, cryptography, parallel computation, genome assembly, DNA storage, and microbiome research, among others.

  • Reachable Sets of Dynamic Systems

    Uncertainty, Sensitivity, and Complex Dynamics
    • 1st Edition
    • Stanislaw Raczynski
    • English
    Reachable Sets of Dynamic Systems: Uncertainty, Sensitivity, and Complex Dynamics introduces differential inclusions, providing an overview as well as multiple examples of its interdisciplinary applications. The design of dynamic systems of any type is an important issue as is the influence of uncertainty in model parameters and model sensitivity. The possibility of calculating the reachable sets may be a powerful additional tool in such tasks. This book can help graduate students, researchers, and engineers working in the field of computer simulation and model building, in the calculation of reachable sets of dynamic models.

  • Comprehensive Metaheuristics

    Algorithms and Applications
    • 1st Edition
    • Ali Mirjalili + 1 more
    • English
    Comprehensive Metaheuristics: Algorithms and Applications presents the foundational underpinnings of metaheuristics and a broad scope of algorithms and real-world applications across a variety of research fields. The book starts with fundamentals, mathematical prerequisites, and conceptual approaches to provide readers with a solid foundation. After presenting multi-objective optimization, constrained optimization, and problem formation for metaheuristics, world-renowned authors give readers in-depth understanding of the full spectrum of algorithms and techniques. Scientists, researchers, academicians, and practitioners who are interested in optimizing a process or procedure to achieve a goal will benefit from the case studies of real-world applications from different domains. The book takes a much-needed holistic approach, putting the most widely used metaheuristic algorithms together with an in-depth treatise on multi-disciplinary applications of metaheuristics. Each algorithm is thoroughly analyzed to observe its behavior, providing a detailed tutorial on how to solve problems using metaheuristics. New case studies and research problem statements are also discussed, which will help researchers in their application of the concepts.

  • Advances in Domain Adaptation Theory

    • 1st Edition
    • Ievgen Redko + 4 more
    • English
    Advances in Domain Adaptation Theory gives current, state-of-the-art results on transfer learning, with a particular focus placed on domain adaptation from a theoretical point-of-view. The book begins with a brief overview of the most popular concepts used to provide generalization guarantees, including sections on Vapnik-Chervonenkis (VC), Rademacher, PAC-Bayesian, Robustness and Stability based bounds. In addition, the book explains domain adaptation problem and describes the four major families of theoretical results that exist in the literature, including the Divergence based bounds. Next, PAC-Bayesian bounds are discussed, including the original PAC-Bayesian bounds for domain adaptation and their updated version. Additional sections present generalization guarantees based on the robustness and stability properties of the learning algorithm.

  • Adaptive Mobile Computing

    Advances in Processing Mobile Data Sets
    • 1st Edition
    • Mauro Migliardi + 2 more
    • English
    Adaptive Mobile Computing: Advances in Processing Mobile Data Sets explores the latest advancements in producing, processing and securing mobile data sets. The book provides the elements needed to deepen understanding of this trend which, over the last decade, has seen exponential growth in the number and capabilities of mobile devices. The pervasiveness, sensing capabilities and computational power of mobile devices have turned them into a fundamental instrument in everyday life for a large part of the human population. This fact makes mobile devices an incredibly rich source of data about the dynamics of human behavior, a pervasive wireless sensors network with substantial computational power and an extremely appealing target for a new generation of threats.

  • Development of Online Hybrid Testing

    Theory and Applications to Structural Engineering
    • 1st Edition
    • Peng Pan + 2 more
    • English
    Development of Online Hybrid Testing: Theory and Applications to Structural Engineering provides comprehensive treatments of several topics pertinent to substructure online hybrid tests. Emphasis has been placed on explaining the three frameworks: the host-station framework, separated model framework and peer to peer framework These have been developed within the Internet environment and are particularly suitable for distributed hybrid testing. In order to help readers to understand the essence of online hybrid testing and further to build up their own systems, an engineering practice has been introduced at the end of this book with the source code appended. Development of Online Hybrid Testing: Theory and Applications to Structural Engineering is primarily written for readers with some background in structural dynamics, finite elements, and computer science. Material that has previously only appeared in journal articles has been consolidated and simplified which provides the reader with a perspective of the state-of-the-art.

  • Parallel Processing for Artificial Intelligence 2

    • 1st Edition
    • Volume 15
    • V. Kumar + 2 more
    • English
    With the increasing availability of parallel machines and the raising of interest in large scale and real world applications, research on parallel processing for Artificial Intelligence (AI) is gaining greater importance in the computer science environment. Many applications have been implemented and delivered but the field is still considered to be in its infancy.This book assembles diverse aspects of research in the area, providing an overview of the current state of technology. It also aims to promote further growth across the discipline. Contributions have been grouped according to their subject: architectures (3 papers), languages (4 papers), general algorithms (6 papers), and applications (5 papers). The internationally sourced papers range from purely theoretical work, simulation studies, algorithm and architecture proposals, to implemented systems and their experimental evaluation.Since the book is a second volume in the parallel processing for AI series, it provides a continued documentation of the research and advances made in the field. The editors hope that it will inspire readers to investigate the possiblities for enhancing AI systems by parallel processing and to make new discoveries of their own!

  • Parallel Algorithms for Numerical Linear Algebra

    • 1st Edition
    • Volume 1
    • H. van der Vorst + 1 more
    • English
    This is the first in a new series of books presenting research results and developments concerning the theory and applications of parallel computers, including vector, pipeline, array, fifth/future generation computers, and neural computers.All aspects of high-speed computing fall within the scope of the series, e.g. algorithm design, applications, software engineering, networking, taxonomy, models and architectural trends, performance, peripheral devices.Papers in Volume One cover the main streams of parallel linear algebra: systolic array algorithms, message-passing systems, algorithms for parallel shared-memory systems, and the design of fast algorithms and implementations for vector supercomputers.

  • Constraints, Language and Computation

    • 1st Edition
    • M. A. Rosner + 2 more
    • English
    Constraint-based linguistics is intersected by three fields: logic, linguistics, and computer sciences. The central theme that ties these different disciplines together is the notion of a linguistic formalism or metalanguage. This metalanguage has good mathematical properties, is designed to express descriptions of language, and has a semantics that can be implemented on a computer. Constraints, Language and Computation discusses the theory and practice of constraint-based computational linguistics. The book captures both the maturity of the field and some of its more interesting future prospects during a particulary important moment of development in this field.

  • Flow Networks

    Analysis and Optimization of Repairable Flow Networks, Networks with Disturbed Flows, Static Flow Networks and Reliability Networks
    • 1st Edition
    • Michael T. Todinov
    • English
    Repairable flow networks are a new area of research, which analyzes the repair and flow disruption caused by failures of components in static flow networks. This book addresses a gap in current network research by developing the theory, algorithms and applications related to repairable flow networks and networks with disturbed flows. The theoretical results presented in the book lay the foundations of a new generation of ultra-fast algorithms for optimizing the flow in networks after failures or congestion, and the high computational speed creates the powerful possibility of optimal control of very large and complex networks in real time. Furthermore, the possibility for re-optimizing the network flows in real time increases significantly the yield from real production networks and reduces to a minimum the flow disruption caused by failures. The potential application of repairable flow networks reaches across many large and complex systems, including active power networks, telecommunication networks, oil and gas production networks, transportation networks, water supply networks, emergency evacuation networks, and supply networks. The book reveals a fundamental flaw in classical algorithms for maximising the throughput flow in networks, published since the creation of the theory of flow networks in 1956. Despite the years of intensive research, the classical algorithms for maximising the throughput flow leave highly undesirable directed loops of flow in the optimised networks. These flow loops are associated with wastage of energy and resources and increased levels of congestion in the optimised networks.

  • Synchronous Precharge Logic

    • 1st Edition
    • Marek Smoszna
    • English
    Precharge logic is used by a variety of industries in applications where processor speed is the primary goal, such as VLSI (very large systems integration) applications. Also called dynamic logic, this type of design uses a clock to synchronize instructions in circuits. This comprehensive book covers the challenges faced by designers when using this logic style, including logic basics, timing, noise considerations, alternative topologies and more. In addition advanced topics such as skew tolerant design are covered in some detail. Overall this is a comprehensive view of precharge logic, which should be useful to graduate students and designers in the field alike. It might also be considered as a supplemental title for courses covering VLSI.

  • Computational Theory of Iterative Methods

    • 1st Edition
    • Volume 15
    • Ioannis Argyros
    • English
    The book is designed for researchers, students and practitioners interested in using fast and efficient iterative methods to approximate solutions of nonlinear equations. The following four major problems are addressed. Problem 1: Show that the iterates are well defined. Problem 2: concerns the convergence of the sequences generated by a process and the question of whether the limit points are, in fact solutions of the equation. Problem 3: concerns the economy of the entire operations. Problem 4: concerns with how to best choose a method, algorithm or software program to solve a specific type of problem and its description of when a given algorithm succeeds or fails. The book contains applications in several areas of applied sciences including mathematical programming and mathematical economics. There is also a huge number of exercises complementing the theory.

  • Network Routing

    Algorithms, Protocols, and Architectures
    • 1st Edition
    • English
    Network routing can be broadly categorized into Internet routing, PSTN routing, and telecommunication transport network routing. This book systematically considers these routing paradigms, as well as their interoperability. The authors discuss how algorithms, protocols, analysis, and operational deployment impact these approaches. A unique feature of the book is consideration of both macro-state and micro-state in routing; that is, how routing is accomplished at the level of networks and how routers or switches are designed to enable efficient routing.In reading this book, one will learn about 1) the evolution of network routing, 2) the role of IP and E.164 addressing in routing, 3) the impact on router and switching architectures and their design, 4) deployment of network routing protocols, 5) the role of traffic engineering in routing, and 6) lessons learned from implementation and operational experience. This book explores the strengths and weaknesses that should be considered during deployment of future routing schemes as well as actual implementation of these schemes. It allows the reader to understand how different routing strategies work and are employed and the connection between them. This is accomplished in part by the authors' use of numerous real-world examples to bring the material alive.

  • Computational Complexity: A Quantitative Perspective

    • 1st Edition
    • Volume 196
    • Marius Zimand
    • English
    There has been a common perception that computational complexity is a theory of "bad news" because its most typical results assert that various real-world and innocent-looking tasks are infeasible. In fact, "bad news" is a relative term, and, indeed, in some situations (e.g., in cryptography), we want an adversary to not be able to perform a certain task. However, a "bad news" result does not automatically become useful in such a scenario. For this to happen, its hardness features have to be quantitatively evaluated and shown to manifest extensively.The book undertakes a quantitative analysis of some of the major results in complexity that regard either classes of problems or individual concrete problems. The size of some important classes are studied using resource-bounded topological and measure-theoretical tools. In the case of individual problems, the book studies relevant quantitative attributes such as approximation properties or the number of hard inputs at each length.One chapter is dedicated to abstract complexity theory, an older field which, however, deserves attention because it lays out the foundations of complexity. The other chapters, on the other hand, focus on recent and important developments in complexity. The book presents in a fairly detailed manner concepts that have been at the centre of the main research lines in complexity in the last decade or so, such as: average-complexity, quantum computation, hardness amplification, resource-bounded measure, the relation between one-way functions and pseudo-random generators, the relation between hard predicates and pseudo-random generators, extractors, derandomization of bounded-error probabilistic algorithms, probabilistically checkable proofs, non-approximability of optimization problems, and others.The book should appeal to graduate computer science students, and to researchers who have an interest in computer science theory and need a good understanding of computational complexity, e.g., researchers in algorithms, AI, logic, and other disciplines.

  • Resolving Conflicts with Mathematica

    Algorithms for Two-Person Games
    • 1st Edition
    • Morton John Canty
    • English
    The revised and updated edition of this popular German textbook is unique in its emphasis on algorithmic methods and in its original use of Mathematica as a tool to obtain solutions to game-theoretical models.Resolving Conflicts with Mathematica begins with the basic theory of extensive and normal form games, as well as introducing the fundamental concept of Nash equilibria. The restriction to two-person games helps to make the material more digestible for the beginner. In later chapters the subtleties of degenerate games are discussed thoroughly. Many aspects of equilibrium selection theory are treated, including algorithms for determining evolutionary stable equilibria in biology. Finally, the book looks at the wide-scale application of game theory to practical conflict situations.Resolving Conflicts with Mathematica includes a set of Mathematica programs which implement all of the algorithms described in the text. Exercises are closely integrated with the book's material and Mathematica 'notebooks' are supplied with each of the chapters.

  • Art and Complexity

    • 1st Edition
    • J. Casti + 1 more
    • English
    This title is the result of a one-week workshop sponsored by the Swedish research agency, FRN, on the interface between complexity and art. Among others, it includes discussions on whether "good" art is "complex" art, how artists see the term "complex", and what poets try to convey in word about complex behavior in nature.

  • Mathematical Logic

    • 1st Edition
    • Volume 4
    • R.O. Gandy + 1 more
    • English
    Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to include all his mature scientific writing, including a substantial quantity of unpublished material. His work in pure mathematics and mathematical logic extended considerably further; the work of his last years, on morphogenesis in plants, is also of the greatest originality and of permanent importance. This book is divided into three parts. The first part focuses on computability and ordinal logics and covers Turing's work between 1937 and 1938. The second part covers type theory; it provides a general introduction to Turing's work on type theory and covers his published and unpublished works between 1941 and 1948. Finally, the third part focuses on enigmas, mysteries, and loose ends. This concluding section of the book discusses Turing's Treatise on the Enigma, with excerpts from the Enigma Paper. It also delves into Turing's papers on programming and on minimum cost sequential analysis, featuring an excerpt from the unpublished manuscript. This book will be of interest to mathematicians, logicians, and computer scientists.

  • Handbook of Computability Theory

    • 1st Edition
    • Volume 140
    • E.R. Griffor
    • English
    The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers.

  • Compression Algorithms for Real Programmers

    • 1st Edition
    • Peter Wayner
    • English
    In life, time is money, and on the Internet, the size of data is money. Small programs and small files take less disk space and cost less to send over the Internet. Compression Algorithms for Real Programmers describes the basic algorithms and approaches for compressing information so you can create the smallest files possible. These new algorithms are making it possible for people to take impossibly large audio and video files and compress them enough that they can flow over the Internet.

  • Recursive Algebra, Analysis and Combinatorics

    • 1st Edition
    • Volume 2
    • English

  • Recursive Model Theory

    • 1st Edition
    • Volume 1
    • English

  • Handbook of Proof Theory

    • 1st Edition
    • Volume 137
    • S.R. Buss
    • English
    This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.

  • Computability, Complexity, and Languages

    Fundamentals of Theoretical Computer Science
    • 2nd Edition
    • Martin Davis + 2 more
    • English
    Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.

  • Morphogenesis

    • 1st Edition
    • Volume 3
    • P.T. Saunders
    • English
    The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Alan Mathison Turing (1912-1954) was a brilliant man who made major contributions in several areas of science. Today his name is mentioned frequently in philosophical discussions about the nature of Artificial Intelligence. Actually, he was a pioneer researcher in computer architecture and software engineering; his work in pure mathematics and mathematical logic extended considerably further and his last work, on morphogenesis in plants, is also acknowledged as being of the greatest originality and of permanent importance. He was one of the leading figures in Twentieth-century science, a fact which would have been known to the general public sooner but for the British Official Secrets Act, which prevented discussion of his wartime work. What is maybe surprising about these papers is that although they were written decades ago, they address major issues which concern researchers today.

  • Tree Automata and Languages

    • 1st Edition
    • Volume 10
    • M. Nivat + 1 more
    • English
    The theory of tree languages, founded in the late Sixties and still active in the Seventies, was much less active during the Eighties. Now there is a simultaneous revival in several countries, with a number of significant results proved in the past five years. A large proportion of them appear in the present volume.The editors of this volume suggested that the authors should write comprehensive half-survey papers. This collection is therefore useful for everyone interested in the theory of tree languages as it covers most of the recent questions which are not treated in the very few rather old standard books on the subject. Trees appear naturally in many chapters of computer science and each new property is likely to result in improvement of some computational solution of a real problem in handling logical formulae, data structures, programming languages on systems, algorithms etc. The point of view adopted here is to put emphasis on the properties themselves and their rigorous mathematical exposition rather than on the many possible applications.This volume is a useful source of concepts and methods which may be applied successfully in many situations: its philosophy is very close to the whole philosophy of the ESPRIT Basic Research Actions and to that of the European Association for Theoretical Computer Science.

  • Fourth Czechoslovakian Symposium on Combinatorics, Graphs and Complexity

    • 1st Edition
    • Volume 51
    • J. Nešetril + 1 more
    • English
    This volume in the Annals of Discrete Mathematics brings together contributions by renowned researchers in combinatorics, graphs and complexity. The conference on which this book is based was the fourth in a series which began in 1963, which was the first time specialists from East and West were able to come together. The 1990 meeting attracted 170 mathematicians and computer scientists from around the world, so this book represents an international, detailed view of recent research.

  • Mechanical Intelligence

    • 1st Edition
    • Volume 1
    • D.C. Ince
    • English
    The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Alan Mathison Turing (1912-1954) was a brilliant man who made major contributions in several areas of science. Today his name is mentioned frequently in philosophical discussions about the nature of Artificial Intelligence. Actually, he was a pioneer researcher in computer architecture and software engineering; his work in pure mathematics and mathematical logic extended considerably further and his last work, on morphogenesis in plants, is also acknowledged as being of the greatest originality and of permanent importance. He was one of the leading figures in Twentieth-century science, a fact which would have been known to the general public sooner but for the British Official Secrets Act, which prevented discussion of his wartime work. What is maybe surprising about these papers is that although they were written decades ago, they address major issues which concern researchers today.

  • Pure Mathematics

    • 1st Edition
    • Volume 2
    • J.L. Britton
    • English
    The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Alan Mathison Turing (1912-1954) was a brilliant man who made major contributions in several areas of science. Today his name is mentioned frequently in philosophical discussions about the nature of Artificial Intelligence. Actually, he was a pioneer researcher in computer architecture and software engineering; his work in pure mathematics and mathematical logic extended considerably further and his last work, on morphogenesis in plants, is also acknowledged as being of the greatest originality and of permanent importance. He was one of the leading figures in Twentieth-century science, a fact which would have been known to the general public sooner but for the British Official Secrets Act, which prevented discussion of his wartime work. What is maybe surprising about these papers is that although they were written decades ago, they address major issues which concern researchers today.

  • Self-Modifying Systems in Biology and Cognitive Science

    A New Framework for Dynamics, Information and Complexity
    • 1st Edition
    • Volume 6
    • G. Kampis
    • English
    The theme of this book is the self-generation of information by the self-modification of systems. The author explains why biological and cognitive processes exhibit identity changes in the mathematical and logical sense. This concept is the basis of a new organizational principle which utilizes shifts of the internal semantic relations in systems. There are mathematical discussions of various classes of systems (Turing machines, input-output systems, synergetic systems, non-linear dynamics etc), which are contrasted with the author's new principle. The most important implications of this include a new conception on the nature of information and which also provides a new and coherent conceptual view of a wide class of natural systems. This book merits the attention of all philosophers and scientists concerned with the way we create reality in our mathematical representations of the world and the connection those representations have with the way things really are.

  • Planar Graphs

    Theory and Algorithms
    • 1st Edition
    • Volume 32
    • T. Nishizeki + 1 more
    • English
    Collected in this volume are most of the important theorems and algorithms currently known for planar graphs, together with constructive proofs for the theorems. Many of the algorithms are written in Pidgin PASCAL, and are the best-known ones; the complexities are linear or 0(nlogn). The first two chapters provide the foundations of graph theoretic notions and algorithmic techniques. The remaining chapters discuss the topics of planarity testing, embedding, drawing, vertex- or edge-coloring, maximum independence set, subgraph listing, planar separator theorem, Hamiltonian cycles, and single- or multicommodity flows. Suitable for a course on algorithms, graph theory, or planar graphs, the volume will also be useful for computer scientists and graph theorists at the research level. An extensive reference section is included.