Saltar al contenido principal
Elsevier

Libros en Teoría y Matemáticas

  • Quantum Communication and Cryptography

    • 1 Edición
    • Walter O. Krawec
    • Inglés
    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
    • 1 Edición
    • Arletty Pinel + 2 más
    • Inglés
    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
    • 1 Edición
    • Fatma Bozkurt
    • Inglés
    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

    • 1 Edición
    • Seifedine Kadry + 5 más
    • Inglés
    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

    • 1 Edición
    • Shashi A. Chiplonkar + 1 más
    • Inglés
    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

    • 1 Edición
    • Stefan Tappertzhofen + 1 más
    • Inglés
    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
    • 1 Edición
    • Don Donghee Shin
    • Inglés
    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

    • 1 Edición
    • Daowen Qiu
    • Inglés
    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.

  • Statistical Modeling and Robust Inference for One-shot Devices

    • 1 Edición
    • Narayanaswamy Balakrishnan + 1 más
    • Inglés
    The study of one-shot devices such as automobile airbags, fire extinguishers, or antigen tests, is rapidly becoming an important problem in the area of reliability engineering. These devices, which are destroyed or must be rebuilt after use, are a particular case of extreme censoring, which makes the problem of estimating their reliability and lifetime challenging. However, classical statistical and inferential methods do not consider the issue of robustness.Statistic... Modeling and Robust Interference for One-shot Devices offers a comprehensive investigation of robust techniques of one-shot devices under accelerated-life tests. With numerous examples and case studies in which the proposed methods are applied, this book includes detailed R codes in selected chapters to help readers implement their own codes and use them in the proposed examples and in their own research on one-shot devicetesting data. Researchers, mathematicians, engineers, and students working on acceleratedlife testing data analysis and robust methodologies will find this to be a welcome resource.

  • Quantum Process Algebra

    • 1 Edición
    • Yong Wang
    • Inglés
    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

    • 1 Edición
    • Mohamed F. El-Amin
    • Inglés
    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

    • 1 Edición
    • Ayan Kumar Das + 3 más
    • Inglés
    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
    • 1 Edición
    • Raymond K. Y. Tong + 1 más
    • Inglés
    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.

  • Recent Trends in Swarm Intelligence Enabled Research for Engineering Applications

    • 1 Edición
    • Siddhartha Bhattacharyya + 3 más
    • Inglés
    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

    • 1 Edición
    • Agbotiname Lucky Imoize + 2 más
    • Inglés
    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.

  • Foundations of Quantum Programming

    • 2 Edición
    • Mingsheng Ying
    • Inglés
    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.

  • Smart Spaces

    • 1 Edición
    • Zhihan Lyu
    • Inglés
    Smart Spaces covers the latest concepts and technologies surrounding smart spaces, providing technical personnel engaged in smart space related research and industries a more in-depth understanding of smart spaces. This book can be used as a reference for practicing this emerging discipline, but it will also be useful for researchers, scientists, developers, practitioners, and graduate students working in the fields of smart spaces and artificial intelligence. It combines the study of working or living spaces with computing, information equipment, and multimodal sensing devices, and with natural and convenient interactive interfaces to support how people can easily obtain services from computer systems.People's work and life in smart spaces use computer systems; it is a process of uninterrupted interaction between people and the computer system. In this process, the computer is no longer just an information processing tool that passively executes explicit human operation commands but a collaborator with people to complete tasks – a partner to human beings. International research on smart spaces is quite extensive, which shows the important role of smart spaces in ubiquitous computing research.

  • Sequences and the de Bruijn Graph

    Properties, Constructions, and Applications
    • 1 Edición
    • Tuvi Etzion
    • Inglés
    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
    • 1 Edición
    • Stanislaw Raczynski
    • Inglés
    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
    • 1 Edición
    • Ali Mirjalili + 1 más
    • Inglés
    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

    • 1 Edición
    • Ievgen Redko + 4 más
    • Inglés
    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
    • 1 Edición
    • Mauro Migliardi + 2 más
    • Inglés
    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
    • 1 Edición
    • Fatos Xhafa + 2 más
    • Inglés
    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
    • 3 Edición
    • Matt Pharr + 2 más
    • Inglés
    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
    • 1 Edición
    • Siddhartha Bhattacharyya + 2 más
    • Inglés
    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

    • 1 Edición
    • Mingsheng Ying
    • Inglés
    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
    • 1 Edición
    • Peng Pan + 2 más
    • Inglés
    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
    • 1 Edición
    • Henry Hexmoor
    • Inglés
    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
    • 1 Edición
    • Gene H. Golub + 1 más
    • Inglés
    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

    • 1 Edición
    • Volumen 15
    • V. Kumar + 2 más
    • Inglés
    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

    • 1 Edición
    • Volumen 1
    • H. van der Vorst + 1 más
    • Inglés
    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

    • 1 Edición
    • M. A. Rosner + 2 más
    • Inglés
    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.

  • 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
    • 1 Edición
    • Volumen 20
    • L.J.M. Claesen + 1 más
    • Inglés
    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

    • 1 Edición
    • K. N. Dodd
    • Inglés
    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

    • 1 Edición
    • Xin-She Yang
    • Inglés
    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

    • 2 Edición
    • Herbert S. Wilf
    • Inglés
    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
    • 2 Edición
    • Volumen 103
    • H.P. Barendregt
    • Inglés
    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
    • 1 Edición
    • Michael T. Todinov
    • Inglés
    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

    • 2 Edición
    • Volumen 8
    • J.W. Cohen
    • Inglés
    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

    • 1 Edición
    • Marek Smoszna
    • Inglés
    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

    • 1 Edición
    • Michael R. Genesereth + 1 más
    • Inglés
    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
    • 1 Edición
    • Ivan B. Djordjevic
    • Inglés
    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

    • 1 Edición
    • Volumen 57
    • Masao
    • Inglés

  • Dynamic Programming

    Sequential Scientific Management
    • 1 Edición
    • Volumen 37
    • A. Kaufmann + 1 más
    • Inglés
    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

    • 1 Edición
    • Volumen 47
    • Brouwer
    • Inglés

  • Probabilities and Potential, B

    Theory of Martingales
    • 1 Edición
    • Volumen 72
    • C. Dellacherie + 1 más
    • Inglés

  • Theories of Computational Complexity

    • 1 Edición
    • Volumen 35
    • C. Calude
    • Inglés
    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
    • 1 Edición
    • Volumen 151
    • C. Dellacherie + 1 más
    • Inglés
    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

    • 1 Edición
    • Volumen 65
    • Lev D. Beklemishev
    • Inglés

  • Logic Colloquium 76, Proceedings of a conference

    • 1 Edición
    • Volumen 87
    • Lev D. Beklemishev
    • Inglés