Simple Type Theory
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic called Alonzo that is based on Alonzo Church's formulation of simple type theory known as Church's type theory. Unlike traditional predicate logics, Alonzo admits undefined expressions. The book illustrates using Alonzo how simple type theory is suited ideally for reasoning about mathematical structures and constructing libraries of mathematical knowledge. For this second edition, more than 400 additions, corrections, and improvements have been made, including a new chapter on inductive sets and types. Topics and features: - - - - - - Aimed at students of mathematics and computing at the graduate or upper-undergraduate level, this book is well suited for mathematicians, computing professionals, engineers, and scientists who need a practical logic for expressing and reasoning about mathematical ideas. William M. Farmer is a Professor in the Department of Computing and Software at McMaster University in Hamilton, Ontario, Canada.
Applications of Evolutionary Computation
This two-volume set, LNCS 15612 and 15613 constitutes the refereed proceedings of the 28th European Conference on Applications of Evolutionary Computation, EvoApplications 2025, held as part of EvoStar 2025, in Trieste, Italy, during April 23-25, 2025, and co-located with the EvoStar events, EvoCOP, EvoMUSART, and EuroGP. The 50 full papers and 18 short papers presented in this book were carefully reviewed and selected from 104 submissions. These papers have been organized in the following topical sections: Part I: EvoApplications.Part II: Evolutionary machine learning; 30 years of particle swarm optimisation; Analysis of Evolutionary Computation Methods: Theory, Empirics, and Real-World Applications; Bio-inspired Algorithms for Green Computing and Sustainable Complex Systems; Computational Intelligence for Sustainability; EvoLLMs (Integrating Evolutionary Computing with Large Language Models (LLMs); Evolutionary Computation in Edge, Fog, and Cloud Computing; Evolutionary Computation in Image Analysis, Signal Processing, and Pattern Recognition; Machine Learning and AI in Digital Healthcare and Personalized Medicine; Soft Computing Applied to Games.
Neuromorphic Computing Principles and Organization
The second edition of Neuromorphic Computing Principles and Organization delves deeply into neuromorphic computing, focusing on designing fault-tolerant, scalable hardware for spiking neural networks. Each chapter includes exercises to enhance understanding. All existing chapters have been meticulously revised, and a new chapter on advanced neuromorphic prosthesis design serves as a comprehensive case study. The book starts with an overview of neuromorphic systems and fundamental artificial neural network concepts. It explores artificial neurons, neuron models, storage technologies, inter-neuron communication, learning mechanisms, and design approaches. Detailed discussions cover challenges in constructing spiking neural networks and emerging memory technologies. A dedicated chapter addresses circuits and architectures, including Network-on-Chip (NoC) fabric, Address Event Representation (AER), memory access methods, and photonic interconnects. Reliability issues, recovery methods for multicore systems, and reconfigurable designs supporting multiple applications are examined. The book also describes the hardware-software design of a three-dimensional neuromorphic processor, focusing on high integration density, minimal spike delay, and scalable design. The book concludes with a comprehensive review of neuromorphic systems, providing a detailed analysis of the field and an overarching understanding of the key concepts discussed throughout the text.
Applications of Evolutionary Computation
This two-volume set, LNCS 15612 and 15613 constitutes the refereed proceedings of the 28th European Conference on Applications of Evolutionary Computation, EvoApplications 2025, held as part of EvoStar 2025, in Trieste, Italy, during April 23-25, 2025, and co-located with the EvoStar events, EvoCOP, EvoMUSART, and EuroGP. The 50 full papers and 18 short papers presented in this book were carefully reviewed and selected from 104 submissions. These papers have been organized in the following topical sections: Part I: EvoApplications.Part II: Evolutionary machine learning; 30 years of particle swarm optimisation; Analysis of Evolutionary Computation Methods: Theory, Empirics, and Real-World Applications; Bio-inspired Algorithms for Green Computing and Sustainable Complex Systems; Computational Intelligence for Sustainability; EvoLLMs (Integrating Evolutionary Computing with Large Language Models (LLMs); Evolutionary Computation in Edge, Fog, and Cloud Computing; Evolutionary Computation in Image Analysis, Signal Processing, and Pattern Recognition; Machine Learning and AI in Digital Healthcare and Personalized Medicine; Soft Computing Applied to Games.
Artificial Intelligence in Music, Sound, Art and Design
This book constitutes the refereed proceedings of the 14th International Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2025, held as part of EvoStar 2025, in Trieste, Itlay, during April 23-25, 2024. The 28 full papers presented in this book were carefully reviewed and selected from 52 submissions. They present a broad selection of topics and applications, including systems that create music, art, and design.
Guide to Distributed Algorithms
The study of distributed algorithms provides the needed background in many real-life applications, such as: distributed real-time systems, wireless sensor networks, mobile ad hoc networks and distributed databases. The main goal of Guide to Distributed Algorithms is to provide a detailed study of the design and analysis methods of distributed algorithms and to supply the implementations of most of the presented algorithms in Python language, which is the unique feature of the book not found in any other contemporary books on distributed computing. Topics and features: Presents comprehensive design methods for distributed algorithms Provides detailed analysis for the algorithms presented Uses graph templates to demonstrate the working of algorithms Provides working Python code for most of the algorithms presented This unique textbook/study manual can serve as a comprehensive manual of distributed algorithms for Computer Science and non-CS majors as well as practitioners of distributed algorithms in research projects.
Smart Cities to Smart Societies
This book explores the governance of smart cities from a holistic approach, arguing that the creation of smart cities must consider the specific the circumstances of each country to improve the preservation, revitalisation, liveability, and sustainability of urban areas.
The Resonant Brain
This Special Issue is dedicated to Stephen Grossberg, Professor Emeritus at the Department of Biomedical Engineering of Boston University (BU), Wang Professor of Cognitive and Neural Systems, and a former Director of the Center for Adaptive Systems of BU. Grossberg is an internationally acclaimed scientist and a pioneer in fundamental principles, mechanisms, and model architectures that form the foundation of contemporary neural network research. Articles in this collection focus on the perceptual integration of sensory information, cognitive representation, and mechanisms feeding consciousness.
Current trends in ICT applications to library and office processes
The Children of the Machine
X is called for an interview, though he has applied for no job. Invited to a waiting room, he finds him locked inside overnight. When he protests, he is offered breakfast, a room and finds himself half guest, half prisoner. His attempts to escape are foiled by the "centre's" knowledge of him and uncanny supervision. He is treated to lavish meals, accommodated in luxury but can't quieten his disturbance. Sexual services are on offer every day, but their coldness unnerves him. During temporary escapes, he comes across a dilapidated cottage occupied by a silent, old man with a shotgun, a house empty except for a young girl and her fierce Rottweiler, a remote, tiny pub run by a lone woman who feeds him before warning him the authorities are coming for him. Why does the old man kill himself ?Why does the girl disappear overnight? He is taken to a restaurant where he witnesses apparently innocent diners seized and taken away by security. Elite entertainment is provided. He's introduced to the rich and famous. But what is the "contentment doctrine" and who are the "normalisation force"? And why does everyone accept the decisions of "the machine"? When a crisis arises with the "outsiders" the atmosphere changes. In this novella, Dent explores the nature of autonomy, the threat of ceding control to AI, and the debilitating nature of being constantly served. X is a modern everyman. His tragic fate a warning to us all.
Innovations and Interdisciplinary Solutions for Underserved Areas
Artificial Intelligence Adoption and It's Impact on the Sustainability
Digital Literacy
This book, "Digital Literacy: Empowering Individuals in the Digital Age," aims to shed light on the importance of digital literacy and provide a comprehensive guide for individuals seeking to enhance their digital skills and knowledge. It serves as a roadmap, equipping readers with the necessary tools to harness the power of technology and make informed decisions in a rapidly changing digital landscape.In the following pages, we will explore the various dimensions of digital literacy, delving into topics such as internet safety, media literacy, digital citizenship, information literacy, and critical thinking. We will examine the impact of digital technologies on different aspects of our lives, from education and employment to communication and personal development.
The Spirit of Recovery
The book focuses on how information technology may assist in achieving goals and provide solutions to problems like the pandemic. It explores and describes the current state-of-the-art research conducted during the pandemic. Topics covered include the IT Viewpoint and the rules governing digital transformation throughout the epidemic.
Biological Computing
This open access book comprehensively introduces biocomputing, focusing on its foundational theories, experimental operations, and computational models. Biocomputing represents an innovative computational paradigm that leverages biomolecules as a carrier for processing and storing information. As a core enabler of human progress, computational tools serve as critical benchmarks of societal advancement and are key drivers of technological innovation. While electronic computers currently dominate as the primary instruments for information processing, their underlying manufacturing technologies are approaching physical and practical limits. This has prompted the search for alternative computational models and tools to meet the demands of future advancements. Over recent decades, scientists have explored various fields to develop novel computational frameworks. These efforts have led to the emergence of groundbreaking paradigms, such as artificial neural networks inspired by brain-like information processing, evolutionary computing based on genetic mechanisms, biocomputing utilizing the unique properties of biomolecules, quantum computing exploiting quantum phenomena, and optical computing leveraging the properties of light. Designed as an essential resource for readers interested in the principles and applications of biocomputing, this book establishes a foundational understanding of the subject while serving as a bridge to more advanced theoretical and practical exploration. A basic knowledge of molecular biology is recommended for readers to engage with the material fully. The translation was done using artificial intelligence. Subsequently, a human revision was done primarily in terms of content.
Sustainable Materials and Technologies in VLSI and Information Processing
The conference aimed to converge advancements in semiconductor technology with sustainable practices, addressing the critical need for eco-consciousness in the field of Very Large Scale Integration (VLSI) and Information Processing.
Artificial Intelligence for Intrusion Detection Systems
This book is aligned with the cyber security issues and provides a wide view of the novel cyber-attacks and the defence mechanisms, especially AI-based IDS.
Algorithms in Advanced Artificial Intelligence
This is a collection of papers on emerging issues, challenges, and new methods in Artificial Intelligence, Machine Learning, Deep Learning, Cloud Computing, Federated Learning, Internet of Things, and Blockchain technology.
Modeling and Simulation of Complex Collective Systems
Providing a comprehensive overview of the modelling of complex systems, with particular emphasis on the collective aspects of these systems, this book situates itself at the forefront of available literature.
Industrial Engineering Strategy for Constructive Technologies
There is an urgent need to develop robust strategies to respond to and leverage new and emerging technologies, particularly those based on Artificial Intelligence. An Industrial Engineering's systems-focused approach offers the best mechanism to address this urgent global need.
Advances in Science, Engineering and Technology
The objective of the conference was to provide a common platform for innovative academicians and industrial experts working in the fields of sciences, engineering, and information technology. It provided a platform for knowledge exchange and the development of new ideas.
NLP Application
Applying Natural Language Processing (NLP) concepts to help humans in their daily life, this book discusses an automatic translation of an unstructured Natural Language Question (NLQ) into a Structured Query Language (SQL) statement.
Digital Product Management
This book equips readers with essential knowledge and skills in digital product management and covers key topics including understanding digital transformation, identifying market dynamics, and developing a comprehensive product strategy. A useful guide for product managers, entrepreneurs, and business leaders.
Transformative Applied Research in Computing, Engineering, Science and Technology
This was the first international conference conducted by NSBM Green University in Sri Lanka under the theme, "Breaking boundaries: pioneering solutions for global challenges". It focused on a diverse community of scholars, researchers and practitioners from around the globe to explore innovative approaches and breakthroughs in applied research across various disciplines, i.e., computing, engineering, science and technology. It dived into engaging discussions, presentations, and workshops covering a wide array of transformative topics, spanning from cutting-edge advancements in technology and science to impactful solutions addressing pressing societal challenges. It provided a pivotal opportunity for both seasoned experts and budding researchers to convene, fostering the exchange of vital information, cutting-edge research ideas or technology and innovative ideas, forge collaborations and shape the future of applied research.
Digital Product Management
Focusing on operational excellence, this book takes readers through the practicalities of product development, market launch, and ongoing product support. Perfect for product managers and professionals looking to refine their skills in execution, cross-functional collaboration, and operational growth.
10th Anniversary of Computation-Computational Heat and Mass Transfer (ICCHMT 2023)
This Special Issue of Computation presents 23 papers selected from the 14th International Conference on Computational Heat and Mass Transfer (ICCHMT2023), which was held in D羹sseldorf, Germany, 4-8 September 2023, and organized by the D羹sseldorf University of Applied Sciences. The ICCHMT2023 chairs were Prof. Dr. Ali Cemal Benim (Local Chair), Prof. Dr. Rachid Bennacer (Co-Chair), Prof. Abdulmajeed Mohamad (Founding Chair), Prof. Dr. Pawel Ocloń (Co-Chair), Prof. Dr. Sang-Ho Suh (Co-Chair), and Prof. Dr. Jan Taler (Co-Chair). The ICCHMT2023 had a great resonance in the technical and scientific communities all over the world. A total of 239 papers from more than 40 countries were presented at the conference. The selected 23 papers for the current Special Issue were then prepared in an extended form and subjected to a separate, regular peer review process steered by the editorial office of Computation.
Digital Product Management
This book equips readers with essential knowledge and skills in digital product management and covers key topics including understanding digital transformation, identifying market dynamics, and developing a comprehensive product strategy. A useful guide for product managers, entrepreneurs, and business leaders.
Digital Product Management
Focusing on operational excellence, this book takes readers through the practicalities of product development, market launch, and ongoing product support. Perfect for product managers and professionals looking to refine their skills in execution, cross-functional collaboration, and operational growth.
Verification, Validation, and Uncertainty Quantification in Scientific Computing
