- Table View
- List View
Handbook of Formal Analysis and Verification in Cryptography (Prospects in Pure and Applied Mathematics)
by Sedat Akleylek Besik DunduaThis handbook of formal analysis in cryptography is very important for secure communication and processing of information. It introduces readers to several formal verification methods and software used to analyse cryptographic protocols. The chapters give readers general knowledge and formal methods focusing on cryptographic protocols. Handbook of Formal Analysis and Verification in Cryptography includes major formalisms and tools used for formal verification of cryptography, with a spotlight on new-generation cryptosystems such as post-quantum, and presents a connection between formal analysis and cryptographic schemes. The text offers formal methods to show whether security assumptions are valid and compares the most prominent formalism and tools as they outline common challenges and future research directions. Graduate students, researchers, and engineers worldwide will find this an exciting read.
Handbook of Formal Optimization
by Amir H. Gandomi Anand J. KulkarniThe formal optimization handbook is a comprehensive guide that covers a wide range of subjects. It includes a literature review, a mathematical formulation of optimization methods, flowcharts and pseudocodes, illustrations, problems and applications, results and critical discussions, and much more. The book covers a vast array of formal optimization fields, including mathematical and Bayesian optimization, neural networks and deep learning, genetic algorithms and their applications, hybrid optimization methods, combinatorial optimization, constraint handling in optimization methods, and swarm-based optimization. This handbook is an excellent reference for experts and non-specialists alike, as it provides stimulating material. The book also covers research trends, challenges, and prospective topics, making it a valuable resource for those looking to expand their knowledge in this field.
Handbook of Fuzzy Computation
by Enrique H Ruspini; Piero P Bonissone; Witold PedryczInitially conceived as a methodology for the representation and manipulation of imprecise and vague information, fuzzy computation has found wide use in problems that fall well beyond its originally intended scope of application. Many scientists and engineers now use the paradigms of fuzzy computation to tackle problems that are either intractable
Handbook of Game-Based Learning (The\mit Press Ser.)
by Jan L. Plass Richard E. Mayer Bruce D. HomerA comprehensive introduction to the latest research and theory on learning and instruction with computer games.This book offers a comprehensive introduction to the latest research on learning and instruction with computer games. Unlike other books on the topic, which emphasize game development or best practices, Handbook of Game-Based Learning is based on empirical findings and grounded in psychological and learning sciences theory. The contributors, all leading researchers in the field, offer a range of perspectives, including cognitive, motivational, affective, and sociocultural. They explore research on whether (and how) computer games can help students learn educational content and academic skills; which game features (including feedback, incentives, adaptivity, narrative theme, and game mechanics) can improve the instructional effectiveness of these games; and applications, including games for learning in STEM disciplines, for training cognitive skills, for workforce learning, and for assessment. The Handbook offers an indispensable reference both for readers with practical interests in designing or selecting effective game-based learning environments and for scholars who conduct or evaluate research in the field. It can also be used in courses related to play, cognition, motivation, affect, instruction, and technology.ContributorsRoger Azevedo, Ryan S. Baker, Daphne Bavelier, Amanda E. Bradbury, Ruth C. Clark, Michele D. Dickey, Hamadi Henderson, Bruce D. Homer, Fengfeng Ke, Younsu Kim, Charles E. Kinzer, Eric Klopfer, James C. Lester, Kristina Loderer, Richard E. Mayer, Bradford W. Mott, Nicholas V. Mudrick, Brian Nelson, Frank Nguyen, V. Elizabeth Owen, Shashank Pawar, Reinhard Pekrun, Jan L. Plass, Charles Raffale, Jonathon Reinhardt, C. Scott Rigby, Jonathan P. Rowe, Richard M. Ryan, Ruth N. Schwartz, Quinnipiac Valerie J. Shute, Randall D. Spain, Constance Steinkuehler, Frankie Tam, Michelle Taub, Meredith Thompson, Steven L. Thorne, A. M. Tsaasan
Handbook of Geospatial Artificial Intelligence
by Song Gao Yingjie Hu Wenwen LiThis comprehensive handbook covers Geospatial Artificial Intelligence (GeoAI), which is the integration of geospatial studies and AI machine (deep) learning and knowledge graph technologies. It explains key fundamental concepts, methods, models, and technologies of GeoAI, and discusses the recent advances, research tools, and applications that range from environmental observation and social sensing to natural disaster responses. As the first single volume on this fast-emerging domain, Handbook of Geospatial Artificial Intelligence is an excellent resource for educators, students, researchers, and practitioners utilizing GeoAI in fields such as information science, environment and natural resources, geosciences, and geography. Features Provides systematic introductions and discussions of GeoAI theory, methods, technologies, applications, and future perspectives Covers a wide range of GeoAI applications and case studies in practice Offers supplementary materials such as data, programming code, tools, and case studies Discusses the recent developments of GeoAI methods and tools Includes contributions written by top experts in cutting-edge GeoAI topics This book is intended for upper-level undergraduate and graduate students from different disciplines and those taking GIS courses in geography or computer sciences as well as software engineers, geospatial industry engineers, GIS professionals in non-governmental organizations, and federal/state agencies who use GIS and want to learn more about GeoAI advances and applications.
Handbook of Grammatical Evolution
by Michael O'Neill Conor Ryan Jj CollinsThis handbook offers a comprehensive treatise on Grammatical Evolution (GE), a grammar-based Evolutionary Algorithm that employs a function to map binary strings into higher-level structures such as programs. GE's simplicity and modular nature make it a very flexible tool. Since its introduction almost twenty years ago, researchers have applied it to a vast range of problem domains, including financial modelling, parallel programming and genetics. Similarly, much work has been conducted to exploit and understand the nature of its mapping scheme, triggering additional research on everything from different grammars to alternative mappers to initialization. The book first introduces GE to the novice, providing a thorough description of GE along with historical key advances. Two sections follow, each composed of chapters from international leading researchers in the field. The first section concentrates on analysis of GE and its operation, giving valuable insight into set up and deployment. The second section consists of seven chapters describing radically different applications of GE. The contributions in this volume are beneficial to both novices and experts alike, as they detail the results and researcher experiences of applying GE to large scale and difficult problems. Topics include: • Grammar design • Bias in GE • Mapping in GE • Theory of disruption in GE · Structured GE · Geometric semantic GE · GE and semantics · Multi- and Many-core heterogeneous parallel GE · Comparing methods to creating constants in GE · Financial modelling with GE · Synthesis of parallel programs on multi-cores · Design, architecture and engineering with GE · Computational creativity and GE · GE in the prediction of glucose for diabetes · GE approaches to bioinformatics and system genomics · GE with coevolutionary algorithms in cybersecurity · Evolving behaviour trees with GE for platform games · Business analytics and GE for the prediction of patient recruitment in multicentre clinical trials
Handbook of Graph Theory (Discrete Mathematics And Its Applications Ser.)
by Ping Zhang Jonathan L. Gross Jay YellenIn the ten years since the publication of the best-selling first edition, more than 1,000 graph theory papers have been published each year. Reflecting these advances, Handbook of Graph Theory, Second Edition provides comprehensive coverage of the main topics in pure and applied graph theory. This second edition-over 400 pages longer than its prede
Handbook of Graph Theory, Combinatorial Optimization, and Algorithms (Chapman & Hall/CRC Computer and Information Science Series #34)
by Andreas Brandstädt Subramanian Arumugam Takao NishizekiThis handbook is the first to present a unified, comprehensive treatment of graph theory, combinatorial optimization, and related algorithmic issues. It covers numerous topics of interest in applications in electrical, communication, computer, social, transportation, biological, and other networks. The book provides readers with the algorithmic and theoretical foundations to understand phenomena as shaped by their graph structures, develop needed algorithmic and optimization tools for the study of graph structures, and design and plan graph structures that lead to certain desirable behavior.
Handbook of Graphical Models (Chapman & Hall/CRC Handbooks of Modern Statistical Methods)
by Steffen Lauritzen Martin Wainwright Marloes Maathuis Mathias DrtonA graphical model is a statistical model that is represented by a graph. The factorization properties underlying graphical models facilitate tractable computation with multivariate distributions, making the models a valuable tool with a plethora of applications. Furthermore, directed graphical models allow intuitive causal interpretations and have become a cornerstone for causal inference. While there exist a number of excellent books on graphical models, the field has grown so much that individual authors can hardly cover its entire scope. Moreover, the field is interdisciplinary by nature. Through chapters by leading researchers from different areas, this handbook provides a broad and accessible overview of the state of the art. Key features: * Contributions by leading researchers from a range of disciplines * Structured in five parts, covering foundations, computational aspects, statistical inference, causal inference, and applications * Balanced coverage of concepts, theory, methods, examples, and applications * Chapters can be read mostly independently, while cross-references highlight connections The handbook is targeted at a wide audience, including graduate students, applied researchers, and experts in graphical models.
Handbook of Green Computing and Blockchain Technologies (Green Engineering and Technology)
by Manju Khari Kavita SainiThis handbook provides a computational perspective on green computing and blockchain technologies. It presents not only how to identify challenges using a practical approach but also how to develop strategies for addressing industry challenges. Handbook of Green Computing and Blockchain Technologies takes a practical-oriented approach, including solved examples and highlights standardization, industry bodies, and initiatives. Case studies provide a deeper understanding of blockchain and are related to real-time scenarios. The handbook analyzes current research and development in green computing and blockchain analytics, studies existing related standards and technologies, and provides results on implementation, challenges, and issues in today’s society. FEATURES Analyzes current research developments in green computing and blockchain analytics Provides an analysis of implementation challenges and solutions Offers innovations in the decentralization process for the application of blockchain in areas such as healthcare, government services, agriculture, supply chain, financial, ecommerce, and more Discusses the impact of this technology on people’s lives, the way they work and learn, and highlights standardization, industry bodies, and initiatives This handbook will benefit researchers, software developers, and undergraduate and postgraduate students in industrial systems, manufacturing, information technology, computer science, manufacturing, communications, and electrical engineering.
Handbook of Green Engineering Technologies for Sustainable Smart Cities (Green Engineering and Technology)
by K. Saravanan; G. SakthinathanHandbook of Green Engineering Technologies for Sustainable Smart Cities focuses on the complete exploration and presentation of green smart city applications, techniques, and architectural frameworks. It provides detailed coverage of urban sustainability spanning across various engineering disciplines. The book discusses and explores green engineering technologies for smart cities and covers various engineering disciplines and environmental science. It emphasizes techniques, application frameworks, tools, and case studies. All chapters play a part in the evolution of sustainable green smart cities and present how to solve environmental issues by applying modern industrial IoT solutions. This book will benefit researchers, smart city practitioners, academicians, university students, and policy makers.
Handbook of Group Decision and Negotiation
by Colin Eden D. Marc KilgourThe field of Group Decision and Negotiation can be described as the empirical, formal, computational, and strategic analysis of group decision-making and negotiation, especially from the points of view of Management Science and Operations Research. Group Decision and Negotiation crosses many traditional disciplinary boundaries, and has connections to business administration and business strategy, management science, systems engineering, computer science, mathematics, and law, as well as economics, psychology, and other social sciences. The Handbook of Group Decision and Negotiation is intended to become the major reference in the field. The only current references are the highly successful journal Group Decision and Negotiation, as well as the books of the Advances in Group Decision and Negotiation series, and a few other journals. Researchers, students, and practitioners in this growing field sorely need a good general reference.
Handbook of Hardware/Software Codesign
by Jürgen Teich Soonhoi HaThis handbook presents fundamental knowledge on the hardware/software (HW/SW) codesign methodology. Contributing expert authors look at key techniques in the design flow as well as selected codesign tools and design environments, building on basic knowledge to consider the latest techniques. The book enables readers to gain real benefits from the HW/SW codesign methodology through explanations and case studies which demonstrate its usefulness. Readers are invited to follow the progress of design techniques through this work, which assists readers in following current research directions and learning about state-of-the-art techniques. Students and researchers will appreciate the wide spectrum of subjects that belong to the design methodology from this handbook.
Handbook of Heterogeneous Networking
by Raj RajgopalHere is all the practical, hands-on information you need to build, manage and maintain a heterogeneous computing environment with hardware, software, and network equipment from a number of different vendors. Packed with real-world case studies and proven techniques for integrating disparate platforms, operating systems and servers, Handbook of Heterogeneous Computing is a one-stop, non-nonsense guide that shows you how to: * port and develop applications in a heterogeneous environment* manage desktops, data access, communications, and security in a heterogeneous environment* and build distributed heterogeneous systems What is best for your installation? Should you standardize on the Windows environment for both production applications and office applications? Should you adopt the Windows NT workstation as a standard desktop and use Windows NT as the network operating system? Handbook of Heterogeneous Computing details the advantages and disadvantages of these and other approaches. The book also explains: * the arts of porting and developing applications in a heterogeneous environment using Java, CGI/Perl, and other tools * how to build interfaces with mainframe legacy systems * how to use CORBA to integrate distributed database systems while at the same time managing database gateways and interoperability * how to manage interlan switching, multicast networking structures, SNA-LAN integration, and all aspects of enterprise networks * and how to use Kerberos, firewalls, PGP, RSA public keys, and other tools to assure security in heterogeneous environments. Heterogeneous computing is here to stay. It is therefore up to corporate end-users to make competing products fit into their environments efficiently, effectively and economically. Handbook of Heterogeneous Computing gives you t
Handbook of Heuristics
by Panos M. Pardalos Rafael Martí Mauricio G. ResendeHeuristics are strategies using readily accessible, loosely applicable information to control problem solving. Algorithms, for example, are a type of heuristic. By contrast, Metaheuristics are methods used to design Heuristics and may coordinate the usage of several Heuristics toward the formulation of a single method. GRASP (Greedy Randomized Adaptive Search Procedures) is an example of a Metaheuristic. To the layman, heuristics may be thought of as ‘rules of thumb’ but despite its imprecision, heuristics is a very rich field that refers to experience-based techniques for problem-solving, learning, and discovery. Any given solution/heuristic is not guaranteed to be optimal but heuristic methodologies are used to speed up the process of finding satisfactory solutions where optimal solutions are impractical. The introduction to this Handbook provides an overview of the history of Heuristics along with main issues regarding the methodologies covered. This is followed by Chapters containing various examples of local searches, search strategies and Metaheuristics, leading to an analyses of Heuristics and search algorithms. The reference concludes with numerous illustrations of the highly applicable nature and implementation of Heuristics in our daily life. Each chapter of this work includes an abstract/introduction with a short description of the methodology. Key words are also necessary as part of top-matter to each chapter to enable maximum search engine optimization. Next, chapters will include discussion of the adaptation of this methodology to solve a difficult optimization problem, and experiments on a set of representative problems.
Handbook of Hidden Markov Models in Bioinformatics
by Martin GolleryDemonstrating that many useful resources, such as databases, can benefit most bioinformatics projects, the Handbook of Hidden Markov Models in Bioinformatics focuses on how to choose and use various methods and programs available for hidden Markov models (HMMs).The book begins with discussions on key HMM and related profile methods, incl
Handbook of Human Centric Visualization
by Weidong HuangVisualizations are visual representations of non-visual data. They are produced for people to interact with and to make sense of the underlying data. Rapid advances in display technology and computer power have enabled researchers to produce visually appealing pictures. However, the effectiveness of those pictures in conveying the embedded information to end users has not been fully explored. Handbook of Human Centric Visualization addresses issues related to design, evaluation and application of visualizations. Topics include visualization theories, design principles, evaluation methods and metrics, human factors, interaction methods and case studies. This cutting-edge book includes contributions from well-established researchers worldwide, from diverse disciplines including psychology, visualization and human-computer interaction. This handbook is designed for a professional audience composed of practitioners, lecturers and researchers working in the field of computer graphics, visualization, human-computer interaction and psychology. Undergraduate and postgraduate students in science and engineering focused on this topic will also find this book useful as a comprehensive textbook or reference.
Handbook of Human Computation
by Pietro MichelucciThis volume addresses the emerging area of human computation, The chapters, written by leading international researchers, explore existing and future opportunities to combine the respective strengths of both humans and machines in order to create powerful problem-solving capabilities. The book bridges scientific communities, capturing and integrating the unique perspective and achievements of each. It coalesces contributions from industry and across related disciplines in order to motivate, define, and anticipate the future of this exciting new frontier in science and cultural evolution. Readers can expect to find valuable contributions covering Foundations; Application Domains; Techniques and Modalities; Infrastructure and Architecture; Algorithms; Participation; Analysis; Policy and Security and the Impact of Human Computation. Researchers and professionals will find the Handbook of Human Computation a valuable reference tool. The breadth of content also provides a thorough foundation for students of the field.
Handbook of Human Factors for Automated, Connected, and Intelligent Vehicles
by John D. Lee Michael A. Regan Donald L. Fisher William J. HorreyHandbook of Human Factors for Automated, Connected, and Intelligent Vehicles Subject Guide: Ergonomics & Human Factors Automobile crashes are the seventh leading cause of death worldwide, resulting in over 1.25 million deaths yearly. Automated, connected, and intelligent vehicles have the potential to reduce crashes significantly, while also reducing congestion, carbon emissions, and increasing accessibility. However, the transition could take decades. This new handbook serves a diverse community of stakeholders, including human factors researchers, transportation engineers, regulatory agencies, automobile manufacturers, fleet operators, driving instructors, vulnerable road users, and special populations. It provides information about the human driver, other road users, and human–automation interaction in a single, integrated compendium in order to ensure that automated, connected, and intelligent vehicles reach their full potential. Features Addresses four major transportation challenges—crashes, congestion, carbon emissions, and accessibility—from a human factors perspective Discusses the role of the human operator relevant to the design, regulation, and evaluation of automated, connected, and intelligent vehicles Offers a broad treatment of the critical issues and technological advances for the designing of transportation systems with the driver in mind Presents an understanding of the human factors issues that are central to the public acceptance of these automated, connected, and intelligent vehicles Leverages lessons from other domains in understanding human interactions with automation Sets the stage for future research by defining the space of unexplored questions
Handbook of Human Factors in Web Design (Human Factors and Ergonomics)
by Robert W. Proctor Kim-Phuong L. VuThe Handbook of Human Factors in Web Design covers basic human factors issues relating to screen design, input devices, and information organization and processing, as well as addresses newer features which will become prominent in the next generation of Web technologies. These include multimodal interfaces, wireless capabilities, and agents t
Handbook of Human Motion
by Bertram Müller Sebastian I. Wolf Gert-Peter Brüggemann Zhigang Deng Andrew S. McIntosh Freeman Miller W. Scott SelbieThe Handbook of Human Motion is a large cross-disciplinary reference work which covers the many interlinked facets of the science and technology of human motion and its measurement. Individual chapters cover fundamental principles and technological developments, the state-of-the-art and consider applications across four broad and interconnected fields; medicine, sport, forensics and animation. The huge strides in technological advancement made over the past century make it possible to measure motion with unprecedented precision, but also lead to new challenges. This work introduces the many different approaches and systems used in motion capture, including IR and ultrasound, mechanical systems and video, plus some emerging techniques. The large variety of techniques used for the study of motion science in medicine can make analysis a complicated process, but extremely effective for the treatment of the patient when well utilised. The handbook describes how motion capture techniques are applied in medicine, and shows how the resulting analysis can help in diagnosis and treatment. A closely related field, sports science involves a combination of in-depth medical knowledge and detailed understanding of performance and training techniques, and motion capture can play an extremely important role in linking these disciplines. The handbook considers which technologies are most appropriate in specific circumstances, how they are applied and how this can help prevent injury and improve sporting performance. The application of motion capture in forensic science and security is reviewed, with chapters dedicated to specific areas including employment law, injury analysis, criminal activity and motion/facial recognition. And in the final area of application, the book describes how novel motion capture techniques have been designed specifically to aid the creation of increasingly realistic animation within films and video games, with Lord of the Rings and Avatar just two examples. Chapters will provide an overview of the bespoke motion capture techniques developed for animation, how these have influenced advances in film and game design, and the links to behavioural studies, both in humans and in robotics. Comprising a cross-referenced compendium of different techniques and applications across a broad field, the Handbook of Human Motion provides the reader with a detailed reference and simultaneously a source of inspiration for future work. The book will be of use to students, researchers, engineers and others working in any field relevant to human motion capture.
Handbook of Human-Machine Systems (IEEE Press Series on Human-Machine Systems)
by Giancarlo Fortino Andreas Nürnberger David Kaber David MendonçaHandbook of Human-Machine Systems Insightful and cutting-edge discussions of recent developments in human-machine systems In Handbook of Human-Machine Systems, a team of distinguished researchers delivers a comprehensive exploration of human-machine systems (HMS) research and development from a variety of illuminating perspectives. The book offers a big picture look at state-of-the-art research and technology in the area of HMS. Contributing authors cover Brain-Machine Interfaces and Systems, including assistive technologies like devices used to improve locomotion. They also discuss advances in the scientific and engineering foundations of Collaborative Intelligent Systems and Applications. Companion technology, which combines trans-disciplinary research in fields like computer science, AI, and cognitive science, is explored alongside the applications of human cognition in intelligent and artificially intelligent system designs, human factors engineering, and various aspects of interactive and wearable computers and systems. The book also includes: A thorough introduction to human-machine systems via the use of emblematic use cases, as well as discussions of potential future research challenges Comprehensive explorations of hybrid technologies, which focus on transversal aspects of human-machine systems Practical discussions of human-machine cooperation principles and methods for the design and evaluation of a brain-computer interface Perfect for academic and technical researchers with an interest in HMS, Handbook of Human-Machine Systems will also earn a place in the libraries of technical professionals practicing in areas including computer science, artificial intelligence, cognitive science, engineering, psychology, and neurobiology.
Handbook of IPv4 to IPv6 Transition: Methodologies for Institutional and Corporate Networks
by Daniel Minoli John J. AmossThe implementation of IPv6 is essential to the continued growth of the Internet and the development of new applications. The Handbook of IPv4 to IPv6 Transition Methodologies provides a wealth of best practices and procedures that will help corporations plan and implement a smooth transition to IPv6.A blueprint for successful transition, the Handbo
Handbook of Image Engineering
by Yu-Jin ZhangImage techniques have been developed and implemented for various purposes, and image engineering (IE) is a rapidly evolving, integrated discipline comprising the study of all the different branches of image techniques, and encompassing mathematics, physics, biology, physiology, psychology, electrical engineering, computer science and automation. Advances in the field are also closely related to the development of telecommunications, biomedical engineering, remote sensing, surveying and mapping, as well as document processing and industrial applications. IE involves three related and partially overlapping groups of image techniques: image processing (IP) (in its narrow sense), image analysis (IA) and image understanding (IU), and the integration of these three groups makes the discipline of image engineering an important part of the modern information era. This is the first handbook on image engineering, and provides a well-structured, comprehensive overview of this new discipline. It also offers detailed information on the various image techniques. It is a valuable reference resource for R&D professional and undergraduate students involved in image-related activities.
Handbook of Image Processing and Computer Vision: Volume 1: From Energy to Image
by Cosimo Distante Arcangelo DistanteAcross three volumes, the Handbook of Image Processing and Computer Vision presents a comprehensive review of the full range of topics that comprise the field of computer vision, from the acquisition of signals and formation of images, to learning techniques for scene understanding. The authoritative insights presented within cover all aspects of the sensory subsystem required by an intelligent system to perceive the environment and act autonomously. Volume 1 (From Energy to Image) examines the formation, properties, and enhancement of a digital image.Topics and features:• Describes the fundamental processes in the field of artificial vision that enable the formation of digital images from light energy• Covers light propagation, color perception, optical systems, and the analog-to-digital conversion of the signal• Discusses the information recorded in a digital image, and the image processing algorithms that can improve the visual qualities of the image• Reviews boundary extraction algorithms, key linear and geometric transformations, and techniques for image restoration• Presents a selection of different image segmentation algorithms, and of widely-used algorithms for the automatic detection of points of interest• Examines important algorithms for object recognition, texture analysis, 3D reconstruction, motion analysis, and camera calibration• Provides an introduction to four significant types of neural network, namely RBF, SOM, Hopfield, and deep neural networksThis all-encompassing survey offers a complete reference for all students, researchers, and practitioners involved in developing intelligent machine vision systems. The work is also an invaluable resource for professionals within the IT/software and electronics industries involved in machine vision, imaging, and artificial intelligence.Dr. Cosimo Distante is a Research Scientist in Computer Vision and Pattern Recognition in the Institute of Applied Sciences and Intelligent Systems (ISAI) at the Italian National Research Council (CNR). Dr. Arcangelo Distante is a researcher and the former Director of the Institute of Intelligent Systems for Automation (ISSIA) at the CNR. His research interests are in the fields of Computer Vision, Pattern Recognition, Machine Learning, and Neural Computation.