This book explores Ambient Intelligence as applied to the classroom, while especially focusing on the use of personalized education to optimize the learning process. In the years to come, the dynamics of learning spaces in higher education will need to evolve and adapt to a constantly changing digital society, as learners and educators alike attune their learning competences and teaching skills. Ambient Intelligence is another way that Artificial Intelligence is being utilized in a plethora of real-world situations, amongst which classrooms and other learning spaces offer fitting settings and ideal environments for employing this assistive technology. The book presents a complete and novel approach to deploying the Ambient Intelligent Classroom, based on three interrelated aspects - the Social, the Technological and the Educational, - in order to provide a rich three-dimensional learning environment. This book is intended for education technologists and AI researchers, as well as for those tech-savvy readers interested in applying technology to the future of learning spaces. Educators in particular will find valuable insights and guidelines on how to shape the evolution of their own classroom.

This book presents novel research ideas and offers insights into radar system design, artificial intelligence and signal processing applications. Further, it proposes a new concept of antenna spatial polarization characteristics (SPC), suggesting that the antenna polarization is a function of the spatial direction and providing new ideas for radar signal processing (RSP) and anti-jamming. It also discusses the design of an advanced signal-processing algorithm, and proposes new polarimetric and anti-jamming methods using antenna inherent properties. The book helps readers discover the potential of radar information processing and improve its anti-interference and target identification ability. It is of interest to university researchers, radar engineers and graduate students in computer science and electronics who wish to learn the core principles, methods, algorithms, and applications of RSP.

This book provides theoretical and practical approach in the area of multimedia and IOT applications and performance analysis. Further, multimedia communication, deep learning models to multimedia data and the new (IOT) approaches are also covered. It addresses the complete functional framework in the area of multimedia data, IOT and smart computing techniques. The book proposes a comprehensive overview of the state-of-the-art research work on multimedia analysis in IOT applications. It bridges the gap between multimedia concepts and solutions by providing the current IOT frameworks, their applications in multimedia analysis, the strengths and limitations of the existing methods, and the future directions in multimedia IOT analytics.

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 convergence of Artificial Intelligence (AI) in blockchain creates one of the world's most reliable technology-enabled decision-making systems that is virtually tamper-proof and provides solid insights and decisions. The integration of AI and Blockchain affects many aspects from food supply chain logistics and healthcare record sharing to media royalties and financial security. It is imperative that regulatory standards are emphasized in order to support positive outcomes from the integration of AI in blockchain technology. Regulatory Aspects of Artificial Intelligence on Blockchain provides relevant legal and security frameworks and the latest empirical research findings in blockchain and AI. Through the latest research and standards, the book identifies and offers solutions for overcoming legal consequences that pertain to the application of AI into the blockchain system, especially concerning the usage of smart contracts. The chapters, while investigating the legal and security issues associated with these applications, also include topics such as smart contacts, network vulnerability, cryptocurrency, machine learning, and more. This book is essential for technologists, security analysts, legal specialists, privacy and data security practitioners, IT consultants, standardization professionals, researchers, academicians, and students interested in blockchain and AI from a legal and security viewpoint.

This book presents selected papers from the Sixteenth International Conference on Intelligent Information Hiding and Multimedia Signal Processing, in conjunction with the Thirteenth International Conference on Frontiers of Information Technology, Applications and Tools, held on November 5-7, 2020, in Ho Chi Minh City, Vietnam. It is divided into two volumes and discusses the latest research outcomes in the field of Information Technology (IT) including information hiding, multimedia signal processing, big data, data mining, bioinformatics, database, industrial and Internet of things, and their applications.

Accessible to all readers, including students of secondary school and amateur technology enthusiasts, Robotics, Mechatronics, and Artificial Intelligence simplifies the process of finding basic circuits to perform simple tasks, such as how to control a DC or step motor, and provides instruction on creating moving robotic parts, such as an "eye" or an "ear." Though many companies offer kits for project construction, most experimenters want to design and build their own robots and other creatures specific to their needs and goals. With this new book by Newton Braga, hobbyists and experimenters around the world will be able to decide what skills they want to feature in a project and then choose the right "building blocks" to create the ideal results.
In the past few years the technology of robotics, mechatronics, and artificial intelligence has exploded, leaving many people with the desire but not the means to build their own projects. The author's fascination with and expertise in the exciting field of robotics is demonstrated by the range of simple to complex project blocks he provides, which are designed to benefit both novice and experienced robotics enthusiasts. The common components and technology featured in the project blocks are especially beneficial to readers who need practical solutions that can be implemented easily by their own hands, without incorporating expensive, complicated technology.
Accessible to technicians and hobbyists with many levels of experience, and written to provide inexpensive and creative fun with robotics
Appeals to all sorts of technology enthusiasts, including those involved with electronics, computers, home automation, mechanics, and other areas.

These proceedings present selected research papers from CISC'18, held in Wenzhou, China. The topics include Multi-Agent Systems, Networked Control Systems, Intelligent Robots, Complex System Theory and Swarm Behavior, Event-Triggered Control and Data-Driven Control, Robust and Adaptive Control, Big Data and Brain Science, Process Control, Nonlinear and Variable Structure Control, Intelligent Sensor and Detection Technology, Deep learning and Learning Control Guidance, Navigation and Control of Flight Vehicles, and so on. Engineers and researchers from academia, industry, and government can get an insight view of the solutions combining ideas from multiple disciplines in the field of intelligent systems.

This book provides a comprehensive review of complex networks from three different domains, presents novel methods for analyzing them, and highlights applications with accompanying case studies. Special emphasis is placed on three specific kinds of complex networks of high technological and scientific importance: software networks extracted from the source code of computer programs, ontology networks describing semantic web ontologies, and co-authorship networks reflecting collaboration in science. The book is primarily intended for researchers, teachers and students interested in complex networks and network data analysis. However, it will also be valuable for researchers dealing with software engineering, ontology engineering and scientometrics, as it demonstrates how complex network analysis can be used to address important research issues in these three disciplines.

This book summarizes the latest research on advanced intelligent systems in the fields of energy and electrical engineering, presented at the second edition of the International Conference on Advanced Intelligent Systems for Sustainable Development (AI2SD'2019), held in Marrakech from 8 to 11 July 2019, Morocco. This book is intended for researchers, professionals and anyone interested in the development of advanced intelligent systems in the electrical engineering sector. The solutions featured focus on three main areas: motion control in complex electromechanical systems, including sensorless control; fault diagnosis and fault-tolerant control of electric drives; and new control algorithms for power electronics converters. In addition, the book includes a range of research using new technologies and advanced approaches. Offering a platform for researchers in the field of energy to share their work related to the problem of management and optimization of energy, which is a major current concern, the book mainly focuses on areas that go hand in hand with the Industrial Revolution 4.0, such as solar energy computing systems, smart grids, hydroelectric power computing systems, thermal and recycling computing systems, eco-design intelligent computing systems, renewable energy for IT equipment, modeling green technology, and renewable energy systems in smart cities. The authors of each chapter report the state of the art in the topics addressed and the results of their own research, laboratory experiments, and successful applications in order to share the concept of advanced intelligent systems and appropriate tools and techniques for modeling, storage management, as well as decision support in the field of electrical engineering. Further, the book discusses a number of future trends and the potential for linking control theory, power electronics, artificial neural networks, embedded controllers and signal processing.

This two-volume set of IFIP AICT 617 and 618 constitutes the refereed proceedings of the IFIP WG 8.6 International Working Conference "Re-imagining Diffusion and Adoption of Information Technology and Systems: A Continuing Conversation" on Transfer and Diffusion of IT, TDIT 2020, held in Tiruchirappalli, India, in December 2020.The 86 revised full papers and 36 short papers presented were carefully reviewed and selected from 224 submissions. The papers focus on the re-imagination of diffusion and adoption of emerging technologies. They are organized in the following parts: Part I: artificial intelligence and autonomous systems; big data and analytics; blockchain; diffusion and adoption technology; emerging technologies in e-Governance; emerging technologies in consumer decision making and choice; fin-tech applications; healthcare information technology; and Internet of Things Part II: diffusion of information technology and disaster management; adoption of mobile and platform-based applications; smart cities and digital government; social media; and diffusion of information technology and systems

This book aims to bring together researchers and practitioners working across domains and research disciplines to measure, model, and visualize complex networks. It collects the works presented at the 9th International Conference on Complex Networks (CompleNet) in Boston, MA, March, 2018. With roots in physical, information and social science, the study of complex networks provides a formal set of mathematical methods, computational tools and theories to describe, prescribe and predict dynamics and behaviors of complex systems. Despite their diversity, whether the systems are made up of physical, technological, informational, or social networks, they share many common organizing principles and thus can be studied with similar approaches. This book provides a view of the state-of-the-art in this dynamic field and covers topics such as group decision-making, brain and cellular connectivity, network controllability and resiliency, online activism, recommendation systems, and cyber security.

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.

These contributions, written by the foremost international researchers and practitioners of Genetic Programming (GP), explore the synergy between theoretical and empirical results on real-world problems, producing a comprehensive view of the state of the art in GP. Chapters in this volume include: Similarity-based Analysis of Population Dynamics in GP Performing Symbolic Regression Hybrid Structural and Behavioral Diversity Methods in GP Multi-Population Competitive Coevolution for Anticipation of Tax Evasion Evolving Artificial General Intelligence for Video Game Controllers A Detailed Analysis of a PushGP Run Linear Genomes for Structured Programs Neutrality, Robustness, and Evolvability in GP Local Search in GP PRETSL: Distributed Probabilistic Rule Evolution for Time-Series Classification Relational Structure in Program Synthesis Problems with Analogical Reasoning An Evolutionary Algorithm for Big Data Multi-Class Classification Problems A Generic Framework for Building Dispersion Operators in the Semantic Space Assisting Asset Model Development with Evolutionary Augmentation Building Blocks of Machine Learning Pipelines for Initialization of a Data Science Automation Tool Readers will discover large-scale, real-world applications of GP to a variety of problem domains via in-depth presentations of the latest and most significant results.

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.

This book presents original, peer-reviewed research papers from the 4th Purple Mountain Forum -International Forum on Smart Grid Protection and Control (PMF2019-SGPC), held in Nanjing, China on August 17-18, 2019. Addressing the latest research hotspots in the power industry, such as renewable energy integration, flexible interconnection of large scale power grids, integrated energy system, and cyber physical power systems, the papers share the latest research findings and practical application examples of the new theories, methodologies and algorithms in these areas. As such book a valuable reference for researchers, engineers, and university students.

This book highlights the theory and practical applications of the chemical master equation (CME) approach for very large biochemical networks, which provides a powerful general framework for model building in a variety of biological networks. The aim of the book is to not only highlight advanced numerical solution methods for the CME, but also reveal their potential by means of practical examples. The case studies presented are mainly from biology; however, the applications from novel methods are discussed comprehensively, underlining the interdisciplinary approach in simulation and the potential of the chemical master equation approach for modelling bionetworks. The book is a valuable guide for researchers, graduate students, and professionals alike.

This is the second of two volumes that together provide an overview of the latest advances in the generation and application of digital twins in bioprocess design and optimization. Both processes have undergone significant changes over the past few decades, moving from data-driven approaches into the 21st-century digitalization of the bioprocess industry. Moreover, the high demand for biotechnological products calls for efficient methods during research and development, as well as during tech transfer and routine manufacturing. In this regard, one promising tool is the use of digital twins, which offer a virtual representation of the bioprocess. They reflect the mechanistics of the biological system and the interactions between process parameters, key performance indicators and product quality attributes in the form of a mathematical process model. Furthermore, digital twins allow us to use computer-aided methods to gain an improved process understanding, to test and plan novel bioprocesses, and to efficiently monitor them. This book focuses on the application of digital twins in various contexts, e.g. computer-aided experimental design, seed train prediction, and lifeline analysis. Covering fundamentals as well as applications, the two volumes offers the ideal introduction to the topic for researchers in academy and industry alike.

Robotic animals are nowadays developed for various types of research, such as bio-inspired robotics, biomimetics and animal behavior studies. More specifically, in the case of collective animal behavior research, the robotic device can interact with animals by generating and exploiting signals relevant for social behavior. Once perceived by the animal society as conspecific, these robots can become powerful tools to study the animal behaviors, as they can at the same time monitor the changes in behavior and influence the collective choices of the animal society. In this book, we present novel robotized tools that can integrate shoals of fish in order to study their collective behaviors. We used the current state of the art on the zebrafish social behavior to define the specifications of the robots, and we performed stimuli analysis to improve their developments. Bio-inspired controllers were designed based on data extracted from experiments with zebrafish for the robots to mimic the zebrafish locomotion underwater. Experiments involving mixed groups of fish and robots qualified the robotic system to be integrated among a zebrafish shoal and to be able to influence the collective decisions of the fish. These results are very promising for the field of animal-robot interaction studies, as we showed the effect of the robots in long-duration experiments and repetitively, with the same order of response from the animals.

This book contains thirty-five selected papers presented at the International Conference on Evolutionary and Deterministic Methods for Design, Optimization and Control with Applications to Industrial and Societal Problems (EUROGEN 2017). This was one of the Thematic Conferences of the European Community on Computational Methods in Applied Sciences (ECCOMAS). Topics treated in the various chapters reflect the state of the art in theoretical and numerical methods and tools for optimization, and engineering design and societal applications. The volume focuses particularly on intelligent systems for multidisciplinary design optimization (mdo) problems based on multi-hybridized software, adjoint-based and one-shot methods, uncertainty quantification and optimization, multidisciplinary design optimization, applications of game theory to industrial optimization problems, applications in structural and civil engineering optimum design and surrogate models based optimization methods in aerodynamic design.

It is hard to believe that the pursuit of artificial intelligence is not a phenomenon of the twentieth century. For over three hundred years, the boundaries between bodies and machines - the natural and the artificial, the animate and the inanimate - have been passionately explored. These explorations, beginning in the seventeenth and eighteenth and increasing during the nineteenth century, have been all but forgotten, lost beneath the commotion of the modern day world. This book retrieves these lost histories, giving voice to the hopes, dreams, and fears of philosophers, medical practitioners, engineers, craftsmen and artisans who have all been fascinated by the interface between bodies and machines. The journey back in time unfolds with the mysterious advent of mechanical philosophies, which conceptualized the body and the surrounding world largely in terms of mechanistic interactions. These theories develop in intriguing directions and fuel experiments in such areas as material production and social punishment, spiritualism and mental health. From reanimating dead bodies with electricity, which led to the introduction of the electric chair, through to the use of machines to render 'hysterics' and the insane fit for reintroduction into society, this book conveys the dark truths behind our relationship with machines.This book is not only an exceptional contribution to the history of technology but also to contemporary debates about humans and machines.

Many everyday dilemmas existing in the real world are complex and difficult to solve or fix, ranging from tax evasion to dispatching taxis to scheduling patient visits in hospitals, and much more. Within these complicated problems, however, lies the potential to be simplified or solved by intelligent agents and multi-agent systems. Theoretical and Practical Frameworks for Agent-Based Systems tackles these real problems and many more, bringing the theoretical research of intelligent agents to researchers and practitioners in academia, government, and innumerable industries. Professionals and experts in every field ranging from education to healthcare and beyond will find this reference to be essential in the understanding of agents, and researchers currently working in the field of intelligent agents will benefit from this exciting examination of practical applications.

The book presents innovative scientific research works by academics, research scholars and students, presented at the 2017 International Conference on Energy, Materials and Information Technology at Amity University Jharkhand, India. It includes contributions on system solutions based on soft computing techniques, and covers innovative soft computing techniques and tools with advanced applications. A major focus of the book is on presenting interdisciplinary problems and how they can be solved using information technology, together with innovative connections to other disciplines. It also includes papers on cloud computing and WSN-related real-time research.