This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of interest to pure and applied logicians, philosophers and computer scientists as a monograph on a kind of paraconsistent logic. But, the layman will also take profit from its reading.

This book proposes an applied epistemological framework for investigating science, social cognition and religious thinking based on inferential patterns that recur in the different domains. It presents human rationality as a tool that allows us to make sense of our (physical or social) surroundings. It shows that the resulting cognitive activity produces a broad spectrum of outputs, such as scientific models and experimentation, gossip and social networks, but also ancient and contemporary deities. The book consists of three parts, the first of which addresses scientific modeling and experimentation, and their application to the analysis of scientific rationality. Thus, this part continues the tradition of eco-cognitive epistemology and abduction studies. The second part deals with the relationship between social cognition and cognitive niche construction, i.e. the evolutionarily relevant externalization of knowledge onto the environment, while the third part focuses on what is commonly defined as “irrational�, thus being in a way dialectically opposed to the first part. Here, the author demonstrates that the “irrational� can be analyzed by applying the same epistemological approach used to study scientific rationality and social cognition; also in this case, we see the emergence of patterns of rationality that regulate the relationships between agents and their environment. All in all, the book offers a coherent and unitary account of human rationality, providing a basis for new conceptual connections and theoretical speculations.

This book, which goes far beyond a traditional collection of technical articles, is dedicated to Enric Trillas, a fuzzy systems pioneer but also an internationally renowned researcher in other areas of science, such as mathematics and aerospace, and an outstanding manager of scientific affairs in Spain. Some of the contributions in this book develop technical, state-of-the-art themes obviously related to fuzzy logic, while others resemble popular-science articles that shed light on complex mathematical concepts. There are also chapters that highlight the authors’ personal relationships and experiences working with Enric Trillas. While planning this book project, the editors decided to give contributors absolute freedom of thought and expression in preparing their chapters. The result is a colorful and inspiring mixture of styles and topics, which perfectly reflects Enric Trillas’s multifaceted contributions to research and his outstanding role in promoting education and technological transfer in the field of soft computing. This Festschrift to Enric Trillas, published on the occasion of his 75th birthday, is not only intended as an exemplary source of information for young scientists dealing with uncertainty, imprecision and accuracy of models, but also as an inspiring guide to the role of scientists in education, politics and communication.

This book presents the results of discussions and presentation from the latest ISDT event (2014) which was dedicated to the 94th birthday anniversary of Prof. Lotfi A. Zade, father of Fuzzy logic. The book consists of three main chapters, namely: Chapter 1: Integrated Systems Design Chapter 2: Knowledge, Competence and Business Process Management Chapter 3: Integrated Systems Technologies Each article presents novel and scientific research results with respect to the target goal of improving our common understanding of KT integration.

The book examines the emerging approach of using qualitative methods, such as interviews and field observations, in the philosophy of science. Qualitative methods are gaining popularity among philosophers of science as more and more scholars are resorting to empirical work in their study of scientific practices. At the same time, the results produced through empirical work are quite different from those gained through the kind of introspective conceptual analysis more typical of philosophy. This volume explores the benefits and challenges of an empirical philosophy of science and addresses questions such as: What do philosophers gain from empirical work? How can empirical research help to develop philosophical concepts? How do we integrate philosophical frameworks and empirical research? What constraints do we accept when choosing an empirical approach? What constraints does a pronounced theoretical focus impose on empirical work? Nine experts discuss their thoughts and empirical results in the chapters of this book with the aim of providing readers with an answer to these questions.

This book presents and discusses the main strategic and organizational challenges posed by Big Data and analytics in a manner relevant to both practitioners and scholars. The first part of the book analyzes strategic issues relating to the growing relevance of Big Data and analytics for competitive advantage, which is also attributable to empowerment of activities such as consumer profiling, market segmentation, and development of new products or services. Detailed consideration is also given to the strategic impact of Big Data and analytics on innovation in domains such as government and education and to Big Data-driven business models. The second part of the book addresses the impact of Big Data and analytics on management and organizations, focusing on challenges for governance, evaluation, and change management, while the concluding part reviews real examples of Big Data and analytics innovation at the global level. The text is supported by informative illustrations and case studies, so that practitioners can use the book as a toolbox to improve understanding and exploit business opportunities related to Big Data and analytics.

The book is inspired by the second seminar in a cycle connected to the celebrations of the 150th anniversary of the Politecnico di Milano. "Working with the Image Description Processing Prediction" was the motto of this meeting, aiming to point out the role of Visual Language not only in describing reality, but also in supporting the thinking processes in Science (prediction), in Art (invention), in Technical studies (prevision) and in identifying and working on both visible and invisible phenomena. As John Barrow states, "So often a picture is better than a thousand words" and "The visual language is the most natural, while the other language could reasonably be considered as 'postscripts' to the human story". The essays included in the volume (from lectures, the poster session, interviews and round table) will show the wide range of technical possibilities connected with the present use of the Image, especially thanks to Computer Graphics, from 3D Modeling to Augmented Reality, while also offering a glimpse of interesting theoretical perspectives. In the end, as noted by Martin Heidegger, the word "theory" not only comes from the Ancient Greek verb "theoreo", that is "to see, to observe", but it also echoes the words "theos" and "thea", namely "god" and "goddess", and above all, it shares the root with the term "aletheia", which is the "truth", which is not far from the ultimate goal of research.

Providing a comprehensive overview of various methods and applications in decision engineering, this book presents chapters written by a range experts in the field. It presents conceptual aspects of decision support applications in various areas including finance, vendor selection, construction, process management, water management and energy, agribusiness , production scheduling and control, and waste management. In addition to this, a special focus is given to methods of multi-criteria decision analysis. Decision making in organizations is a recurrent theme and is essential for business continuity.  Managers from various fields including public, private, industrial, trading or service sectors are required to make decisions. Consequently managers need the support of these structured methods in order to engage in effective decision making. This book provides a valuable resource for graduate students, professors and researchers of decision analysis, multi-criteria decision analysis and group decision analysis. It is also intended for production engineers, civil engineers and engineering consultants.

This book combines a scholarly introduction with state-of-the-art research in the characterization of Internet addiction. It is intended for a broad audience including scientists, students and practitioners. The first part of the book contains an introduction to Internet addiction and their pathogenesis. The second part of the book is dedicated to an in-depth review of neuroscientific findings which cover studies using a variety of biological techniques including brain imaging and molecular genetics. The last part of the book will focus on therapeutic interventions for Internet addiction.

This contributed volume contains the conference proceedings of the Simulation of Urban Mobility (SUMO) conference 2014, Berlin. The included research papers cover a wide range of topics in traffic planning and simulation, including open data, vehicular communication, e-mobility, urban mobility, multimodal traffic as well as usage approaches. The target audience primarily comprises researchers and experts in the field, but the book may also be beneficial for graduate students.

This book provides an emerging computational intelligence tool in the framework of collective intelligence for modeling and controlling distributed multi-agent systems referred to as Probability Collectives. In the modified Probability Collectives methodology a number of constraint handling techniques are incorporated, which also reduces the computational complexity and improved the convergence and efficiency. Numerous examples and real world problems are used for illustration, which may also allow the reader to gain further insight into the associated concepts.

This book introduces readers to fundamental concepts in fuzzy logic. It describes the necessary theoretical background and a number of basic mathematical models. Moreover, it makes them familiar with fuzzy control, an important topic in the engineering field. The book offers an unconventional introductory textbook on fuzzy logic, presenting theory together with examples and not always following the typical mathematical style of theorem-corollaries. Primarily intended to support engineers during their university studies, and to spark their curiosity about fuzzy logic and its applications, the book is also suitable for self-study, providing a valuable resource for engineers and professionals who deal with imprecision and non-random uncertainty in real-world applications.

This research monograph focuses on the design of arithmetic circuits in Quantum Dot Cellular Automata (QCA). Using the fact that the 3-input majority gate is a primitive in QCA, the book sets out to discover hitherto unknown properties of majority logic in the context of arithmetic circuit designs. The pursuit for efficient adders in QCA takes two forms. One involves application of the new results in majority logic to existing adders. The second involves development of a custom adder for QCA technology. A QCA adder named as hybrid adder is proposed and it is shown that it outperforms existing multi-bit adders with respect to area and delay. The work is extended to the design of a low-complexity multiplier for signed numbers in QCA. Furthermore the book explores two aspects unique to QCA technology, namely thermal robustness and the role of interconnects. In addition, the book introduces the reader to QCA layout design and simulation using QCADesigner. Features & Benefits: This research-based book: ·Introduces the reader to Quantum Dot Cellular Automata, an emerging nanotechnology. ·Explores properties of majority logic. ·Demonstrates application of the properties to design efficient arithmetic circuits. ·Guides the reader towards layout design and simulation in QCADesigner.

This book provides readers with extensive information on path planning optimization for both single and multiple Autonomous Guided Vehicles (AGVs), and discusses practical issues involved in advanced industrial applications of AGVs. After discussing previously published research in the field and highlighting the current gaps, it introduces new models developed by the authors with the goal of reducing costs and increasing productivity and effectiveness in the manufacturing industry. The new models address the increasing complexity of manufacturing networks, due for example to the adoption of flexible manufacturing systems that involve automated material handling systems, robots, numerically controlled machine tools, and automated inspection stations, while also considering the uncertainty and stochastic nature of automated equipment such as AGVs. The book discusses and provides solutions to important issues concerning the use of AGVs in the manufacturing industry, including material flow optimization with AGVs, programming manufacturing systems equipped with AGVs, reliability models, the reliability of AGVs, routing under uncertainty, and risks involved in AGV-based transportation. The clear style and straightforward descriptions of problems and their solutions make the book an excellent resource for graduate students. Moreover, thanks to its practice-oriented approach, the novelty of the findings and the contemporary topic it reports on, the book offers new stimulus for researchers and practitioners in the broad field of production engineering.

This book is a tribute to 40 years of contributions by Professor Mo Jamshidi who is a well known and respected scholar, researcher, and educator. Mo Jamshidi has spent his professional career formalizing and extending the field of large-scale complex systems (LSS) engineering resulting in educating numerous graduates specifically, ethnic minorities. He has made significant contributions in modeling, optimization, CAD,  control and applications of large-scale systems leading to his current global role in formalizing  system of systems engineering (SoSE), as a new field. His books on complex LSS and SoSE have filled a vacuum in cyber-physical systems literature for the 21st Century. His contributions to ethnic minority engineering education commenced with his work at the University of New Mexico (UNM, Tier-I Hispanic Serving Institution) in 1980 through a NASA JPL grant. Followed by several more major federal grants, he formalized a model for educating minorities, called VI-P Pyramid where K-12 students(bottom of pyramid) to doctoral (top of pyramid) students form a seamless group working on one project. Upper level students mentor lower ones on a sequential basis. Since 1980, he has graduated over 114 minority students consisting of 62 Hispanics, 34 African Americans., 15 Native Americans, and 3 Pacific Islanders.  This book contains contributed chapters from colleagues, and former and current students of Professor Jamshidi. Areas of focus are: control systems, energy and system of systems, robotics and soft computing.

This book examines agile approaches from a management perspective by focusing on matters of strategy, implementation, organization and people. It examines the turbulence of the marketplace and business environment in order to identify what role agile management has to play in coping with such change and uncertainty. Based on observations, personal experience and extensive research, it clearly identifies the fabric of the agile organization, helping managers to become agile leaders in an uncertain world. The book opens with a broad survey of agile strategies, comparing and contrasting some of the major methodologies selected on the basis of where they lie on a continuum of ceremony and formality, ranging from the minimalist technique-driven and software engineering focused XP, to the pragmatic product-project paradigm that is Scrum and its scaled counterpart SAFe®, to the comparatively project-centric DSDM. Subsequently, the core of the book focuses on DSDM, owing to the method’s comprehensive elaboration of program and project management practices. This work will chiefly be of interest to all those with decision-making authority within their organizations (e.g., senior managers, line managers, program, project and risk managers) and for whom topics such as strategy, finance, quality, governance and risk management constitute a daily aspect of their work. It will, however, also be of interest to those readers in advanced management or business administration courses (e.g., MBA, MSc), who wish to engage in the management of agile organizations and thus need to adapt their skills and knowledge accordingly.

This book contains all refereed papers that were accepted to the first edition of the Asia-Pacific conference on « Complex Systems Design & Management » (CSD&M Asia 2014) that took place in Singapore from December 10 to December 12, 2014 (Website: http://www.2014.csdm-asia.net/). These proceedings cover the most recent trends in the emerging field of Complex Systems, both from an academic and a professional perspective. A special focus is put on Designing Smart cities. The CSD&M Asia 2014 conference is organized under the guidance of the Center of Excellence on Systems Architecture, Management, Economy and Strategy, CESAMES, non-profit organization, address: CESAMES, 8 rue de Hanovre, 75002 Paris, France ( Website : http://www.cesames.net/en).

The book is inspired by the first seminar in a cycle connected to the celebrations of the 150th anniversary of the Politecnico di Milano. "Dealing with the Image Ivory Towers and Virtual Bridges" was the motto of this meeting, aiming to stimulate a discussion among engineers, designers and architects, all of whom are traditionally involved in the use of the Image as a specialized language supporting their work, their research activities and their educational tasks. The book will also include the essays of invited or interviewed authors from other disciplines, namely Philosophy, Mathematics and Semiotics. According to Regis Debray, in the present "Visual Age", which he has significantly defined as a "Video-Sphere", all the information tends to be processed and controlled by means of visual devices. This occurs especially in the various branches of many technical studies and activities, one of the most sensitive areas to the use of Visual Language in the past and even more in the present.

Presenting techniques, case-studies and methodologies that combine the use of simulation approaches with optimization techniques for facing problems in manufacturing, logistics, or aeronautical problems, this book provides solutions to common industrial problems in several fields, which range from manufacturing to aviation problems, where the common denominator is the combination of simulation’s flexibility with optimization techniques’ robustness. Providing readers with a comprehensive guide to tackle similar issues in industrial environments, this text explores novel ways to face industrial problems through hybrid approaches (simulation-optimization) that benefit from the advantages of both paradigms, in order to give solutions to important problems in service industry, production processes, or supply chains, such as scheduling, routing problems and resource allocations, among others.

This book presents recent research using cognitive science to apprehend risk situations and elaborate new organizations, new systems and new methodological tools in response. The book demonstrates the reasons, advantages and implications of the association of the concepts of cognition and risk. It is shown that this association has strong consequences on how to apprehend critical situations that emerge within various activity domains, and how to elaborate responses to these critical situations.. The following topics are covered by the book: ·     Influence of the culture in risk management, ·     Influence of the risk communication in risk management, ·     User-centred design to improve risk situation management, ·     Designing new tools to assist risk situation management, ·     Risk prevention in industrial activities.

The present book is the result of a three year research project which investigated the creative act of composing by means of algorithmic composition. Central to the investigation are the compositional strategies of 12 composers, which were documented through a dialogic and cyclic process of modelling and evaluating musical materials. The aesthetic premises and compositional approaches configure a rich spectrum of diverse positions, which is reflected also in the kinds of approaches and methods used. These approaches and methods include the generation and evaluation of chord sequences using genetic algorithms, the application of morphing strategies to research harmonic transformations, an automatic classification of personal preferences via machine learning, and an application of mathematical music theory to the analysis and resynthesis of musical material. The second part of the book features contributions by Sandeep Bhagwati, William Brooks, David Cope, Darla Crispin, Nicolas Donin, and Guerino Mazzola. These authors variously consider the project from different perspectives, offer independent approaches, or provide more general reflections from their respective research fields.

This pioneering book develops definitions and concepts related to Quality of Experience in the context of multimedia- and telecommunications-related applications, systems and services and applies these to various fields of communication and media technologies. The editors bring together numerous key-protagonists of the new discipline “Quality of Experience� and combine the state-of-the-art knowledge in one single volume.

This book presents interesting, important unsolved problems in the mathematical and computational sciences. The contributing authors are leading researchers in their fields and they explain outstanding challenges in their domains, first by offering basic definitions, explaining the context, and summarizing related algorithms, theorems, and proofs, and then by suggesting creative solutions.   The authors feel a strong motivation to excite deep research and discussion in the mathematical and computational sciences community, and the book will be of value to postgraduate students and researchers in the areas of theoretical computer science, discrete mathematics, engineering, and cryptology.

This volume gathers the peer reviewed papers presented at the 4th edition of the International Workshop “Service Orientation in Holonic and Multi-agent Manufacturing – SOHOMA’14� organized and hosted on November 5-6, 2014 by the University of Lorraine, France in collaboration with the CIMR Research Centre of the University Politehnica of Bucharest and the TEMPO Laboratory of the University of Valenciennes and Hainaut-Cambrésis. The book is structured in six parts, each one covering a specific research line which represents a trend in future manufacturing: (1) Holonic and Agent-based Industrial Automation Systems; (2) Service-oriented Management and Control of Manufacturing Systems; (3) Distributed Modelling for Safety and Security in Industrial Systems; (4) Complexity, Big Data and Virtualization in Computing-oriented Manufacturing; (5) Adaptive, Bio-inspired and Self-organizing Multi-Agent Systems for Manufacturing and (6) Physical Internet Simulation, Modelling and Control. There is a clear orientation of the SOHOMA’14 workshop towards complexity, which is a common view of all six parts. There is need for a framework allowing the development of manufacturing cyber physical systems including capabilities for complex event processing and data analytics which are expected to move the manufacturing domain closer towards cloud manufacturing within contextual enterprises. Recent advances in sensor, communication and intelligent computing technologies made possible the Internet connectivity of the physical world: the Physical Internet, where not only documents and images are created, shared, or modified in the cyberspace, but also the physical resources and products interact over Internet and make decisions based on shared communication.

Software and systems quality is playing an increasingly important role in the growth of almost all ─ profit and non-profit ─ organisations. Quality is vital to the success of enterprises in their markets. Most small trade and repair businesses use software systems in their administration and marketing processes. Every doctor’s surgery is managing its patients using software. Banking is no longer conceivable without software. Aircraft, trucks and cars use more and more software to handle their increasingly complex technical systems. Innovation, competition and cost pressure are always present in on-going business decisions. The question facing all these organisations is how to achieve the right quality of their software-based systems and products; how to get the required level of quality, a level that the market will reward, a level that mitigates the organisation’s risks and a level that the organisation is willing to pay for. Although a number of good practices are in place, there is still room for huge improvements. Thus, let us take a look into the two worlds of “Embedded systems� and “ICT systems� and let us learn from both worlds, from overlaps and individual solutions. The next step for industrialisation in the software industry is required now. Hence, three pillars will be focused in this book: (1) a fundamental notion of right software and systems quality (RiSSQ); (2) portfolio management, quality governance, quality management, and quality engineering as holistic approach over the three layers of an enterprise, i.e. strategic, tactical, and operational layer; and (3) an industrialisation framework for implementing our approach.