This book presents research dedicated to solving scientific and technological problems in many areas of electronics, photonics and renewable energy. Energy and information are interconnected and are essential elements for the development of human society. Transmission, processing and storage of information requires energy consumption, while the efficient use and access to new energy sources requires new information (ideas and expertise) and the design of novel systems such as photovoltaic devices, fuel cells and batteries. Semiconductor physics creates the knowledge base for the development of information (computers, cell phones, etc.) and energy (photovoltaic) technologies. The exchange of ideas and expertise between these two technologies is critical and expands beyond semiconductors. Continued progress in information and renewable energy technologies requires miniaturization of devices and reduction of costs, energy and material consumption. The latest generation of electronic devices is now approaching nanometer scale dimensions, new materials are being introduced into electronics manufacturing at an unprecedented rate, and alternative technologies to mainstream CMOS are evolving. Nanotechnology is widely accepted as a source of potential solutions in securing future progress for information and energy technologies. Semiconductor Nanotechnology features chapters that cover the following areas: atomic scale materials design, bio- and molecular electronics, high frequency electronics, fabrication of nanodevices, magnetic materials and spintronics, materials and processes for integrated and subwave optoelectronics, nanoCMOS, new materials for FETs and other devices, nanoelectronics system architecture, nano optics and lasers, non-silicon materials and devices, chemical and biosensors, quantum effects in devices, nano science and technology applications in the development of novel solar energy devices, and fuel cells and batteries.

This book offers the first comprehensive introduction to the inerter, its successful application in Formula One racing, and other state-of-the-art applications in vibration control. It presents fundamental analysis results and design methods for inerter-based vibration control systems. Providing comprehensive information on the inerter, a pioneering mechanical element invented by Prof. Malcolm C. Smith at Cambridge University in 2002, it will be of considerable interest to readers with a background in control theory, mechanical vibration or related subjects.

This book comprises select proceedings of the 12th Conference on Field and Service Robotics (FSR 2019) focusing on cutting-edge research carried out in different applications of robotics, including agriculture, search and rescue, aerial marine, industrial, and space. It focuses on experiments and demonstrations of robotics applied to complex and dynamic environments and covers diverse applications. The essays are written by leading international experts, making it a valuable resource for researchers and practicing engineers alike.

This book explores emerging topics in atomic- and nano-scale electronics after the era of Moore's Law, covering both the physical principles behind, and technological implementations for many devices that are now expected to become key elements of the future of nanoelectronics beyond traditional complementary metal-oxide semiconductors (CMOS). Moore's law is not a physical law itself, but rather a visionary prediction that has worked well for more than 50 years but is rapidly coming to its end as the gate length of CMOS transistors approaches the length-scale of only a few atoms. Thus, the key question here is: "What is the future for nanoelectronics beyond CMOS?" The possible answers are found in this book. Introducing novel quantum devices such as atomic-scale electronic devices, ballistic devices, memristors, superconducting devices, this book also presents the reader with the physical principles underlying new ways of computing, as well as their practical implementation. Topics such as quantum computing, neuromorphic computing are highlighted here as some of the most promising candidates for ushering in a new era of atomic-scale electronics beyond CMOS.

This book applies generalized fractional differentiation techniques of Caputo, Canavati and Conformable types to a great variety of integral inequalities e.g. of Ostrowski and Opial types, etc. Some of these are extended to Banach space valued functions. These inequalities have also great impact in numerical analysis, stochastics and fractional differential equations. The book continues with generalized fractional approximations by positive sublinear operators which derive from the presented Korovkin type inequalities and also includes abstract cases. It presents also multivariate complex Korovkin quantitative approximation theory. It follows M-fractional integral inequalities of Ostrowski and Polya types. The results are weighted so they provide a great variety of cases and applications. The second part of the book deals with the quantitative fractional Korovkin type approximation of stochastic processes and lays there the foundations of stochastic fractional calculus. The book considers both Caputo and Conformable fractional directions and derives regular and trigonometric results. The positive linear operators can be expectation operator commutative or not. This book results are expected to find applications in many areas of pure and applied mathematics and stochastics. As such this monograph is suitable for researchers, graduate students, and seminars of the above disciplines, also to be in all science and engineering libraries.

The book investigates fundamental issues in flexible manipulator systems, including distributed parameter modeling and boundary controller design. It presents theoretical explorations of several fundamental problems concerning the dynamics and control of these systems. By integrating fresh concepts and results to form a systematic approach to control, it also provides a basic theoretical framework. In turn, the book offers a comprehensive treatment of flexible manipulator systems, addressing topics ranging from related distributed parameter modeling and advanced boundary controller design for these systems with input constraint, to active control with output constraint. In brief, the book addresses dynamical analysis and control design for flexible manipulator systems. Though primarily intended for researchers and engineers in the control system and mechanical engineering community, it can also serve as supplemental reading on the modeling and control of flexible manipulator systems at the postgraduate level.

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 monograph is intended for researchers and professionals in the fields of computer science and cybernetics. Nowadays, the areas of computer science and cybernetics (mainly its artificial intelligence branches) are subject to an immense degree of study and are applied in a wide range of technical and industrial projects. The individual chapters of this monograph were developed from a series of invited lectures at the Brno University of Technology in the years 2018 and 2019. The main aim of these lectures was to create an opportunity for students, academics, and professionals to exchange ideas, novel research methods, and new industrial applications in the fields related to soft computing and cybernetics. The authors of these chapters come from around the world and their works cover both new theoretical and application-oriented results from areas such as automation, control, robotics, optimization, statistics, reinforcement learning, image processing, and evolutionary algorithms.

Reliability is one of the fundamental criteria in engineering systems. Design and maintenance serve to support it throughout the systems life. As such, maintenance acts in parallel to production and can have a great impact on the availability and capacity of production and the quality of the products. The authors describe current and innovative methods useful to industry and society.

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.

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 book presents the proceedings of the International Conference on Aerospace System Science and Engineering (ICASSE 2019), held in Toronto, Canada, on July 30-August 1, 2019, and jointly organized by the University of Toronto Institute for Aerospace Studies (UTIAS) and the Shanghai Jiao Tong University School of Aeronautics and Astronautics. ICASSE 2019 provided a forum that brought together experts on aeronautics and astronautics to share new ideas and findings. These proceedings present high-quality contributions in the areas of aerospace system science and engineering, including topics such as trans-space vehicle system design and integration, air vehicle systems, space vehicle systems, near-space vehicle systems, aerospace robotics and unmanned systems, communication, navigation and surveillance, aerodynamics and aircraft design, dynamics and control, aerospace propulsion, avionics systems, optoelectronic systems, and air traffic management.

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.

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.

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.

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.

Intelligent Control techniques are becoming important tools in both academia and industry. Methodologies developed in the field of soft-computing, such as neural networks, fuzzy systems and evolutionary computation, can lead to accommodation of more complex processes, improved performance and considerable time savings and cost reductions. "Intelligent Control Systems Using Computational Intelligence Techniques" details the application of these tools to the field of control systems. Each chapter gives an overview of current approaches in the topic covered, with a set of the most important set references in the field, and then details the author s approach, examining both the theory and practical applications."

This state-of-the-art book deals with advanced spatial modulation (ASM), which are a special class of recent Multiple-Input Multiple-Output MIMO techniques, for various applications like radio frequency (RF) based body area network (BAN) communication, free-space optical (FSO) communication, underwater optical wireless communication (UOWC) and hybrid FSO/RF communication. The performance analysis of such systems is achieved in terms of certain performance metrics and compared with other techniques available in the literature. Such SM based schemes can find its application in advanced 5G and 6G communications. The diagrams of the system models of the different schemes along with tables and examples will help readers get a clear understanding of this approach. This book elucidates required derivations, examples, and links various concepts related to this field so that readers can gain comprehensive knowledge. Pseudo codes or algorithms or MATLAB/MATHEMATICA programs are also provided so that readers can easily implement the concepts which they learn. This volume will be useful for students, researchers, and industry alike.

This book demonstrates a novel, efficient and automated scheme to design and evaluate the performance of electronic oscillators, operating at the 100s of Megahertz to 10s of Gigahertz frequencies. The author describes a new oscillator design and performance evaluation scheme that addresses all the issues associated with the traditional S parameter (large, small signal) based oscillator design technique by exploiting the properties of a new breed of RF or microwave transistors, the powerful Discrete Fourier Transform and the SPICE tool's transient analysis. Readers will benefit from an exhaustive set of detailed, step-by-step oscillator (feedback, negative resistance, crystal and differential) design examples, as well as the software tools (C executables) used to create the design examples. Designers will be enabled to eliminate the complexities of the traditional oscillator design/performance evaluation scheme using S (large, small) parameter, resulting in accurate, robust and reliable designs. Describes an efficient, automated oscillator design and performance evaluation scheme that addresses all the challenges associated with the traditional S parameter (large, small signal) based oscillator design; Provides numerous step-by-step design examples, illustrating the details of the new scheme presented; Includes C executables that run on both Linux and Windows, which the reader can use to experiment and design any oscillator (feedback common emitter or base, negative resistance common emitter or base or differential).

Cognitive architectures represent an umbrella term to describe ways in which the flow of thought can be engineered towards cerebral and behavioral outcomes. Cognitive Architectures are meant to provide top-down guidance, a knowledge base, interactive heuristics and concrete or fuzzy policies for which the virtual character can utilize for intelligent interaction with his/her/its situated virtual environment. Integrating Cognitive Architectures into Virtual Character Design presents emerging research on virtual character artificial intelligence systems and procedures and the integration of cognitive architectures. Emphasizing innovative methodologies for intelligent virtual character integration and design, this publication is an ideal reference source for graduate-level students, researchers, and professionals in the fields of artificial intelligence, gaming, and computer science.

This thesis describes the design, development, characterisation and clinical translation of three novel devices for optical endoscopic imaging. Over the past decade, rapid innovation in optics and photonics has led to the availability of low-cost and high-performance optical technologies that can be exploited for biomedical applications, but relatively few have been translated into clinic. The work presented outlines for the first time, a comprehensive analysis of the common barriers and unique challenges associated with the translation of optical imaging techniques. To assist developers streamline translation of optical imaging devices in future, a roadmap to clinical translation is outlined, and key translational characteristics are defined. Guided by these, subsequent development of endoscopic devices resulted in preparation and approval of endoscopes for first in human trials in the oesophagus, for early detection of cancer, and in the brain, for delineation of tumour during surgical resection. The thesis culminates in the presentation of results from the first in human use of a compact multispectral endoscope for imaging endogenous tissue contrast in the oesophagus. With continuation of the work as outlined at the end of this thesis, the novel techniques described have the potential to improve the standard of care in their respective indications.

With growing developments in artificial intelligence and focus on swarm behaviours; algorithms have been utilised in solving a variety of problems in the field of engineering. This approach has been specifically suited to face the challenges in electric and electronic engineering. Swarm Intelligence for Electric and Electronic Engineering provides an exchange of knowledge on the advances, discoveries, and improvements of swarm intelligence in electric and electronic engineering. This comprehensive collection aims to bring together new swarm-based algorithms as well as approaches to complex problems and various real-world applications.