Skip to main content
Elsevier

Books in Theory and mathematics

Our portfolio includes foundational theories, algorithms, formal methods, and computational complexity. Featuring rigorous research, mathematical frameworks, and practical applications, these titles support theorists, mathematicians, and computer scientists in advancing the theoretical underpinnings of computing. Addressing emerging areas like quantum algorithms and formal verification, the collection fuels innovation and scientific discovery.

  • Quantum Communication and Cryptography

    • 1st Edition
    • Walter O. Krawec
    • English
    Quantum Communication and Cryptography introduces readers to the theory of quantum cryptography, with a focus will on quantum key distribution (QKD) and more advanced quantum cryptographic protocols beyond QKD. It contains a brief introduction to the field of modern cryptography that is needed to fully appreciate and understand how quantum cryptographic systems are proven secure, and how they can be safely used in combination with current day classical systems. Readers are then introduced to quantum key distribution (QKD) - perhaps the most celebrated, and currently the most practical, of quantum cryptographic techniques.Basic protocols are described, and security proofs are given, providing readers with the knowledge needed to understand how QKD protocols are proven secure using modern, state- of-the-art definitions of security. Following this, more advanced QKD protocols are discussed, along with alternative quantum and classical methods to improve QKD performance. Finally, alternative quantum cryptographic protocols are covered, along with a discussion on some of the practical considerations of quantum secure communication technology. Throughout, protocols are described in a clear and consistent manner that still provides comprehensive, theoretical proofs and methods.

  • 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.

  • Complexity in Mathematical Biology for Sustainable Development

    Modeling Climate, Disease, and Ecosystems through Difference, Differential, and Fractional Theory
    • 1st Edition
    • Fatma Bozkurt
    • English
    Complexity in Mathematical Biology for Sustainable Development: Modeling Climate, Disease, and Ecosystems through Difference, Differential, and Fractional Theory introduces new mathematical methods to derive complex modeling solutions for a wide range of engineering and scientific research applications. The book strikes a balance between high-level mathematical theory and technical derivations, offering step-by-step explanations, real-world case studies, and clear introductions to advanced mathematical models. Solutions include modeling and quantifying complexity, with emphasis placed on the growing need for interdisciplinary collaboration, the integration of real-time data into models, and the development of adaptive frameworks challenges such as pandemics, biodiversity loss, and climate uncertainty.The book is designed to meet the needs of a diverse primary audience, from graduate students to professionals in fields such as computer science, public health, environmental policy, applied mathematics, and biotechnology. By providing both theoretical foundations and practical applications, the book equips readers with the skills and knowledge to tackle pressing global challenges through mathematical models, making it a valuable resource for both academic and professional development.

  • Quantum Cryptography and Annealing for Securing Industrial IoT

    • 1st Edition
    • Seifedine Kadry + 5 more
    • English
    Quantum Cryptography and Annealing for Securing Industrial IoT focuses on the rapidly evolving field of quantum security solutions for Industrial Internet of Things (IIoT) platforms, emphasizing the critical intersection of quantum cryptography, post-quantum cryptography, and their practical applications in IIoT. The book’s primary objective is to drive advancements that significantly intersect quantum cryptography in securing IIoT devices, elevate secure IIoT infrastructures, and optimize the overall delivery. Distinguishing itself by prioritizing practical applications, it offers a nuanced perspective on how technological integrations in quantum cryptosystems are actively employed in real-world scenarios. The authors meticulously examine the role of quantum cryptosystems in the design, analysis, and optimization of IIoT-specific hardware, covering their resilience to physical and side-channel attacks and evaluating performance. This book strikes a balance between theoretical concepts and practical applications, providing insights into the challenges and solutions encountered in applying quantum cryptographical principles to IIoT engineering problems.

  • Fundamentals of Statistics for Researchers and Data Analysts

    • 1st Edition
    • Shashi A. Chiplonkar + 1 more
    • English
    Fundamentals of Statistics for Researchers and Data Analysts explains statistical methods, and the assumptions and prerequisites for applying various analytical tools from an statistical point of view. Statistical analysis has become indispensable in almost all fields of science, business, industry and medicine, for evidence-based decision making and forecasting. However, due to lack of fundamental understanding of statistics, results of data analysis often remain inconclusive or erroneous. In addition, data analysts or even statistical advisers may not be familiar with the subject area of the data, leading to inaccurate application of statistical tools and interpretation of results. To address these issues, this book breaks down the concepts of statistics into accessible, practical explanations with real-world examples. The book is organized by first explaining what statistical thinking is and how one should proceed with formulating their question in terms of a statistical hypothesis. Then step by step, topics are explained in detail, including data generation by choice of proper study design, data collection methods, identifying outliers, methods of data analysis, and finally interpretation of results to help make the required decision. Essential statistical methods such as classification techniques, correlation analysis, regression models, probability distributions, model building and statistical tests of significance are explained with live datasets using Excel and SPSS. Fundamentals of Statistics for Researchers and Data Analysts instructs readers on the precise methodology of analyzing data and interpretation of statistical results to arrive at a valid conclusion. Readers can use the same methodology from the case studies given in the book for their own applications and research by replacing the variables in the examples with the variables from their own datasets. The book ensures that readers are well-prepared for data-driven roles in various sectors.

  • Quantum Technology

    • 1st Edition
    • Stefan Tappertzhofen + 1 more
    • English
    Quantum Technology introduces the readers to the fundamentals, materials, and devices for quantum technology applications.The author provides the reader with the key principles of quantum and solid-state physics, and electronic, magnetic and low-dimensional materials. Then, he introduces important advances towards realization of quantum technology such as quantum computing, quantum electronics, and cryogenics. Throughout, the author explores how understanding of materials, physics and nanotechnology can lead to practical implementation and design of devices and new technologies. Enabling technologies that underpin the design of materials, devices, and applications are also discussed.Quantum Technology is suitable for materials scientists, engineers and physicists working towards the realization of quantum technologies. It may be also of interest to computer scientists working in this area.

  • 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.

  • Theoretical Foundations of Quantum Computing

    • 1st Edition
    • Daowen Qiu
    • English
    Theoretical Foundations of Quantum Computing is an essential textbook for introductory courses in the quantum computing discipline. Quantum computing represents a paradigm shift in understanding computation. This textbook delves into the principles of quantum mechanics that underpin this revolutionary technology, making it invaluable for undergraduate and graduate students in computer science and related fields. Structured into eight meticulously crafted chapters, it covers everything from the historical context of quantum computing to advanced theories and applications. The book includes core topics such as basic models, quantum algorithms, cryptography, communication protocols, complexity, and error correction codes.Each chapter builds upon the last, ensuring a robust understanding of foundational concepts and cutting-edge research. It serves as both a foundational resource for students and a comprehensive guide for researchers interested in quantum computing. Its clarity makes it an excellent reference for deepening understanding or engaging in advanced research.

  • Quantum Process Algebra

    • 1st Edition
    • Yong Wang
    • English
    Quantum Process Algebra introduces readers to the algebraic properties and laws for quantum computing. The book provides readers with all aspects of algebraic theory for quantum computing, including the basis of semantics and axiomatization for quantum computing. With the assumption of a quantum system, readers will learn to solve the modeling of the three main components in a quantum system: the unitary operator, quantum measurement, and quantum entanglement, with full support of quantum and classical computing in closed systems. Next, the book establishes the relationship between probabilistic quantum bisimilarity and classical probabilistic bisimilarity, including strong probabilistic bisimilarity and weak probabilistic bisimilarity, which makes an axiomatization of quantum processes possible. With this framework, quantum and classical computing mixed processes are unified with the same structured operational semantics. Finally, the book establishes a series of axiomatizations of quantum process algebras. These process algebras support nearly all the main computation properties. Quantum and classical computing in closed quantum systems are unified with the same equational logic and the same structured operational semantics under the framework of ACP-like probabilistic process algebra. This unification means that the mathematics in the book can be used widely for verification of quantum and classical computing mixed systems, for example, most quantum communication protocols. ACP-like axiomatization also inherits the advantages of ACP, for example, and modularity means that it can be extended in an elegant way.

  • Fractional Modeling of Fluid Flow and Transport Phenomena

    • 1st Edition
    • Mohamed F. El-Amin
    • English
    Fractional Modeling of Fluid Flow and Transport Phenomena focuses on mathematical and numerical aspects of fractional-order modeling in fluid flow and transport phenomena. The book covers fundamental concepts, advancements, and practical applications, including modeling developments, numerical solutions, and convergence analysis for both time and space fractional order models. Various types of flows are explored, such as single- and multi-phase flows in porous media, involving different fluid types like Newtonian, non-Newtonian, nanofluids, and ferrofluids. This book serves as a comprehensive reference on fractional-order modeling of fluid flow and transport phenomena, offering a single resource that is currently unavailable.Fraction... modeling has gained traction in engineering and science, particularly in fluid dynamics and transport phenomena. However, its mathematical and numerical advancements have progressed relatively slowly compared to other aspects. Therefore, this book emphasizes the fractional-order modeling of fluid flow and transport phenomena to bridge this gap. Each chapter in the book delves into a specific topic closely related to the others, ensuring a cohesive and self-contained structure.

  • 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.

  • Foundations of Quantum Programming

    • 2nd Edition
    • Mingsheng Ying
    • English
    Foundations of Quantum Programming, Second Edition provides a systematic exposition of the subject of quantum programming. Emphasis is placed on foundational concepts, methods, and techniques that can be widely used for various quantum programming models and languages. The book describes how programming methodologies developed for current computers can be extended for quantum computers, along with new programming methodologies that can effectively exploit the unique power of quantum computing. In addition, this resource introduces a chain of quantum programming models from sequential to parallel and distributed programming in the paradigm of superposition-of-dat... to the paradigm of superposition-of-pro... content presents a series of logical and mathematical tools for verification and analysis of quantum programs, including invariant generation, termination analysis, and abstract interpretation.

  • 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.

  • Smart Sensors Networks

    Communication Technologies and Intelligent Applications
    • 1st Edition
    • Fatos Xhafa + 2 more
    • English
    Smart Sensors Networks: Communication Technologies and Intelligent Applications explores the latest sensor and sensor networks techniques and applications, showing how networked wireless sensors are used to monitor and gather intelligence from our surrounding environment. It provides a systematic look at the unique characteristics of wireless sensor networks through their usage in a broad range of areas, including healthcare for the elderly, energy consumption, industrial automation, intelligent transportation systems, smart homes and cities, and more. The book shows how sensor-networks work and how they are applied to monitor our surrounding environment. It explores the most important aspects of modern sensors technologies, providing insights on the newest technologies and the systems needed to operate them. Readers will find the book to be an entry point for understanding the fundamental differences between the various sensor technologies and their use in for different scenarios. Indexing: The books of this series are submitted to EI-Compendex and SCOPUS

  • Physically Based Rendering

    From Theory to Implementation
    • 3rd Edition
    • Matt Pharr + 2 more
    • English
    Physically Based Rendering: From Theory to Implementation, Third Edition, describes both the mathematical theory behind a modern photorealistic rendering system and its practical implementation. Through a method known as 'literate programming', the authors combine human-readable documentation and source code into a single reference that is specifically designed to aid comprehension. The result is a stunning achievement in graphics education. Through the ideas and software in this book, users will learn to design and employ a fully-featured rendering system for creating stunning imagery. This completely updated and revised edition includes new coverage on ray-tracing hair and curves primitives, numerical precision issues with ray tracing, LBVHs, realistic camera models, the measurement equation, and much more. It is a must-have, full color resource on physically-based rendering.

  • Quantum Inspired Computational Intelligence

    Research and Applications
    • 1st Edition
    • Siddhartha Bhattacharyya + 2 more
    • English
    Quantum Inspired Computational Intelligence: Research and Applications explores the latest quantum computational intelligence approaches, initiatives, and applications in computing, engineering, science, and business. The book explores this emerging field of research that applies principles of quantum mechanics to develop more efficient and robust intelligent systems. Conventional computational intelligence—or soft computing—is conjoined with quantum computing to achieve this objective. The models covered can be applied to any endeavor which handles complex and meaningful information.

  • Foundations of Quantum Programming

    • 1st Edition
    • Mingsheng Ying
    • English
    Foundations of Quantum Programming discusses how new programming methodologies and technologies developed for current computers can be extended to exploit the unique power of quantum computers, which promise dramatic advantages in processing speed over currently available computer systems. Governments and industries around the globe are now investing vast amounts of money with the expectation of building practical quantum computers. Drawing upon years of experience and research in quantum computing research and using numerous examples and illustrations, Mingsheng Ying has created a very useful reference on quantum programming languages and important tools and techniques required for quantum programming, making the book a valuable resource for academics, researchers, and developers.

  • 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.

  • Computational Network Science

    An Algorithmic Approach
    • 1st Edition
    • Henry Hexmoor
    • English
    The emerging field of network science represents a new style of research that can unify such traditionally-divers... fields as sociology, economics, physics, biology, and computer science. It is a powerful tool in analyzing both natural and man-made systems, using the relationships between players within these networks and between the networks themselves to gain insight into the nature of each field. Until now, studies in network science have been focused on particular relationships that require varied and sometimes-incompatib... datasets, which has kept it from being a truly universal discipline. Computational Network Science seeks to unify the methods used to analyze these diverse fields. This book provides an introduction to the field of Network Science and provides the groundwork for a computational, algorithm-based approach to network and system analysis in a new and important way. This new approach would remove the need for tedious human-based analysis of different datasets and help researchers spend more time on the qualitative aspects of network science research.

  • Scientific Computing

    An Introduction with Parallel Computing
    • 1st Edition
    • Gene H. Golub + 1 more
    • English
    This book introduces the basic concepts of parallel and vector computing in the context of an introduction to numerical methods. It contains chapters on parallel and vector matrix multiplication and solution of linear systems by direct and iterative methods. It is suitable for advanced undergraduate and beginning graduate courses in computer science, applied mathematics, and engineering. Ideally, students will have access to a parallel or Vector computer, but the material can be studied profitably in any case.

  • 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.

  • Analog and Hybrid Computing

    • 1st Edition
    • D. E. Hyndman
    • N. Hiller
    • English
    Analog and Hybrid Computing considers the fundamental aspects and principled of analog and hybrid computers and their applications in various scientific investigations. This book is composed of eight chapters, and begins with a brief presentation of the history of computing devices using a generalized flow diagram of computation, illustrating the fundamental differences between analog and digital computers. The subsequent chapters deal with the theory and the operation of the basic units found in electronic analog computers, the methods of scaling problems for the computer, and the organization and operation of computer. These topics are followed by discussions on the solutions of time-varying and non-linear differential equations and the simulation of transfer functions, which is an important aspect of analog computation. The concluding chapter describes some of the additional hardware in modern computers. These chapters particularly highlight the features and advantages of hybrid computing. This book is of value to computer engineers, scientists, and researchers, as well as advanced computer engineering students.

  • Higher Order Logic Theorem Proving and its Applications

    Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992
    • 1st Edition
    • Volume 20
    • L.J.M. Claesen + 1 more
    • English
    The HOL system is a higher order logic theorem proving system implemented at Edinburgh University, Cambridge University and INRIA. Its many applications, from the verification of hardware designs at all levels to the verification of programs and communication protocols are considered in depth in this volume. Other systems based on higher order logic, namely Nuprl and LAMBDA are also discussed. Features given particular consideration are: novel developments in higher order logic and its implementations in HOL; formal design and verification methodologies for hardware and software; public domain availability of the HOL system. Papers addressing these issues have been divided as follows: Mathematical Logic; Induction; General Modelling and Proofs; Formalizing and Modelling of Automata; Program Verification; Hardware Description Language Semantics; Hardware Verification Methodologies; Simulation in Higher Order Logic; Extended Uses of Higher Order Logic. Academic and industrial researchers involved in formal hardware and software design and verification methods should find the publication especially interesting and it is hoped it will also provide a useful reference tool for those working at software institutes and within the electronics industries.

  • Logical Design for Computers and Control

    • 1st Edition
    • K. N. Dodd
    • English
    Logical Design for Computers and Control Logical Design for Computers and Control gives an introduction to the concepts and principles, applications, and advancements in the field of control logic. The text covers topics such as logic elements; high and low logic; kinds of flip-flops; binary counting and arithmetic; and Boolean algebra, Boolean laws, and De Morgan's theorem. Also covered are topics such as electrostatics and atomic theory; the integrated circuit and simple control systems; the conversion of analog to digital systems; and computer applications and control. The book is recommended for engineering students who are in need of an introductory material to control logic and its applications on computers.

  • Nature-Inspired Optimization Algorithms

    • 1st Edition
    • Xin-She Yang
    • English
    Nature-Inspired Optimization Algorithms provides a systematic introduction to all major nature-inspired algorithms for optimization. The book's unified approach, balancing algorithm introduction, theoretical background and practical implementation, complements extensive literature with well-chosen case studies to illustrate how these algorithms work. Topics include particle swarm optimization, ant and bee algorithms, simulated annealing, cuckoo search, firefly algorithm, bat algorithm, flower algorithm, harmony search, algorithm analysis, constraint handling, hybrid methods, parameter tuning and control, as well as multi-objective optimization. This book can serve as an introductory book for graduates, doctoral students and lecturers in computer science, engineering and natural sciences. It can also serve a source of inspiration for new applications. Researchers and engineers as well as experienced experts will also find it a handy reference.

  • Generating Functionology

    • 2nd Edition
    • Herbert S. Wilf
    • English
    This is the Second Edition of the highly successful introduction to the use of generating functions and series in combinatorial mathematics. This new edition includes several new areas of application, including the cycle index of the symmetric group, permutations and square roots, counting polyominoes, and exact covering sequences. An appendix on using the computer algebra programs MAPLE(r) and Mathematica(r) to generate functions is also included. The book provides a clear, unified introduction to the basic enumerative applications of generating functions, and includes exercises and solutions, many new, at the end of each chapter.

  • The Lambda Calculus

    Its Syntax and Semantics
    • 2nd Edition
    • Volume 103
    • H.P. Barendregt
    • English
    The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.

  • 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.

  • The Single Server Queue

    • 2nd Edition
    • Volume 8
    • J.W. Cohen
    • English
    This classic work, now available in paperback, concentrates on the basic models of queueing theory. It has a dual aim: to describe relevant mathematical techniques and to analyse the single server queue and its most important variants.

  • 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.

  • Logical Foundations of Artificial Intelligence

    • 1st Edition
    • Michael R. Genesereth + 1 more
    • English
    Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial Intelligence is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint of logic.The first section of the book introduces the logicist approach to AI--discussing the representation of declarative knowledge and featuring an introduction to the process of conceptualization, the syntax and semantics of predicate calculus, and the basics of other declarative representations such as frames and semantic nets. This section also provides a simple but powerful inference procedure, resolution, and shows how it can be used in a reasoning system.The next several chapters discuss nonmonotonic reasoning, induction, and reasoning under uncertainty, broadening the logical approach to deal with the inadequacies of strict logical deduction. The third section introduces modal operators that facilitate representing and reasoning about knowledge. This section also develops the process of writing predicate calculus sentences to the metalevel--to permit sentences about sentences and about reasoning processes. The final three chapters discuss the representation of knowledge about states and actions, planning, and intelligent system architecture.End-of-... bibliographic and historical comments provide background and point to other works of interest and research. Each chapter also contains numerous student exercises (with solutions provided in an appendix) to reinforce concepts and challenge the learner. A bibliography and index complete this comprehensive work.

  • Quantum Information Processing and Quantum Error Correction

    An Engineering Approach
    • 1st Edition
    • Ivan B. Djordjevic
    • English
    Quantum Information Processing and Quantum Error Correction is a self-contained, tutorial-based introduction to quantum information, quantum computation, and quantum error-correction. Assuming no knowledge of quantum mechanics and written at an intuitive level suitable for the engineer, the book gives all the essential principles needed to design and implement quantum electronic and photonic circuits. Numerous examples from a wide area of application are given to show how the principles can be implemented in practice. This book is ideal for the electronics, photonics and computer engineer who requires an easy- to-understand foundation on the principles of quantum information processing and quantum error correction, together with insight into how to develop quantum electronic and photonic circuits. Readers of this book will be ready for further study in this area, and will be prepared to perform independent research. The reader completed the book will be able design the information processing circuits, stabilizer codes, Calderbank-Shor-Stea... (CSS) codes, subsystem codes, topological codes and entanglement-assiste... quantum error correction codes; and propose corresponding physical implementation. The reader completed the book will be proficient in quantum fault-tolerant design as well. Unique Features Unique in covering both quantum information processing and quantum error correction – everything in one book that an engineer needs to understand and implement quantum-level circuits. Gives an intuitive understanding by not assuming knowledge of quantum mechanics, thereby avoiding heavy mathematics. In-depth coverage of the design and implementation of quantum information processing and quantum error correction circuits. Provides the right balance among the quantum mechanics, quantum error correction, quantum computing and quantum communication. Dr. Djordjevic is an Assistant Professor in the Department of Electrical and Computer Engineering of College of Engineering, University of Arizona, with a joint appointment in the College of Optical Sciences. Prior to this appointment in August 2006, he was with University of Arizona, Tucson, USA (as a Research Assistant Professor); University of the West of England, Bristol, UK; University of Bristol, Bristol, UK; Tyco Telecommunications, Eatontown, USA; and National Technical University of Athens, Athens, Greece. His current research interests include optical networks, error control coding, constrained coding, coded modulation, turbo equalization, OFDM applications, and quantum error correction. He presently directs the Optical Communications Systems Laboratory (OCSL) within the ECE Department at the University of Arizona.

  • Network Flow, Transportation, and Scheduling; Theory and Algorithms

    • 1st Edition
    • Volume 57
    • Masao
    • English

  • Dynamic Programming

    Sequential Scientific Management
    • 1st Edition
    • Volume 37
    • A. Kaufmann + 1 more
    • English
    This work discusses the value of dynamic programming as a method of optimization for the sequential phenomena encountered in economic studies or in advanced technological programs such as those associated with space flights. The dynamic programs which are considered are defined for a deterministic universe, or one with probabilities; both categories are of equal importance in the practice of operations research or of scientific management.

  • Problems in the Philosophy of Mathematics

    • 1st Edition
    • Volume 47
    • Brouwer
    • English

  • Probabilities and Potential, B

    Theory of Martingales
    • 1st Edition
    • Volume 72
    • C. Dellacherie + 1 more
    • English

  • Theories of Computational Complexity

    • 1st Edition
    • Volume 35
    • C. Calude
    • English
    This volume presents four machine-independent theories of computational complexity, which have been chosen for their intrinsic importance and practical relevance. The book includes a wealth of results - classical, recent, and others which have not been published before.In developing the mathematics underlying the size, dynamic and structural complexity measures, various connections with mathematical logic, constructive topology, probability and programming theories are established. The facts are presented in detail. Extensive examples are provided, to help clarify notions and constructions. The lists of exercises and problems include routine exercises, interesting results, as well as some open problems.

  • Probabilities and Potential, C

    Potential Theory for Discrete and Continuous Semigroups
    • 1st Edition
    • Volume 151
    • C. Dellacherie + 1 more
    • English
    This third volume of the monograph examines potential theory. The first chapter develops potential theory with respect to a single kernel (or discrete time semigroup). All the essential ideas of the theory are presented: excessive functions, reductions, sweeping, maximum principle. The second chapter begins with a study of the notion of reduction in the most general situation possible - the ``gambling house'' of Dubins and Savage. The beautiful results presented have never been made accessible to a wide public. These are then connected with the theory of sweeping with respect to a cone of continuous functions, and the integral representation in compact convex sets. The third chapter presents new or little-known results, with the aim of illustrating the effectiveness of capacitary methods in the most varied fields. The last two chapters are concerned with the theory of resolvents.The fourth and last part of the English edition will be devoted to the theory of Markov processes.

  • Combinatory Logic

    • 1st Edition
    • Volume 65
    • Lev D. Beklemishev
    • English

Related subjects