This book constitutes the proceedings of the 12th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2015, held in Barcelona, Spain, in May 2015. The 29 papers presented together with 8 short papers in this volume were carefully reviewed and selected from 90 submissions. The purpose of the confere…
Neutrosophic logic and set are gaining significant attention in solving many real-life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistency, and indeterminacy. A number of new neutrosophic theories have been proposed and have been applied in Multi-Criteria Decision-Making, computational intelligence, multiple-attribute decision-making, image processing, med…
This developmental-level mathematics textbook is intended for career-technical students. It was made possible by a grant from Open Oregon Educational Resources, which supports the development and implementation of high-quality materials at low or no cost to community college and university students. I hope that this qualifies as a “high quality” textbook, and I hope that it brings a bit …
This monograph presents in great detail a large number of both unpublished and previously published Babylonian mathematical texts in the cuneiform script. It is a continuation of the work A Remarkable Collection of Babylonian Mathematical Texts (Springer 2007) written by Jöran Friberg, the leading expert on Babylonian mathematics. Focussing on the big picture, Friberg explores in this book …
This book focuses on the factors that support the strengths of international airlines in general and the Asian airline carriers in particular. Defining the quality of human capital as the level of education and the competence of airline employees, it analyzes the efficiency of 39 airlines in various regions, both in terms of production and cost structures. It argues that, despite Asia’s well-…
The book reports on a new methodology for optimization and evaluation of traffic safety, which simulates the processes involved in traffic conflicts on the basis of detailed dynamical, human, and technical models. The models incorporate the whole spectrum of human cognitive functions and responses, the responses of an active safety system and the interactions between the human and the system as…
This book investigates the stability and vibrations of conductive, perfectly conductive and superconductive thin bodies in electromagnetic fields. It introduces the main principles and derives basic equations and relations describing interconnected mechanical and electromagnetic processes in deformable electro conductive bodies placed in an external inhomogeneous magnetic field and under the in…
This book presents novel and advanced topics in Medical Image Processing and Computational Vision in order to solidify knowledge in the related fields and define their key stakeholders. It contains extended versions of selected papers presented in VipIMAGE 2013? IV International ECCOMAS Thematic Conference on Computational Vision and Medical Image, which took place in Funchal, Madeira, Portugal…
The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-m…
This book is a guide to implement simple agent-based evolutionary models using NetLogo. All the models we implement are agent-based, i.e. individual agents and their interactions are explicitly represented in the models. To formalise agents’ interactions we use the basic framework of Evolutionary Game Theory. NetLogo is a multi-agent programmable modeling environment used by hundreds of…