Error detecting codes are very popular for error control in practical systems for two reasons. First, such codes can be used to provide any desired reliability of communication over any noisy channel. Second, implementation is usually much simpler than for a system using error correcting codes. To consider a particular code for use in such a system, it is very important to be able to calculate or estimate the probability of undetected error. For the binary symmetric channel, the probability of undetected error can be expressed in terms of the weight distribution of the code. The first part of the book gives a detailed description of all known methods to calculate or estimate the probability of undetected error, for the binary symmetric channel in particular, but a number of other channel models are also considered. The second part of the book describes a number of protocols for feedback communication systems (ARQ systems), with methods for optimal choice of error detecting codes for the protocols. Results have been collected from many sources and given a unified presentation. The results are presented in a form which make them accessible to the telecommunication system designer as well as the coding theory researcher and student. The system designer may find the presentation of CRC codes as well as the system performance analysis techniques particularly useful. The coding theorist will find a detailed account of a part of coding theory which is usually just mentioned in most text books and which contains a number of interesting and useful results as well as many challenging open problems. Audience: Essential for students, practitioners and researchers working in communications and coding theory. An excellent text for an advanced course on the subject.

- Written by world-leading subject specialist in both sport management and artificial intelligence - Includes interviews with elite sports managers and coaches - Examines the competitive advantages offered by AI to a wide-range of areas including Recruitment, Performance & Tactics, Health & Fitness, Pedagogy, Broadcasting, eSports, Gambling, and Stadium Design

Healthcare has become an extremely important and relevant topic in day to day discussions ever since the COVID-19 pandemic has been encountered by the global population. This has led to a renewed focus and attention that researchers from every discipline have put in to realize better strategies for healthcare management in general. This book is an attempt to put to use recent advancements in the field of the Internet of Medical Things often called IoMT, which is an extension of IoT for real-time, data analytics-driven prompt and quality healthcare to global citizens. Security has been always a challenge with pervasive technologies like IoMT and IoT, and thus usage of disruptive technology like blockchain to offset the security concerns that surround the data and network management. Therefore, this book is an honest attempt to provide directions to applied areas of research in IoMT for healthcare with the aid and help of Blockchain Technologies.

Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems describes coding approaches for designing fault-tolerant systems, i.e., systems that exhibit structured redundancy that enables them to distinguish between correct and incorrect results or between valid and invalid states. Since redundancy is expensive and counter-intuitive to the traditional notion of system design, the book focuses on resource-efficient methodologies that avoid excessive use of redundancy by exploiting the algorithmic/dynamic structure of a particular combinational or dynamic system. The first part of Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems focuses on fault-tolerant combinational systems providing a review of von Neumann's classical work on Probabilistic Logics (including some more recent work on noisy gates) and describing the use of arithmetic coding and algorithm-based fault-tolerant schemes in algebraic settings. The second part of the book focuses on fault tolerance in dynamic systems. Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems also discusses how, in a dynamic system setting, one can relax the traditional assumption that the error-correcting mechanism is fault-free by using distributed error correcting mechanisms. The final chapter presents a methodology for fault diagnosis in discrete event systems that are described by Petri net models; coding techniques are used to quickly detect and identify failures. From the Foreword "Hadjicostis has significantly expanded the setting to processes occurring in more general algebraic and dynamic systems... The book responds to the growing need to handle faults in complex digital chips and complex networked systems, and to consider the effects of faults at the design stage rather than afterwards." George Verghese, Massachusetts Institute of Technology Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems will be of interest to both researchers and practitioners in the area of fault tolerance, systems design and control.

Modern power systems have undergone tremendous progress due to the implementation of new technologies. With these advancements, the standards for insulation materials must be enhanced and revitalized. Accelerating the Discovery of New Dielectric Properties in Polymer Insulation is a pivotal source of academic research on emerging trends in the properties, applications, and developments of polymer dielectrics. Highlighting a range of relevant perspectives on topics such as high thermal conductivity, power storage, and wind energy, this book is ideally designed for students, professionals, academics, and practitioners interested in the optimization of power system infrastructures.

This book provides an in-depth introduction to all major control and stability issues related to microgrids. It is the first book to offer a comprehensive look into the methodologies and philosophies behind system modeling, coordinated control, and protection for developing reliable, robust, and efficient operation of modular uninterruptible power supply systems. For each topic, a theoretical introduction and overview are backed by concrete programming examples that enable the reader to thoroughly understand the topic and develop and conduct simulation models.

'Microprocessor Technology' provides a complete introduction to the subject of microprocessor technology using the Z80 and 6502 processors. An emphasis on fault-finding and repair makes this an ideal text for servicing courses including City & Guilds 2240 in the UK, microelectronics units on BTEC National/Advanced GNVQ and City & Guilds 7261 Microprocessor Technology. It will also provide a refresher course for those on 'bridging' and micro appreciation courses where a measure of comparative studies is required. Clear and concise explanations are supported by worked examples, tutorials, long answer questions and assignments giving students the opportunity to test their knowledge as they progress through the course as well as providing an essential revision tool in the run-up to exams.

Perfectly-secure cryptography is a branch of information-theoretic cryptography. A perfectly-secure cryptosystem guarantees that the malicious third party cannot guess anything regarding the plain text or the key, even in the case of full access to the cipher text. Despite this advantage, there are only a few real-world implementations of perfect secrecy due to some well-known limitations. Any simple, straightforward modeling can pave the way for further advancements in the implementation, especially in environments with time and resource constraints such as IoT. This book takes one step towards this goal via presenting a hybrid combinatorial-Boolean model for perfectly-secure cryptography in IoT. In this book, we first present an introduction to information-theoretic cryptography as well as perfect secrecy and its real-world implementations. Then we take a systematic approach to highlight information-theoretic cryptography as a convergence point for existing trends in research on cryptography in IoT. Then we investigate combinatorial and Boolean cryptography and show how they are seen almost everywhere in the ecosystem and the life cycle of information-theoretic IoT cryptography. We finally model perfect secrecy in IoT using Boolean functions, and map the Boolean functions to simple, well-studied combinatorial designs like Latin squares. This book is organized in two parts. The first part studie s information-theoretic cryptography and the promise it holds for cryptography in IoT. The second part separately discusses combinatorial and Boolean cryptography, and then presents the hybrid combinatorial-Boolean model for perfect secrecy in IoT.

This book gives an overview of existing models that cover the whole lifecycle of an IoT application, ranging from its design, implementation, deployment, operation, and monitoring to its final termination and retirement. Models provide abstraction and can help IoT application developers into creating more robust, secure, and reliable applications. Furthermore, adaptation of applications can be eased by using these models, leading to an increased dynamic of the developed IoT applications. In the book, research of the last years in the area of model based approaches to the Internet of Things is described and these approaches are incorporated into the lifecycle of IoT applications. Finally, use cases from different domains are introduced that show how these models could be applied in real-world applications.

This book gathers the latest research findings on emerging trends in 5G and beyond wireless systems. The authors present and assess different enabling technologies, capabilities, and anticipated communications and computing solutions for 5G and beyond. Topics discussed include new frequency bands, new multiple antenna systems, massive D2D connectivity, new network deployment, and more. These discussions help the readers to understand more advanced research materials for developing new ideas to make a contribution in this field for themselves. This book aims to serve as a virtual and effective bridge between academic research in theory and engineering development in practice. Students, professional, and practitioners who seek to learn the latest development in wireless technologies should find interest in this book.

This book presents Proceedings of the International Conference on Intelligent Systems and Networks (ICISN 2022), held at Hanoi in Vietnam. It includes peer reviewed high quality articles on Intelligent System and Networks. It brings together professionals and researchers in the area and presents a platform for exchange of ideas and to foster future collaboration. The topics covered in this book include- Foundations of Computer Science; Computational Intelligence Language and speech processing; Software Engineering Software development methods; Wireless Communications Signal Processing for Communications; Electronics track IoT and Sensor Systems Embedded Systems; etc.

This book presents part of the proceedings of the Manufacturing and Materials track of the iM3F 2021 conference held in Malaysia. This collection of articles deliberates on the key challenges and trends related to manufacturing as well as materials engineering and technology in setting the stage for the world in embracing the Fourth Industrial Revolution. It presents recent findings with regard to manufacturing and materials that are pertinent toward the realizations and ultimately the embodiment of Industry 4.0, with contributions from both industry and academia.

This book is the first systematic exposition on the emerging domain of wireless power transfer in ad hoc communication networks. It selectively spans a coherent, large spectrum of fundamental aspects of wireless power transfer, such as mobility management in the network, combined wireless power and information transfer, energy flow among network devices, joint activities with wireless power transfer (routing, data gathering and solar energy harvesting), and safety provisioning through electromagnetic radiation control, as well as fundamental and novel circuits and technologies enabling the wide application of wireless powering. Comprising a total of 27 chapters, contributed by leading experts, the content is organized into six thematic sections: technologies, communication, mobility, energy flow, joint operations, and electromagnetic radiation awareness. It will be valuable for researchers, engineers, educators, and students, and it may also be used as a supplement to academic courses on algorithmic applications, wireless protocols, distributed computing, and networking.

The Finite-Difference Time-domain (FDTD) method allows you to compute electromagnetic interaction for complex problem geometries with ease. The simplicity of the approach coupled with its far-reaching usefulness, create the powerful, popular method presented in The Finite Difference Time Domain Method for Electromagnetics. This volume offers timeless applications and formulations you can use to treat virtually any material type and geometry.
The Finite Difference Time Domain Method for Electromagnetics explores the mathematical foundations of FDTD, including stability, outer radiation boundary conditions, and different coordinate systems. It covers derivations of FDTD for use with PEC, metal, lossy dielectrics, gyrotropic materials, and anisotropic materials. A number of applications are completely worked out with numerous figures to illustrate the results. It also includes a printed FORTRAN 77 version of the code that implements the technique in three dimensions for lossy dielectric materials.
There are many methods for analyzing electromagnetic interactions for problem geometries. With The Finite Difference Time Domain Method for Electromagnetics, you will learn the simplest, most useful of these methods, from the basics through to the practical applications.

Power System Operation and Planning under Uncertainty provides the mathematical models and tools needed to plan and operate future power systems. It discusses the challenging task of the integration of a high penetration of renewable energies and electric vehicles within existing power systems. This book explores the uncertainty faced by power systems that is associated with the evolution of capital costs, technical developments of immature renewable technologies and energy storage systems, the number of electrical vehicles, and the participation of electricity end users in demand response programs. It helps provide solutions, and points to areas of further research that will help resolve. The models, tools and techniques described in this book are of interest for researches of energy systems, professionals working as power system planners or operators, and for graduate students in power engineering and operations research.

This volume presents the refereed proceedings of the Conference in Operator The ory in Honour of Moshe Livsic 80th Birthday, held June 29 to July 4, 1997, at the Ben-Gurion University of the Negev (Beer-Sheva, Israel) and at the Weizmann In stitute of Science (Rehovot, Israel). The volume contains papers in operator theory and its applications (understood in a very wide sense), many of them reflecting, 1 directly or indirectly, a profound impact of the work of Moshe Livsic. Moshe (Mikhail Samuilovich) Livsic was born on July 4, 1917, in the small town of Pokotilova near Uman, in the province of Kiev in the Ukraine; his family moved to Odessa when he was four years old. In 1933 he enrolled in the Department of Physics and Mathematics at the Odessa State University, where he became a student of M. G. Krein and an active participant in Krein's seminar - one of the centres where the ideas and methods of functional analysis and operator theory were being developed. Besides M. G. Krein, M. S. Livsic was strongly influenced B. Va. Levin, an outstanding specialist in the theory of analytic functions. A by deep understanding of operator theory as well as function theory and a penetrating search of connections between the two, were to become one of the landmarks of M. S. Livsic's work. M. S. Livsic defended his Ph. D.

The volume contains peer-reviewed proceedings of EPREC 2021 with a focus on control applications in the modern power system. The book includes original research and case studies that present recent developments in the control system, especially load frequency control, wide-area monitoring, control & instrumentation, optimization, intelligent control, energy management system, SCADA systems, etc. The book will be a valuable reference guide for beginners, researchers, and professionals interested in advancements in the control system.

This book focuses on the analytical modeling of fractional-slot concentrated-wound (FSCW) interior permanent magnet (IPM) machines and establishes a basis for their magnetic and electrical analysis. Aiming at the precise modeling of FSCW IPM machines' magnetic and electrical characteristics, it presents a comprehensive mathematical treatment of the stator magneto-motive force (MMF), the IPM rotor non-homogeneous magnetic saturation, and its airgap flux density. The FSCW stator spatial MMF harmonics are analytically formulated, providing a basis on which a novel heuristic algorithm is then proposed for the design of optimal winding layouts for multiphase FSCW stators with different slot/pole combinations. In turn, the proposed mathematical models for the FSCW stator and the IPM rotor are combined to derive detailed mathematical expressions of its operational inductances, electromagnetic torque, torque ripple and their respective subcomponents, as a function of the machine geometry and design parameters. Lastly, the proposed theories and analytical models are validated using finite element analysis and experimental tests on a prototype FSCW IPM machine.

The reliability of induction motors is a major requirement in many industrial applications. It is especially important where an unexpected breakdown might result in the interruption of critical services such as military operations, transportation, aviation, and medical applications. Advanced Condition Monitoring and Fault Diagnosis of Electric Machines is a collection of innovative research on various issues related to machinery condition monitoring, signal processing and conditioning, instrumentation and measurements, and new trends in condition monitoring. It also pays special attention to the fault identification process. While highlighting topics including spectral analysis, electrical engineering, and bearing faults, this book is an ideal reference source for electrical engineers, mechanical engineers, researchers, and graduate-level students seeking current research on various methods of maintaining machinery.

Provides a comprehensive guide to measurements with lasers Examines the design of optical and laser-based instruments Reviews the development of measurement strategies Includes two new chapters on self-mixing interferometry and quantum sensing Includes end of chapter problems

The computer hardware and software industry is committed to using formal methods. As a result, it is crucial that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge. Yet many textbooks typically emphasize automata theory only, not logic, thus losing a valuable opportunity to tie these subjects together and reinforce learning. In fact, automata theory and logic evolved hand-in-hand, yet this connection was severed in the '70s as separate automata-theory and logic courses became possible. Now, with computer science departments suffering from overcrowded syllabi, it is often possible for undergraduates to get a BS without having had to take a course in mathematical logic Today's students want to know how knowledge can work for them - learning theory as a tool is preferable to learning theory for theory's sake. To prove that theoretical tenents are not only applicable, but also necessary and relevant, useful examples must be presented. This textbook uses interactive tools throughout, such as simple BDD and SAT tools. shown to be both inviting and current. Topics are also illustrated in multiple domains so that information is reinforced and students can begin to tie theory and logic together. Having used this book, students will not only know and understand automata theory, but also be able to apply their knowledge in real practice.

This book provides an in-depth overview of artificial intelligence and deep learning approaches with case studies to solve problems associated with biometric security such as authentication, indexing, template protection, spoofing attack detection, ROI detection, gender classification etc. This text highlights a showcase of cutting-edge research on the use of convolution neural networks, autoencoders, recurrent convolutional neural networks in face, hand, iris, gait, fingerprint, vein, and medical biometric traits. It also provides a step-by-step guide to understanding deep learning concepts for biometrics authentication approaches and presents an analysis of biometric images under various environmental conditions. This book is sure to catch the attention of scholars, researchers, practitioners, and technology aspirants who are willing to research in the field of AI and biometric security.

This book covers several aspects related the evolution of Information Systems into Pervasive Information Systems. New IT trends have an important impact on IT infrastructures, which become increasingly heterogeneous, flexible, and dynamic. These new trends are transforming Information Systems into what we call Pervasive Information Systems. The purpose of this book is to combine "state-of-the-art" solutions from various research communities (such as Information Systems Engineering, Cloud Computing, Fog/Edge Computing, Pervasive systems, Distributed systems, and Middleware systems) related to the Pervasive Information Systems emergence as a common point of view. Through these multiple contributions, this book tackles important challenges concerning Information Systems evolution, promoting a holistic view of Pervasive Information System. Pervasive Information Systems (PIS) can be defined as a new class of Information Systems. It can be characterized by an IT that is gradually embedded in the physical environment and can accommodate the user's requirements and desires when necessary. This evolution implies considering Information Systems beyond the organization's physical environment to integrate new technologies transparently, leading to a pervasive environment whose behavior should be more and more reactive & proactive. It corresponds to an important change in Information Systems Engineering. Pervasive Information Systems are deeply multidisciplinary systems, demanding a holistic view in which multiple domains are invited to contribute.

Power systems worldwide are going through a paradigm shift from centralized generation to distributed generation. This book presents the SYNDEM (i.e., synchronized and democratized) grid architecture and its technical routes to harmonize the integration of renewable energy sources, electric vehicles, storage systems, and flexible loads, with the synchronization mechanism of synchronous machines, to enable autonomous operation of power systems, and to promote energy freedom. This is a game changer for the grid. It is the sort of breakthrough -- like the touch screen in smart phones -- that helps to push an industry from one era to the next, as reported by Keith Schneider, a New York Times correspondent since 1982. This book contains an introductory chapter and additional 24 chapters in five parts: Theoretical Framework, First-Generation VSM (virtual synchronous machines), Second-Generation VSM, Third-Generation VSM, and Case Studies. Most of the chapters include experimental results. As the first book of its kind for power electronics-enabled autonomous power systems, it - introduces a holistic architecture applicable to both large and small power systems, including aircraft power systems, ship power systems, microgrids, and supergrids - provides latest research to address the unprecedented challenges faced by power systems and to enhance grid stability, reliability, security, resiliency, and sustainability - demonstrates how future power systems achieve harmonious interaction, prevent local faults from cascading into wide-area blackouts, and operate autonomously with minimized cyber-attacks - highlights the significance of the SYNDEM concept for power systems and beyond Power Electronics-Enabled Autonomous Power Systems is an excellent book for researchers, engineers, and students involved in energy and power systems, electrical and control engineering, and power electronics. The SYNDEM theoretical framework chapter is also suitable for policy makers, legislators, entrepreneurs, commissioners of utility commissions, energy and environmental agency staff, utility personnel, investors, consultants, and attorneys.