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.

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 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.

Fuzzy Modeling and Genetic Algorithms for Data Mining and Exploration is a handbook for analysts, engineers, and managers involved in developing data mining models in business and government. As you'll discover, fuzzy systems are extraordinarily valuable tools for representing and manipulating all kinds of data, and genetic algorithms and evolutionary programming techniques drawn from biology provide the most effective means for designing and tuning these systems.
You don't need a background in fuzzy modeling or genetic algorithms to benefit, for this book provides it, along with detailed instruction in methods that you can immediately put to work in your own projects. The author provides many diverse examples and also an extended example in which evolutionary strategies are used to create a complex scheduling system.
* Written to provide analysts, engineers, and managers with the background and specific instruction needed to develop and implement more effective data mining systems.
* Helps you to understand the trade-offs implicit in various models and model architectures.
* Provides extensive coverage of fuzzy SQL querying, fuzzy clustering, and fuzzy rule induction.
* Lays out a roadmap for exploring data, selecting model system measures, organizing adaptive feedback loops, selecting a model configuration, implementing a working model, and validating the final model.
* In an extended example, applies evolutionary programming techniques to solve a complicated scheduling problem.
* Presents examples in C, C++, Java, and easy-to-understand pseudo-code.
* Extensive online component, including sample code and a complete data mining workbench.

These proceedings present the latest information on intelligent- transportation technologies and their applications in real-world cases. The Second International Conference on Intelligent Transportation was held in Chengdu, China on November 25-27, 2015, to present the latest research in the field, including intelligent-transportation management, intelligent vehicles, rail transportation systems, traffic transportation networks, as well as road traffic element simulations and their industrial development. The aim of conference was to bring together academics, researchers, engineers and students from across the world to discuss state-of-the-art technologies related to intelligent transportation.

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.

Artificial intelligence (AI) is influencing the future of almost every sector and human being. AI has been the primary driving force behind emerging technologies such as big data, blockchain, robots, and the internet of things (IoT), and it will continue to be a technological innovator for the foreseeable future. New algorithms in AI are changing business processes and deploying AI-based applications in various sectors. The Handbook of Research on AI and Knowledge Engineering for Real-Time Business Intelligence is a comprehensive reference that presents cases and best practices of AI and knowledge engineering applications on business intelligence. Covering topics such as deep learning methods, face recognition, and sentiment analysis, this major reference work is a dynamic resource for business leaders and executives, IT managers, AI scientists, students and educators of higher education, librarians, researchers, and academicians.

This proceeding features papers discussing big data innovation for sustainable cognitive computing. The papers feature detail on cognitive computing and its self-learning systems that use data mining, pattern recognition and natural language processing (NLP) to mirror the way the human brain works. This international conference focuses on cognitive computing technologies, from knowledge representation techniques and natural language processing algorithms to dynamic learning approaches. Topics covered include Data Science for Cognitive Analysis, Real-Time Ubiquitous Data Science, Platform for Privacy Preserving Data Science, and Internet-Based Cognitive Platform. The EAI International Conference on Big Data Innovation for Sustainable Cognitive Computing (BDCC 2018), took place on 13 - 15 December 2018 in Coimbatore, India.

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 volume presents the second 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 second volume provides a compact yet broad view of recent developments in Data, Systems, Services and Education, and covers recent research areas in the field including Control Systems, Software Engineering, Data Mining and Big Data, ICT for Education and Support Activities, Networking, Cloud Computing and Security, ICT Based Services and Applications, Mobile Agent Systems, Software Engineering, Data Mining and Big Data, Online Experimentation & Artificial Intelligence in Education, Networking, Cloud Computing and Security, ICT Based Education and Services ICT Challenges and Applications, Advances in ICT Modeling and Design ICT Developments.

This unique book discusses machine understanding (MU). This new branch of classic machine perception research focuses on perception that leads to understanding and is based on the categories of sensory objects. In this approach the visual and non-visual knowledge, in the form of visual and non-visual concepts, is used in the complex reasoning process that leads to understanding. The book presents selected new concepts, such as perceptual transformations, within the machine understanding framework, and uses perceptual transformations to solve perceptual problems (visual intelligence tests) during understanding, where understanding is regarded as an ability to solve complex visual problems described in the authors' previous books. Thanks to the uniqueness of the research topics covered, the book appeals to researchers from a wide range of disciplines, especially computer science, cognitive science and philosophy.

This book presents original research articles addressing various aspects of economics, management and optimization. The topics discussed include economics, finance, marketing, resource allocation strategies, fuzzy logic, and network-based techniques for the analysis of economics, management and mathematical optimization. Combining the input of contributing professors and researchers from various Spanish, Italian and Latin American universities, the book will be of interest to students, researchers and practitioners, as well as members of the general public interested in the world of Economics and Management.

This book explores the ways in which the broad range of technologies that make up the smart city infrastructure can be harnessed to incorporate more playfulness into the day-to-day activities that take place within smart cities, making them not only more efficient but also more enjoyable for the people who live and work within their confines. The book addresses various topics that will be of interest to playable cities stakeholders, including the human-computer interaction and game designer communities, computer scientists researching sensor and actuator technology in public spaces, urban designers, and (hopefully) urban policymakers. This is a follow-up to another book on Playable Cities edited by Anton Nijholt and published in 2017 in the same book series, Gaming Media and Social Effects.

This book offers a comprehensive reference guide to intelligence systems in environmental management. It provides readers with all the necessary tools for solving complex environmental problems, where classical techniques cannot be applied. The respective chapters, written by prominent researchers, explain a wealth of both basic and advanced concepts including ant colony, genetic algorithms, evolutionary algorithms, fuzzy multi-criteria decision making tools, particle swarm optimization, agent-based modelling, artificial neural networks, simulated annealing, Tabu search, fuzzy multi-objective optimization, fuzzy rules, support vector machines, fuzzy cognitive maps, cumulative belief degrees, and many others. To foster a better understanding, all the chapters include relevant numerical examples or case studies. Taken together, they form an excellent reference guide for researchers, lecturers and postgraduate students pursuing research on complex environmental problems. Moreover, by extending all the main aspects of classical environmental solution techniques to its intelligent counterpart, the book presents a dynamic snapshot on the field that is expected to stimulate new directions and stimulate new ideas and developments.

This book presents state-of-the-art computational attention models that have been successfully tested in diverse application areas and can build the foundation for artificial systems to efficiently explore, analyze, and understand natural scenes. It gives a comprehensive overview of the most recent computational attention models for processing visual and acoustic input. It covers the biological background of visual and auditory attention, as well as bottom-up and top-down attentional mechanisms and discusses various applications. In the first part new approaches for bottom-up visual and acoustic saliency models are presented and applied to the task of audio-visual scene exploration of a robot. In the second part the influence of top-down cues for attention modeling is investigated.

In an evaluation of the strengths and limitations of artificial intelligence in a number of intellectual domains, Wagman draws comparisons with human cognitive ability in those domains, and assesses its role as a theoretical model, as a collaborator, or as a competitor of the human mind. This book distinguishes itself in its structured and detailed account of advancing intellectual developments in the science of artificial intelligence as opposed to a highly technical or vague philosophical treatment of the topic.

This book presents a cutting-edge research procedure in the Nature-Inspired Computing (NIC) domain and its connections with computational intelligence areas in real-world engineering applications. It introduces readers to a broad range of algorithms, such as genetic algorithms, particle swarm optimization, the firefly algorithm, flower pollination algorithm, collision-based optimization algorithm, bat algorithm, ant colony optimization, and multi-agent systems. In turn, it provides an overview of meta-heuristic algorithms, comparing the advantages and disadvantages of each. Moreover, the book provides a brief outline of the integration of nature-inspired computing techniques and various computational intelligence paradigms, and highlights nature-inspired computing techniques in a range of applications, including: evolutionary robotics, sports training planning, assessment of water distribution systems, flood simulation and forecasting, traffic control, gene expression analysis, antenna array design, and scheduling/dynamic resource management.

This book describes load modeling approaches for complex work pieces and batch forgings, and demonstrates analytical modeling and data-driven modeling approaches for known and unknown complex forging processes. It overcomes the current shortcomings of modeling, analysis and control approaches, presenting contributions in three major areas: In the first, several novel modeling approaches are proposed: a process/shape-decomposition modeling method to help estimate the deformation force; an online probabilistic learning machine for the modeling of batch forging processes; and several data-driven identification and modeling approaches for unknown forging processes under different work conditions. The second area develops model-based dynamic analysis methods to derive the conditions of stability and creep. Lastly, several novel intelligent control methods are proposed for complex forging processes. One of the most serious problems in forging forming involves the inaccurate forging conditions, velocity and position offered by the hydraulic actuator due to the complexity of both the deformation process of the metal work piece and the motion process of the hydraulic actuator. The book summarizes the current weaknesses of modeling, analysis and control approaches. are summarized as follows: a) With the current modeling approaches it is difficult to model complex forging processes with unknown parameters, as they only model the dynamics in local working areas but do not effectively model unknown nonlinear systems across multiple working areas; further, they do not take the batch forging process into account, let alone its distribution modeling. b) All previous dynamic analysis studies simplify the forging system to having a single-frequency pressure fluctuation and neglect the influences of non-linear load force. Further, they fail to take the flow equation in both valves and cylinders into account. c) Conventional control approaches only consider the linear deformation force and pay no attention to sudden changes and the motion synchronization for the multi-cylinder system, making them less effective for complex, nonlinear time-varying forging processes subject to sudden changes.

This book proposes several commonly used interval-valued solution concepts of interval-valued cooperative games with transferable utility. It thoroughly investigates these solutions, thereby establishing the properties, models, methods, and applications. The first chapter proposes the interval-valued least square solutions and quadratic programming models, methods, and properties. Next, the satisfactory-degree-based non-linear programming models for computing interval-valued cores and corresponding bisection algorithm are explained. Finally, the book explores several simplification methods of interval-valued solutions: the interval-valued equal division and equal surplus division values; the interval-valued Shapley, egalitarian Shapley, and discounted Shapley values; the interval-valued solidarity and generalized solidarity values; and the interval-valued Banzhaf value. This book is designed for individuals from different fields and disciplines, such as decision science, game theory, management science, operations research, fuzzy sets or fuzzy mathematics, applied mathematics, industrial engineering, finance, applied economics, expert system, and social economy as well as artificial intelligence. Moreover, it is suitable for teachers, postgraduates, and researchers from different disciplines: decision analysis, management, operations research, fuzzy mathematics, fuzzy system analysis, applied mathematics, systems engineering, project management, supply chain management, industrial engineering, applied economics, and hydrology and water resources.

This PALO volume constitutes the Proceedings of the 19th Asia Pacific Symposium on Intelligent and Evolutionary Systems (IES 2015), held in Bangkok, Thailand, November 22-25, 2015. The IES series of conference is an annual event that was initiated back in 1997 in Canberra, Australia. IES aims to bring together researchers from countries of the Asian Pacific Rim, in the fields of intelligent systems and evolutionary computation, to exchange ideas, present recent results and discuss possible collaborations. Researchers beyond Asian Pacific Rim countries are also welcome and encouraged to participate. The theme for IES 2015 is "Transforming Big Data into Knowledge and Technological Breakthroughs". The host organization for IES 2015 is the School of Information Technology (SIT), King Mongkut's University of Technology Thonburi (KMUTT), and it is technically sponsored by the International Neural Network Society (INNS). IES 2015 is collocated with three other conferences; namely, The 6th International Conference on Computational Systems-Biology and Bioinformatics 2015 (CSBio 2015), The 7th International Conference on Advances in Information Technology 2015 (IAIT 2015) and The 10th International Conference on e-Business 2015 (iNCEB 2015), as a major part of series of events to celebrate the SIT 20th anniversary and the KMUTT 55th anniversary.

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.

This book gathers the peer-reviewed proceedings of the 12th Annual Meeting of the Bulgarian Section of the Society for Industrial and Applied Mathematics, BGSIAM'17, held in Sofia, Bulgaria, in December 2017. The general theme of BGSIAM'17 was industrial and applied mathematics, with a particular focus on: high-performance computing, numerical methods and algorithms, analysis of partial differential equations and their applications, mathematical biology, control and uncertain systems, stochastic models, molecular dynamics, neural networks, genetic algorithms, metaheuristics for optimization problems, generalized nets, and Big Data.