This book offers a unique blend of reports on both theoretical models and their applications in the area of Intelligent Information and Database Systems. The reports cover a broad range of research topics, including advanced learning techniques, knowledge engineering, Natural Language Processing (NLP), decision support systems, Internet of things (IoT), computer vision, and tools and techniques for Intelligent Information Systems. They are extended versions of papers presented at the ACIIDS 2018 conference (10th Asian Conference on Intelligent Information and Database Systems), which was held in Dong Hoi City, Vietnam on 19-21 March 2018. What all researchers and students of computer science need is a state-of-the-art report on the latest trends in their respective areas of interest. Over the years, researchers have proposed increasingly complex theoretical models, which provide the theoretical basis for numerous applications. The applications, in turn, have a profound influence on virtually every aspect of human activities, while also allowing us to validate the underlying theoretical concepts.

This volume presents the first part of the proceedings of the Mediterranean Conference on Information & Communication Technologies (MedICT 2015), which was held at Saidia, Morocco during 7-9 May, 2015. MedICT provides an excellent international forum to the researchers and practitioners from both academia as well as industry to meet and share cutting-edge development. The conference has also a special focus on enabling technologies for societal challenges, and seeks to address multidisciplinary challenges in Information & Communication Technologies such as health, demographic change, wellbeing, security and sustainability issues. The proceedings publish high quality papers which are closely related to the various theories, as well as emerging and practical applications of particular interest to the ICT community. This first volume provides a compact yet broad view of recent developments in devices, technologies and processing, and covers recent research areas in the field including Microwave Devices and Printed Antennas, Advances in Optical and RF Devices and Applications, Signal Processing and Information Theory, Wireless and Optical Technologies and Techniques, Computer Vision, Optimization and Modeling in Wireless Communication Systems, Modeling, Identification and Biomedical Signal Processing, Photovoltaic Cell & Systems, RF Devices and Antennas for Wireless Applications, RFID, Ad Hoc and Networks Issues.

Creativity in Computing and DataFlow Supercomputing, the latest release in the Advances in Computers series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design, and applications. In addition, it provides contributors with a medium in which they can explore topics in greater depth and breadth than journal articles typically allow. As a result, many articles have become standard references that continue to be of significant, lasting value in this rapidly expanding field.

This scholarly treasury of over 450 distinguished quotations, divided into 170 categories, focuses on the best thinking in the disciplines of psychology, philosophy, and artificial intelligence, from the classical period of Greece to contemporary cognitive science. Quotations are arranged chronologically within categories. This work will be of interest to scholars and professionals in psychology, artificial intelligence, and cognitive science as well as undergraduate and graduate students in these disciplines.

This book gathers 12 of the most promising papers presented at the 15th International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2017) held on June 7-9, 2017 at the University of Greenwich, London, UK. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science, to share their experiences and to exchange new ideas and information in a meaningful way. The book also presents research findings regarding all aspects (theory, applications and tools) of computer and information science, and discusses the practical challenges encountered along the way and the solutions adopted to solve them.

Design is an important research topic in engineering and architecture, since it is not only a means of change but also one of the keystones of economic competitiveness and the fundamental precursor to manufacturing. However, our understanding of design as a process and our ability to model it are still very limited. The development of computational models founded on the artificial intelligence paradigm has provided an impetus for much of current design research - both computational and cognitive. Notwithstanding their immaturity, noticeable advances have been made both in extending our understanding of design and in developing tools based on that understanding. The papers in this volume are from the Third International Conference on Artificial Intelligence in Design held in August 1994 in Lausanne, Switzerland. They represent research and development in this field. They should be of particular interest to researchers, developers and users of computer systems in design. This volume aims to demonstrate both the breadth and depth of artificial intelligence in design and point the way forward for our understanding of design as a process and for the development of computer-based tools to aid designers.

This book provides solutions to manage information competently in order to increase its business usage. The information/knowledge business is a highly-dynamic evolving industry, and the novel methodologies and practices for the business information processing, as well as application of mathematical models to the business analytics and efficient management, are the most essential for the decision-making and further development of this field. Consequently, in this series subline first volume, the authors study challenges and opportunities, as well as embrace different aspects of business information processing for an efficient enterprise management. The authors cover also methods and techniques, as well as strategies for the efficient business information processing for management. Besides, the authors analyse strategies for lowering business information/data loss, while improving customer satisfaction and maintenance levels. The major goal is to analyse the key aspects of managerial implications on the informational business on the continuous basis.

This book offers a timely and comprehensive snapshot of research and developments in the field of control engineering. Covering a wide range of theoretical and practical issues, the contributions describes a number of different control approaches, such adaptive control, fuzzy and neuro-fuzzy control, remote and robust control systems, real time an fault tolerant control, among others. Sensors and actuators, measurement systems, renewable energy systems, aerospace systems as well as industrial control and automation, are also comprehensively covered. Based on the proceedings of the 14th APCA International Conference on Automatic Control and Soft Computing, held on July 1-3, 2020, in Braganca, Portugal, the book offers a timely and thoroughly survey of the latest research in the field of control, and a source of inspiration for researchers and professionals worldwide.

Our society continues to depend upon systems that are built in a way that they end up being inflexible and intolerant to change. Therefore there is an urgent need to investigate innovations and approaches to the management of adaptive and dependable systems. These studies are usually implemented through design, development, and the evaluation of techniques and models to structure computer systems as adaptive systems. Innovations and Approaches for Resilient and Adaptive Systems is a comprehensive collection of knowledge on increasing the notions and models in adaptive and dependable systems. This book aims to enhance the awareness of the role of adaptability and resilience in system environments for researchers, practitioners, educators, and professionals alike.

Brain Storm Optimization (BSO) algorithms are a new kind of swarm intelligence method, which is based on the collective behavior of human beings, i.e., on the brainstorming process. Since the introduction of BSO algorithms in 2011, many studies on them have been conducted. They not only offer an optimization method, but could also be viewed as a framework of optimization techniques. The process employed in the algorithms could be simplified as a framework with two basic operations: the converging operation and the diverging operation. A "good enough" optimum could be obtained through recursive solution divergence and convergence. The resulting optimization algorithm would naturally have the capability of both convergence and divergence. This book is primarily intended for researchers, engineers, and graduate students with an interest in BSO algorithms and their applications. The chapters cover various aspects of BSO algorithms, and collectively provide broad insights into what these algorithms have to offer. The book is ideally suited as a graduate-level textbook, whereby students may be tasked with the study of the rich variants of BSO algorithms that involves a hands-on implementation to demonstrate the utility and applicability of BSO algorithms in solving optimization problems.

This book presents advances and innovations in grouping genetic algorithms, enriched with new and unique heuristic optimization techniques. These algorithms are specially designed for solving industrial grouping problems where system entities are to be partitioned or clustered into efficient groups according to a set of guiding decision criteria. Examples of such problems are: vehicle routing problems, team formation problems, timetabling problems, assembly line balancing, group maintenance planning, modular design, and task assignment. A wide range of industrial grouping problems, drawn from diverse fields such as logistics, supply chain management, project management, manufacturing systems, engineering design and healthcare, are presented. Typical complex industrial grouping problems, with multiple decision criteria and constraints, are clearly described using illustrative diagrams and formulations. The problems are mapped into a common group structure that can conveniently be used as an input scheme to specific variants of grouping genetic algorithms. Unique heuristic grouping techniques are developed to handle grouping problems efficiently and effectively. Illustrative examples and computational results are presented in tables and graphs to demonstrate the efficiency and effectiveness of the algorithms. Researchers, decision analysts, software developers, and graduate students from various disciplines will find this in-depth reader-friendly exposition of advances and applications of grouping genetic algorithms an interesting, informative and valuable resource.

This book highlights the latest advances in the application of artificial intelligence and data science in health care and medicine. Featuring selected papers from the 2020 Health Intelligence Workshop, held as part of the Association for the Advancement of Artificial Intelligence (AAAI) Annual Conference, it offers an overview of the issues, challenges, and opportunities in the field, along with the latest research findings. Discussing a wide range of practical applications, it makes the emerging topics of digital health and explainable AI in health care and medicine accessible to a broad readership. The availability of explainable and interpretable models is a first step toward building a culture of transparency and accountability in health care. As such, this book provides information for scientists, researchers, students, industry professionals, public health agencies, and NGOs interested in the theory and practice of computational models of public and personalized health intelligence.

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (second edition), J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof theory, semantics and control.

This book examines some of the underlying processes behind different forms of information management, including how we store information in our brains, the impact of new technologies such as computers and robots on our efficiency in storing information, and how information is stored in families and in society. The editors brought together experts from a variety of disciplines. While it is generally agreed that information reduces uncertainties and that the ability to store it safely is of vital importance, these authors are open to different meanings of "information": computer science considers the bit as the information block; neuroscience emphasizes the importance of information as sensory inputs that are processed and transformed in the brain; theories in psychology focus more on individual learning and on the acquisition of knowledge; and finally sociology looks at how interpersonal processes within groups or society itself come to the fore. The book will be of value to researchers and students in the areas of information theory, artificial intelligence, and computational neuroscience.

This standard text gives a unified treatment of passivity and L2-gain theory for nonlinear state space systems, preceded by a compact treatment of classical passivity and small-gain theorems for nonlinear input-output maps. The synthesis between passivity and L2-gain theory is provided by the theory of dissipative systems. Specifically, the small-gain and passivity theorems and their implications for nonlinear stability and stabilization are discussed from this standpoint. The connection between L2-gain and passivity via scattering is detailed. Feedback equivalence to a passive system and resulting stabilization strategies are discussed. The passivity concepts are enriched by a generalised Hamiltonian formalism, emphasising the close relations with physical modeling and control by interconnection, and leading to novel control methodologies going beyond passivity. The potential of L2-gain techniques in nonlinear control, including a theory of all-pass factorizations of nonlinear systems, and of parametrization of stabilizing controllers, is demonstrated. The nonlinear H-infinity optimal control problem is also treated and the book concludes with a geometric analysis of the solution sets of Hamilton-Jacobi inequalities and their relation with Riccati inequalities for the linearization. * L2-Gain and Passivity Techniques in Nonlinear Control (third edition) is thoroughly updated, revised, reorganized and expanded. Among the changes, readers will find: * updated and extended coverage of dissipative systems theory * substantial new material regarding converse passivity theorems and incremental/shifted passivity * coverage of recent developments on networks of passive systems with examples * a completely overhauled and succinct introduction to modeling and control of port-Hamiltonian systems, followed by an exposition of port-Hamiltonian formulation of physical network dynamics * updated treatment of all-pass factorization of nonlinear systems The book provides graduate students and researchers in systems and control with a compact presentation of a fundamental and rapidly developing area of nonlinear control theory, illustrated by a broad range of relevant examples stemming from different application areas.

The present book includes a set of selected extended papers from the 12th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2015), held in Colmar, France, from 21 to 23 July 2015. The conference brought together researchers, engineers and practitioners interested in the application of informatics to Control, Automation and Robotics. Four simultaneous tracks will be held, covering Intelligent Control Systems, Optimization, Robotics, Automation, Signal Processing, Sensors, Systems Modelling and Control, and Industrial Engineering, Production and Management. Informatics applications are pervasive in many areas of Control, Automation and Robotics. ICINCO 2015 received 214 submissions, from 42 countries, in all continents. After a double blind paper review performed by the Program Committee, 14% were accepted as full papers and thus selected for oral presentation. Additional papers were accepted as short papers and posters. A further selection was made after the Conference, based also on the assessment of presentation quality and audience interest, so that this book includes the extended and revised versions of the very best papers of ICINCO 2015. Commitment to high quality standards is a major concern of ICINCO that will be maintained in the next editions, considering not only the stringent paper acceptance ratios but also the quality of the program committee, keynote lectures, participation level and logistics.

This book offers a timely overview of theories and methods developed by an authoritative group of researchers to understand the link between criticality and brain functioning. Cortical information processing in particular and brain function in general rely heavily on the collective dynamics of neurons and networks distributed over many brain areas. A key concept for characterizing and understanding brain dynamics is the idea that networks operate near a critical state, which offers several potential benefits for computation and information processing. However, there is still a large gap between research on criticality and understanding brain function. For example, cortical networks are not homogeneous but highly structured, they are not in a state of spontaneous activation but strongly driven by changing external stimuli, and they process information with respect to behavioral goals. So far the questions relating to how critical dynamics may support computation in this complex setting, and whether they can outperform other information processing schemes remain open. Based on the workshop "Dynamical Network States, Criticality and Cortical Function", held in March 2017 at the Hanse Institute for Advanced Studies (HWK) in Delmenhorst, Germany, the book provides readers with extensive information on these topics, as well as tools and ideas to answer the above-mentioned questions. It is meant for physicists, computational and systems neuroscientists, and biologists.

Focusing on non-intrusive load monitoring techniques in the area of smart grids and smart buildings, this book presents a thorough introduction to related basic principles, while also proposing improvements. As the basis of demand-side energy management, the non-intrusive load monitoring techniques are highly promising in terms of their energy-saving and carbon emission reduction potential. The book is structured clearly and written concisely. It introduces each aspect of these techniques with a number of examples, helping readers to understand and use the corresponding results. It provides latest strengths on the non-intrusive load monitoring techniques for engineers and managers of relevant departments. It also offers extensive information and a source of inspiration for researchers and students, while outlining future research directions.

This book addresses a range of solutions and effective control techniques for Microbial Fuel Cells (MFCs), intended as a response to the increased energy consumption and wastewater production stemming from globalization. It describes the fundamentals of MFCs and control-oriented mathematical models, and provides detailed information on uncertain parameters. Various control techniques like robust control with LMI, adaptive backstepping control, and exact linearization control are developed for different mathematical models. In turn, the book elaborates on the basics of adaptive control, presenting several methods in detail. It also demonstrates how MFCs can be developed at the laboratory level, equipping readers to develop their own MFCs for experimental purposes. In closing, it develops a transfer function model for MFCs by combining a system identification technique and model reference adaptive control techniques. By addressing one of the most promising sources of clean and renewable energy, this book provides a viable solution for meeting the world's increasing energy demands.

This book explores the latest and most relevant topics in the field of computational bioengineering and bioinformatics, with a particular focus on patient-specific, disease-progression modeling. It covers computational methods for cardiovascular disease prediction, with an emphasis on biomechanics, biomedical decision support systems, data mining, personalized diagnostics, bio-signal processing, protein structure prediction, biomedical image processing, analysis and visualization, and high-performance computing. It also discusses state-of-the-art tools for disease characterization, and recent advances in areas such as biomechanics, cardiovascular engineering, patient-specific modeling, population-based modeling, multiscale modeling, image processing, data mining, biomedical decision-support systems, signal processing, biomaterials and dental biomechanics, tissue and cell engineering, computational chemistry and high-performance computing. As such, it is a valuable resource for researchers, medical and bioengineering students, and medical device and software experts

This book offers a compendium of best practices in game dynamics. It covers a wide range of dynamic game elements ranging from player behavior over artificial intelligence to procedural content generation. Such dynamics make virtual worlds more lively and realistic and they also create the potential for moments of amazement and surprise. In many cases, game dynamics are driven by a combination of random seeds, player records and procedural algorithms. Games can even incorporate the player's real-world behavior to create dynamic responses. The best practices illustrate how dynamic elements improve the user experience and increase the replay value. The book draws upon interdisciplinary approaches; researchers and practitioners from Game Studies, Computer Science, Human-Computer Interaction, Psychology and other disciplines will find this book to be an exceptional resource of both creative inspiration and hands-on process knowledge.

This monograph presents new algorithms for formation control of multi-agent systems (MAS) based on principles of continuum mechanics. Beginning with an overview of traditional methods, the author then introduces an innovative new approach whereby agents of an MAS are considered as particles in a continuum evolving in n whose desired configuration is required to satisfy an admissible deformation function. The necessary theory and its validation on a mobile-agent-based swarm test bed are considered for two primary tasks: homogeneous transformation of the MAS and deployment of a random distribution of agents on a desired configuration. The framework for this model is based on homogeneous transformations for the evolution of an MAS under no inter-agent communication, local inter-agent communication, and intelligent perception by agents. Different communication protocols for MAS evolution, the robustness of tracking of a desired motion by an MAS evolving in n, and the effect of communication delays in an MAS evolving under consensus algorithms or homogeneous maps are also explored. Featuring appendices which introduce the requisite concepts from continuum kinematics and graph theory, this monograph will provide advanced graduate students and researchers with the necessary background to understand and apply the methods presented.

This book delves into various solution paradigms such as artificial neural network, support vector machine, wavelet transforms, evolutionary computing, swarm intelligence. During the last decade, novel solution technologies based on human and species intelligence have gained immense popularity due to their flexible and unconventional approach. New analytical tools are also being developed to handle big data processing and smart decision making. The idea behind compiling this work is to familiarize researchers, academicians, industry persons and students with various applications of intelligent techniques for producing sustainable, cost-effective and robust solutions of frequently encountered complex, real-world problems in engineering and science disciplines. The practical problems in smart grids, communication, waste management, elimination of harmful elements from nature, etc., are identified, and smart and optimal solutions are proposed.