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.

For courses in object-oriented systems analysis and design. This text teaches students object-oriented systems analysis and design in a highly practical and accessible way.

This book presents a comprehensive overview of fundamental issues and recent advances in graph data management. Its aim is to provide beginning researchers in the area of graph data management, or in fields that require graph data management, an overview of the latest developments in this area, both in applied and in fundamental subdomains. The topics covered range from a general introduction to graph data management, to more specialized topics like graph visualization, flexible queries of graph data, parallel processing, and benchmarking. The book will help researchers put their work in perspective and show them which types of tools, techniques and technologies are available, which ones could best suit their needs, and where there are still open issues and future research directions. The chapters are contributed by leading experts in the relevant areas, presenting a coherent overview of the state of the art in the field. Readers should have a basic knowledge of data management techniques as they are taught in computer science MSc programs.

This book presents the latest research in the fields of reliability theory and its applications, providing a comprehensive overview of reliability engineering and discussing various tools, techniques, strategies and methods within these areas. Reliability analysis is one of the most multidimensional topics in the field of systems reliability engineering, and while its rapid development creates opportunities for industrialists and academics, it is also means that it is hard to keep up to date with the research taking place. By gathering findings from institutions around the globe, the book offers insights into the international developments in the field. As well as discussing the current areas of research, it also identifies knowledge gaps in reliability theory and its applications and highlights fruitful avenues for future research. Covering topics from life cycle sustainability to performance analysis of cloud computing, this book is ideal for upper undergraduate and postgraduate researchers studying reliability engineering.

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.

Computational finance deals with the mathematics of computer programs that realize financial models or systems. This book outlines the epistemic risks associated with the current valuations of different financial instruments and discusses the corresponding risk management strategies. It covers most of the research and practical areas in computational finance. Starting from traditional fundamental analysis and using algebraic and geometric tools, it is guided by the logic of science to explore information from financial data without prejudice. In fact, this book has the unique feature that it is structured around the simple requirement of objective science: the geometric structure of the data = the information contained in the data.

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.

This book provides a comprehensive review of all aspects relating to visual quality assessment for stereoscopic images, including statistical mathematics, stereo vision and deep learning. It covers the fundamentals of stereoscopic image quality assessment (SIQA), the relevant engineering problems and research significance, and also offers an overview of the significant advances in visual quality assessment for stereoscopic images, discussing and analyzing the current state-of-the-art in SIQA algorithms, the latest challenges and research directions as well as novel models and paradigms. In addition, a large number of vivid figures and formulas help readers gain a deeper understanding of the foundation and new applications of objective stereoscopic image quality assessment technologies. Reviewing the latest advances, challenges and trends in stereoscopic image quality assessment, this book is a valuable resource for researchers, engineers and graduate students working in related fields, including imaging, displaying and image processing, especially those interested in SIQA research.

This book provides insights into important new developments in the area of statistical quality control and critically discusses methods used in on-line and off-line statistical quality control. The book is divided into three parts: Part I covers statistical process control, Part II deals with design of experiments, while Part III focuses on fields such as reliability theory and data quality. The 12th International Workshop on Intelligent Statistical Quality Control (Hamburg, Germany, August 16 - 19, 2016) was jointly organized by Professors Sven Knoth and Wolfgang Schmid. The contributions presented in this volume were carefully selected and reviewed by the conference's scientific program committee. Taken together, they bridge the gap between theory and practice, making the book of interest to both practitioners and researchers in the field of quality control.

Computational Modelling of Nanoparticles highlights recent advances in the power and versatility of computational modelling, experimental techniques, and how new progress has opened the door to a more detailed and comprehensive understanding of the world of nanomaterials. Nanoparticles, having dimensions of 100 nanometers or less, are increasingly being used in applications in medicine, materials and manufacturing, and energy. Spanning the smallest sub-nanometer nanoclusters to nanocrystals with diameters of 10s of nanometers, this book provides a state-of-the-art overview on how computational modelling can provide, often otherwise unobtainable, insights into nanoparticulate structure and properties. This comprehensive, single resource is ideal for researchers who want to start/improve their nanoparticle modelling efforts, learn what can be (and what cannot) achieved with computational modelling, and understand more clearly the value and details of computational modelling efforts in their area of research.

Like systems and procedures in most areas of modern society, the functioning of courts throughout the world has been enormously affected by information and communication technologies (ICT). It has become crucial for lawyers to keep pace with technical changes in judicial systems, especially in international cases where an understanding of procedural variations from one system to another could spell the difference between success and failure. This text has been written by experts who have been engaged in the planning and implementation of ICT in the courts of their respective countries. To ensure information that is as homogeneous as possible, and to facilitate cross-border comparisons, the authors have followed a common and detailed "blueprint" which includes a brief description of the judicial system under discussion. Specific areas of court technology covered include case management systems, electronic filing, and electronic data interchange. Although the emphasis is on EU Member States, a general overview of ICT applications in some Latin American judiciaries is also provided.

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 contributed book focuses on major aspects of statistical quality control, shares insights into important new developments in the field, and adapts established statistical quality control methods for use in e.g. big data, network analysis and medical applications. The content is divided into two parts, the first of which mainly addresses statistical process control, also known as statistical process monitoring. In turn, the second part explores selected topics in statistical quality control, including measurement uncertainty analysis and data quality. The peer-reviewed contributions gathered here were originally presented at the 13th International Workshop on Intelligent Statistical Quality Control, ISQC 2019, held in Hong Kong on August 12-14, 2019. Taken together, they bridge the gap between theory and practice, making the book of interest to both practitioners and researchers in the field of statistical quality control.

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.

The digital traces that people leave behind as they conduct their daily lives provide a powerful resource for businesses to better understand the dynamics of an otherwise chaotic society. Digital technologies have become omnipresent in our lives and we still do not fully know how to make the best use of the data these technologies could harness. Businesses leveraging big data appropriately could definitely gain a sustainable competitive advantage. With a balanced mix of texts and cases, this book discusses a variety of digital technologies and how they transform people and organizations. It offers a debate on the societal consequences of the yet unfolding technological revolution and proposes alternatives for harnessing disruptive technologies for the greater benefit of all. This book will have wide appeal to academics in technology management, strategy, marketing, and human resource management.

From Digital Traces to Algorithmic Projections describes individual digital fingerprints in interaction with the different algorithms they encounter throughout life. Centered on the human user, this formalism makes it possible to distinguish the voluntary projections of an individual and their systemic projections (suffered, metadata), both open (public) and closed. As the global algorithmic projection of an individual is now the focus of attention (Big Data, neuromarketing, targeted advertising, sentiment analysis, cybermonitoring, etc.) and is used to define new concepts, this resource discusses the ubiquity of place and the algorithmic consent of a user.

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 explores the digitization of culture as a means of experiencing and understanding cultural heritage in Namibia and from international perspectives. It provides various views and perspectives on the digitization of culture, the goal being to stimulate further research, and to rapidly disseminate related discoveries. Aspects covered here include: virtual and augmented reality, audio and video technology, art, multimedia and digital media integration, cross-media technologies, modeling, visualization and interaction as a means of experiencing and grasping cultural heritage. Over the past few decades, digitization has profoundly changed our cultural experience, not only in terms of digital technology-based access, production and dissemination, but also in terms of participation and creation, and learning and partaking in a knowledge society. Computing researchers have developed a wealth of new digital systems for preserving, sharing and interacting with cultural resources. The book provides important information and tools for policy makers, knowledge experts, cultural and creative industries, communication scientists, professionals, educators, librarians and artists, as well as computing scientists and engineers conducting research on cultural topics.

This book is a timely collection of chapters that present the state of the art within the analysis and application of big data. Working within the broader context of big data, this text focuses on the hot topics of social network modelling and analysis such as online dating recommendations, hiring practices, and subscription-type prediction in mobile phone services. Manuscripts are expanded versions of the best papers presented at the IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM'2016), which was held in August 2016. The papers were among the best featured at the meeting and were then improved and extended substantially. Social Network Based Big Data Analysis and Applications will appeal to students and researchers in the field.

This book presents the latest advances in photometric 3D reconstruction. It provides the reader with an overview of the state of the art in the field, and of the latest research into both the theoretical foundations of photometric 3D reconstruction and its practical application in several fields (including security, medicine, cultural heritage and archiving, and engineering). These techniques play a crucial role within such emerging technologies as 3D printing, since they permit the direct conversion of an image into a solid object. The book covers both theoretical analysis and real-world applications, highlighting the importance of deepening interdisciplinary skills, and as such will be of interest to both academic researchers and practitioners from the computer vision and mathematical 3D modeling communities, as well as engineers involved in 3D printing. No prior background is required beyond a general knowledge of classical computer vision models, numerical methods for optimization, and partial differential equations.

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.