A classic in underwater robotics. One of the first volumes in the "Springer Tracts in Advanced Robotics" series, it has been a bestseller through the previous three editions. Fifteen years after the publication of the first edition, the fourth edition comes to print. The book addresses the main control aspects in underwater manipulation tasks. With respect to the third edition, it has been revised, extended and some concepts better clustered. The mathematical model with significant impact on the control strategy is discussed. The problem of controlling a 6-degrees-of-freedoms autonomous underwater vehicle is investigated and a survey of fault detection/tolerant strategies for unmanned underwater vehicles is provided. Inverse kinematics, dynamic and interaction control for underwater vehicle-manipulator systems are then discussed. The code used to generate most of the numerical simulations is made available and briefly discussed.

This book describes a variety of test generation algorithms for testing crosstalk delay faults in VLSI circuits. It introduces readers to the various crosstalk effects and describes both deterministic and simulation-based methods for testing crosstalk delay faults. The book begins with a focus on currently available crosstalk delay models, test generation algorithms for delay faults and crosstalk delay faults, before moving on to deterministic algorithms and simulation-based algorithms used to test crosstalk delay faults. Given its depth of coverage, the book will be of interest to design engineers and researchers in the field of VLSI Testing.

This book presents the state-of-the-art approach for transmission line protection schemes for smart power grid. It provides a comprehensive solution for real-time development of numerical relaying schemes for future power grids which can minimize cascade tripping and widespread blackout problems prevailing all around the world. The book also includes the traditional approach for transmission line protection along with issues and challenges in protection philosophy. It highlights the issues for sheltering power grid from unwanted hazards with very fundamental approach. The book follows a step-by-step approach for resolving critical issues like high impedance faults, power swing detection and auto-reclosing schemes with adaptive protection process. The book also covers the topic of hardware solution for real-time implementation of auto-reclosing scheme for transmission line protection schemes along with comparative analysis with the recently developed analytical approach such as Artificial Neural Network (ANN), Support Vector Machine (SVM) and other machine learning algorithms. It will be useful to researchers and industry professionals and students in the fields of power system protection.

This book covers ALL aspects of projected capacitive touch sensors including basic principles, the physics of PCAP, capacitance measurements, touch sensor materials and construction, electrical noise, software drivers, and testing. It is targeted at working engineers who are implementing touch into their products as well as anyone else with an interest in how touch screens work. * Offers readers the first book on the use of projected capacitive (PCAP) touch technology for touch screens; * Explains not only how PCAP touch works, but also addresses the implementation details an engineer needs when incorporating PCAP into their product; * Includes explanations of different cover lens materials, cover lens coatings, software drivers, touch testing, and many other areas of general knowledge that would be useful to a design engineer.

Since the publication of the first edition of "The Satellite Communication Applications Handbook", the satellite industry has experienced explosive growth thanks to a flood of innovations in consumer electronics, broadcasting, the Internet, transportation and broadband telecommunications. This second edition covers all the latest advances in satellite technology and applications and features new chapters on mobile digital audio radio and VSAT networks. It updates and expands upon the engineering and management topics addressed in the first edition. Engineers get the latest technical details into operations, architectures, and systems components. Managers are brought up to date with the latest business applications as well as regulatory and legal decisions affecting domestic and international markets. The treatment is also of value to marketing, legal, regulatory, and financial and operations professionals who must gain a clear understanding of the capabilities and issues associated with satellite space and ground facilities and services. You get real-world, first-hand insight into: defining a satellite network architecture to meet your organization's business or operational requirements; engineering criteria and design principles for TV and radio broadcasting, mobile and fixed telephony, and VSAT data communications; and addressing business and regulatory issues to ensure a successful satellite application. Whether you are new to the satellite industry and need a quick and thorough understanding of how satellite communications operate or are a veteran professional needing a refresher on issues not encountered day to day, "The Satellite Communication Applications Handbook, Second Edition" is a resource that can be referred to again and again.

This book gathers a set of works highlighting significant advances in the areas of music and sound. They report on innovative music technologies, acoustics, findings in musicology, new perspectives and techniques for composition, sound design and sound synthesis, and methods for music education and therapy. Further, they cover interesting topics at the intersection between music and computing, design and social sciences. Chapters are based on extended and revised versions of the best papers presented during the 6th and 7th editions of EIMAD-Meeting of Research in Music, Arts and Design, held in 2020 and 2021, respectively, at the School of Applied Arts in Castelo Branco, Portugal. All in all, this book provides music researchers, educators and professionals with authoritative information about new trends and techniques, and a source of inspiration for future research, practical developments, and for establishing collaboration between experts from different fields.

The book presents research from Rob|Arch 2018, the fourth international conference on robotic fabrication in architecture, art, and design. In capturing the myriad of scientific advances in robotics fabrication that are currently underway - such as collaborative design tools, computerised materials, adaptive sensing and actuation, advanced construction, on-site and cooperative robotics, machine-learning, human-machine interaction, large-scale fabrication and networked workflows, to name but a few - this compendium reveals how robotic fabrication is becoming a driver of scientific innovation, cross-disciplinary fertilization and creative capacity of an unprecedented kind.

This volume addresses issues revolving around the production of mediated cultural products across borders. More specifically, the authors consider cross-border cultural production in the film and television industries and how it affects and is affected by media centers, and, more recently, established production locations. The film and television industries have long been recognized as playing important economic, political and cultural roles. And while it could be argued that, historically, these forms of cultural production often have been international endeavors, the choice of production sites has become an especially contentious issue during the last few decades as global production has expanded. While some factions, notably from the US film and television industries, refer to this issue as "runaway production," this book looks at this issue in a much broader look at the implications and consequences of this phenomenon. Basically, cross-border production involves the expansion of production away from traditional centers, whether to other countries or to other locations within the same country. Thus, this study covers a wide range of issues involving economic and political considerations, as well as creative and aesthetic decision-making. This is an important book for those in communication, international business, and economics.

This book gathers state-of-the-art research contributions written by academics and researchers, which address emerging trends in system design and implementation for the Internet of Things (IoT), and discuss how to promote IoT technologies and applications. The book is chiefly intended for researchers and academics who want to get caught up with the latest trends in enabling technologies for IoT and related applications and services. However, it also includes chapters on the fundamentals of IoT, offering essential orientation for general readers.

For courses in Electronics and Electricity Technology Digital Fundamentals: A Systems Approach offers unique coverage of digital technology with a system emphasis, providing a fundamental grounding in the basic concepts of digital technology and systems reinforced by an abundance of illustrations, examples, applications, and exercises.

For courses in Advanced Topics in Electronic Communications. Comprehensive in scope and contemporary in coverage, this text explores modern digital and data communications systems, microwave radio communications systems, satellite communications systems, and optical fiber communications systems. This text is the last 10 chapters from the Tomasi Electronic Communications Systems: Fundamental Through Advanced, 5/e.

For introductory courses in Engineering and Computing Based on'Excel 2010, Engineering with Excel, 4e' takes a comprehensive look at using Excel in engineering.' This book focuses on applications and is intended to serve as both a textbook and a reference for students.

For one or two-semester courses in Microprocessors or Intel 16-32 Bit Chips. Future designers of microprocessor-based electronic equipment need a systems-level understanding of the 80x86 microcomputer. This text offers thorough, balanced, and practical coverage of both software and hardware topics. Basic concepts are developed using the 8088 and 8086 microprocessors, but the 32-bit versions of the 80x86 family are also discussed. The authors examine how to assemble, run, and debug programs, and how to build, test, and troubleshoot interface circuits.

A comprehensive introduction to network flows that brings together the classic and the contemporary aspects of the field, and provides an integrative view of theory, algorithms, and applications.

The book covers a wide range of wireless communication and network technologies, and will help readers understand the role of wireless technologies in applications touching on various spheres of human life, e.g. healthcare, agriculture, building smart cities, forecasting and the manufacturing industry. The book begins by discussing advances in wireless communication, including emerging trends and research directions for network technologies. It also highlights the importance of and need to actively develop these technologies. In turn, the book addresses different algorithms and methodologies which could be beneficial in implementing 5G Mobile Communication, Vehicular Ad-hoc Networks (VANET), Reliable Cooperative Networks, Delay Tolerant Networks (DTN) and many more contexts related to advanced communications. It then addresses the prominence of wireless communication in connection with the Internet of Things (IoT), Mobile Opportunistic Networks and Cognitive Radio Networks (CRN). Lastly, it presents the new horizons in architecture and building protocols for Li-Fi (Light-Fidelity) and Wearable Sensor Technology.

This is the fifth volume of a sub series on Road Vehicle Automation published within the Lecture Notes in Mobility. Like in previous editions, scholars, engineers and analysts from all around the world have contributed chapters covering human factors, ethical, legal, energy and technology aspects related to automated vehicles, as well as transportation infrastructure and public planning. The book is based on the Automated Vehicles Symposium which was hosted by the Transportation Research Board (TRB) and the Association for Unmanned Vehicle Systems International (AUVSI) in San Francisco, California (USA) in July 2017.

This book gathers high-quality papers presented at the International Conference on Smart Trends for Information Technology and Computer Communications (SmartCom 2019), organized by the Global Knowledge Research Foundation (GR Foundation) from 24 to 25 January 2019. It covers the state-of-the-art and emerging topics pertaining to information, computer communications, and effective strategies for their use in engineering and managerial applications. It also explores and discusses the latest technological advances in, and future directions for, information and knowledge computing and its applications.

This book comprises the peer-reviewed proceedings of the International Conference on Communications, Signal Processing and VLSI (IC2SV) 2019. It explores the recent advances in the fields of signal and image processing, wireless and mobile communications, embedded systems, VLSI, microwave, and antennas. The contents provide insights into present technological challenges and discusses the emerging applications of different imaging techniques and communications systems. Given the range of topics covered, this book can be useful for students as well as researchers interested in the area of communications, signal processing, and VLSI technologies.

Since overall circuit performance has depended primarily on transistor properties, previous efforts to enhance circuit and system speed were focused on transistors as well. During the last decade, however, the parasitic resistance, capacitance, and inductance associated with interconnections began to influence circuit performance and will be the primary factors in the evolution of nanoscale ULSI technology. Because metallic conductivity and resistance to electromigration of bulk copper (Cu) are better than aluminum, use of copper and low-k materials is now prevalent in the international microelectronics industry. As the feature size of the Cu-lines forming interconnects is scaled, resistivity of the lines increases. At the same time electromigration and stress-induced voids due to increased current density become significant reliability issues. Although copper/low-k technology has become fairly mature, there is no single book available on the promise and challenges of these next-generation technologies. In this book, a leader in the field describes advanced laser systems with lower radiation wavelengths, photolithography materials, and mathematical modeling approaches to address the challenges of Cu-interconnect technology.

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach chapters. All chapters contain many detailed examples explaining each of the introduced notions and definitions, well chosen sets of exercises with carefully written solutions, and sets of homework. While many logic books are available, they were written by logicians for logicians, not for computer scientists. They usually choose one particular way of presenting the material and use a specialized language. Logics for Computer Science discusses Gentzen as well as Hilbert formalizations, first order theories, the Hilbert Program, Godel's first and second incompleteness theorems and their proofs. It also introduces and discusses some many valued logics, modal logics and introduces algebraic models for classical, intuitionistic, and modal S4 and S5 logics. The theory of computation is based on concepts defined by logicians and mathematicians. Logic plays a fundamental role in computer science, and this book explains the basic theorems, as well as different techniques of proving them in classical and some non-classical logics. Important applications derived from concepts of logic for computer technology include Artificial Intelligence and Software Engineering. In addition to Computer Science, this book may also find an audience in mathematics and philosophy courses, and some of the chapters are also useful for a course in Artificial Intelligence.

This book is a collection of the best research papers presented at the 8th International Conference on Innovations in Electronics and Communication Engineering at Guru Nanak Institutions Hyderabad, India. Featuring contributions by researchers, technocrats and experts, the book covers various areas of communication engineering, like signal processing, VLSI design, embedded systems, wireless communications, and electronics and communications in general, as well as cutting-edge technologies. As such, it is a valuable reference resource for young researchers.

Graph spectral image processing is the study of imaging data from a graph frequency perspective. Modern image sensors capture a wide range of visual data including high spatial resolution/high bit-depth 2D images and videos, hyperspectral images, light field images and 3D point clouds. The field of graph signal processing - extending traditional Fourier analysis tools such as transforms and wavelets to handle data on irregular graph kernels - provides new flexible computational tools to analyze and process these varied types of imaging data. Recent methods combine graph signal processing ideas with deep neural network architectures for enhanced performances, with robustness and smaller memory requirements. The book is divided into two parts. The first is centered on the fundamentals of graph signal processing theories, including graph filtering, graph learning and graph neural networks. The second part details several imaging applications using graph signal processing tools, including image and video compression, 3D image compression, image restoration, point cloud processing, image segmentation and image classification, as well as the use of graph neural networks for image processing.