This book explains the application of recent advances in computational intelligence – algorithms, design methodologies, and synthesis techniques – to the design of integrated circuits and systems. It highlights new biasing and sizing approaches and optimization techniques and their application to the design of high-performance digital, VLSI, radio-frequency, and mixed-signal circuits and systems. This second of two related volumes addresses digital and network designs and applications, with 12 chapters grouped into parts on digital circuit design, network optimization, and applications. It will be of interest to practitioners and researchers in computer science and electronics engineering engaged with the design of electronic circuits.

The purpose of this book is to examine the geospatial and temporal linkage between offshore supply vessels and oil and gas activity in the Outer Continental Shelf Gulf of Mexico, and to model OSV activity expected to result from future lease sales. Oil and gas operations occur throughout the world wherever commercial accumulations exist, but no quantitative assessment has ever been performed on the marine vessels that support offshore activity. The OCS Gulf of Mexico is the largest and most prolific offshore oil and gas basin in the world, and a large number of marine vessels are engaged in operations in the region, but tracking their activity is difficult and requires specialized data sources and the development of empirical models. The challenge of modeling arises from the complexity and size of the system, and the particular limitations governing stochastic difficult-to-observe networks. This book bridges the gap with the latest technological perspective and provides insight and computational methods to inform and better understand the offshore sector. Offshore Service Industry and Logistics Modeling in the Gulf of Mexico is presented in three parts.  In Part 1, background information on the life cycle stages of offshore development and activity is reviewed, along with a description of the service vessels and port infrastructure in the region.  In Part 2, OSV activity in the Gulf of Mexico is baselined using PortVision data to establish spatial and temporal characteristics of vessel activity. In Part 3, the analytic framework used to quantify the connection between OSVs, ports, and offshore activity is described, and activity expected to arise from the 2012-2017 OCS lease program is forecast. Providing an invaluable resource for academics and researchers, this book is also intended for government regulators, energy and environmental analysts, industry professionals, and others interested in this often-overlooked sector.

“Propagation, which looks at spreading in complex networks, can be seen from many viewpoints; it is undesirable, or desirable, controllable, the mechanisms generating that propagation can be the topic of interest, but in the end all depends on the setting. This book covers leading research on a wide spectrum of propagation phenomenon and the techniques currently used in its modelling, prediction, analysis and control. Fourteen papers range over topics including epidemic models, models for trust inference, coverage strategies for networks, vehicle flow propagation, bio-inspired routing algorithms, P2P botnet attacks and defences, fault propagation in gene-cellular networks, malware propagation for mobile networks, information propagation in crisis situations, financial contagion in interbank networks, and finally how to maximize the spread of influence in social networks. The compendium will be of interest to researchers, those working in social networking, communications and finance and is aimed at providing a base point for further studies on current research. Above all, by bringing together research from such diverse fields, the book seeks to cross-pollinate ideas, and give the reader a glimpse of the breath of current research.�

This book presents several intelligent approaches for tackling and solving challenging practical problems facing those in the petroleum geosciences and petroleum industry. Written by experienced academics, this book offers state-of-the-art working examples and provides the reader with exposure to the latest developments in the field of intelligent methods applied to oil and gas research, exploration and production. It also analyzes the strengths and weaknesses of each method presented using benchmarking, whilst also emphasizing essential parameters such as robustness, accuracy, speed of convergence, computer time, overlearning and the role of normalization. The intelligent approaches presented include artificial neural networks, fuzzy logic, active learning method, genetic algorithms and support vector machines, amongst others. Integration, handling data of immense size and uncertainty, and dealing with risk management are among crucial issues in petroleum geosciences. The problems we have to solve in this domain are becoming too complex to rely on a single discipline for effective solutions and the costs associated with poor predictions (e.g. dry holes) increase. Therefore, there is a need to establish a new approach aimed at proper integration of disciplines (such as petroleum engineering, geology, geophysics and geochemistry), data fusion, risk reduction and uncertainty management. These intelligent techniques can be used for uncertainty analysis, risk assessment, data fusion and mining, data analysis and interpretation, and knowledge discovery, from diverse data such as 3-D seismic, geological data, well logging, and production data. This book is intended for petroleum scientists, data miners, data scientists and professionals and post-graduate students involved in petroleum industry.

The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.

This book covers a wide spectrum of systems such as linear and nonlinear multivariable systems as well as control problems such as disturbance, uncertainty and time-delays. The purpose of this book is to provide researchers and practitioners a manual for the design and application of advanced discrete-time controllers. The book presents six different control approaches depending on the type of system and control problem. The first and second approaches are based on Sliding Mode control (SMC) theory and are intended for linear systems with exogenous disturbances. The third and fourth approaches are based on adaptive control theory and are aimed at linear/nonlinear systems with periodically varying parametric uncertainty or systems with input delay. The fifth approach is based on Iterative learning control (ILC) theory and is aimed at uncertain linear/nonlinear systems with repeatable tasks and the final approach is based on fuzzy logic control (FLC) and is intended for highly uncertain systems with heuristic control knowledge. Detailed numerical examples are provided in each chapter to illustrate the design procedure for each control method. A number of practical control applications are also presented to show the problem solving process and effectiveness with the advanced discrete-time control approaches introduced in this book.

This volume is devoted to interactive and iterative processes of decision-making– I2 Fuzzy Decision Making, in brief. Decision-making is inherently interactive. Fuzzy sets help realize human-machine communication in an efficient way by facilitating a two-way interaction in a friendly and transparent manner. Human-centric interaction is of paramount relevance as a leading guiding design principle of decision support systems. The volume provides the reader with an updated and in-depth material on the conceptually appealing and practically sound methodology and practice of I2 Fuzzy Decision Making. The book engages a wealth of methods of fuzzy sets and Granular Computing, brings new concepts, architectures and practice of fuzzy decision-making providing the reader with various application studies. The book is aimed at a broad audience of researchers and practitioners in numerous disciplines in which decision-making processes play a pivotal role and serve as a vehicle to produce solutions to existing problems. Those involved in operations research, management, various branches of engineering, social sciences, logistics, and economics will benefit from the exposure to the subject matter. The book may serve as a useful and timely reference material for graduate students and senior undergraduate students in courses on decision-making, Computational Intelligence, operations research, pattern recognition, risk management, and knowledge-based systems.

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 represents an attempt to fully review the phenomenon of the blogosphere. The intention is to provide a reliable guide to understanding and analyzing the world of the unimaginable number of diverse blogs, each consisting of innumerable posts, which in their entirety form the blogosphere. We go on to answer the questions of how to grasp the complexity of the blogosphere and extract useful knowledge from it. In setting out to write this book, our central aim was to increase the reader’s awareness and understanding of the blogosphere phenomenon, including its structure and characteristics. This can be achieved through a better understanding of individual blogs and their particular technical characteristics, as well as a deeper knowledge of how a single blog is embedded and interconnected within the entire blogosphere. The shape and form of the blogosphere can be described using the analogy of different continents. In our description the defining features and characteristics of the continents are illustrated by paradigmatic example blogs. Following on from the structural analysis we provide details of the available methods and describe the complex challenge of automatically retrieving information from the abundance of data contained in the blogosphere. Finally, we present our blog search platform, called BLOGINTELLIGENCE and describe all the tools and features we have developed during the last couple of years to explore the blogosphere.  

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.

The new multimedia standards (for example, MPEG-21) facilitate the seamless integration of multiple modalities into interoperable multimedia frameworks, transforming the way people work and interact with multimedia data. These key technologies and multimedia solutions interact and collaborate with each other in increasingly effective ways, contributing to the multimedia revolution and having a significant impact across a wide spectrum of consumer, business, healthcare, education, and governmental domains. This book aims to provide a complete coverage of the areas outlined and to bring together the researchers from academic and industry as well as practitioners to share ideas, challenges, and solutions relating to the multifaceted aspects of this field.

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 practically-focused text presents a hands-on guide to making biometric technology work in real-life scenarios. Extensively revised and updated, this new edition takes a fresh look at what it takes to integrate biometrics into wider applications. An emphasis is placed on the importance of a complete understanding of the broader scenario, covering technical, human and implementation factors. This understanding may then be exercised through interactive chapters dealing with educational software utilities and the BANTAM Program Manager. Features: provides a concise introduction to biometrics; examines both technical issues and human factors; highlights the importance of a broad understanding of biometric technology implementation from both a technical and operational perspective; reviews a selection of freely available utilities including the BANTAM Program Manager; considers the logical next steps on the path from aspiration to implementation, and looks towards the future use of biometrics in context.

This carefully edited volume is the outcome of the eleventh edition of the Workshop on Algorithmic Foundations of Robotics (WAFR), which is the premier venue showcasing cutting edge research in algorithmic robotics. The eleventh WAFR, which was held August 3-5, 2014 at Boğaziçi University in Istanbul, Turkey continued this tradition. This volume contains extended versions of the 42 papers presented at WAFR. These contributions highlight the cutting edge research in classical robotics problems (e.g.  manipulation, motion, path, multi-robot and kinodynamic planning), geometric and topological computation in robotics as well novel applications such as informative path planning, active sensing and surgical planning.  This book - rich by topics and authoritative contributors - is a unique reference on the current developments and new directions in the field of algorithmic foundations.

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.

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

The book is a collection of peer-reviewed scientific papers submitted by active researchers in the 37th National System Conference (NSC 2013). NSC is an annual event of the Systems Society of India (SSI), primarily oriented to strengthen the systems movement and its applications for the welfare of humanity. A galaxy of academicians, professionals, scientists, statesman and researchers from different parts of the country and abroad are invited to attend the conference. The book presents research articles in the areas of system’s modelling, complex network modelling, cyber security, sustainable systems design, health care systems, socio-economic systems, and clean and green technologies. The book can be used as a tool for further research.

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.

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.

This volume focuses on uncovering the fundamental forces underlying dynamic decision making among multiple interacting, imperfect and sel�sh decision makers. The chapters are written by leading experts from different disciplines, all considering the many sources of imperfection in decision making, and always with an eye to decreasing the myriad discrepancies between theory and real world human decision making. Topics addressed include uncertainty, deliberation cost and the complexity arising from the inherent large computational scale of decision making in these systems. In particular, analyses and experiments are presented which concern: • task allocation to maximize “the wisdom of the crowd�; • design of a society of “edutainment� robots who account for one anothers’ emotional states; • recognizing and counteracting seemingly non-rational human decision making; • coping with extreme scale when learning causality in networks; • ef�ciently incorporating expert knowledge in personalized medicine; • the effects of personality on risky decision making. The volume is a valuable source for researchers, graduate students and practitioners in machine learning, stochastic control, robotics, and economics, among other �elds.

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 book contains an interesting and state-of the art collection of chapters presenting several examples of attempts to developing modern tools utilizing computational intelligence in different real life problems encountered by humans. Reasoning, prediction, modeling, optimization, decision making, etc. need modern, soft and intelligent algorithms, methods and methodologies to solve, in the efficient ways, problems appearing in human activity. The contents of the book is divided into two parts. Part I, consisting of four chapters, is devoted to selected links of computational intelligence, medicine, health care and biomechanics. Several problems are considered: estimation of healthcare system reliability, classification of ultrasound thyroid images, application of fuzzy logic to measure weight status and central fatness, and deriving kinematics directly from video records. Part II, also consisting of four chapters, is devoted to selected links of computational intelligence and biology. The common denominator of three chapters is Physarum polycephalum, one-cell organisms able to build complex networks for solving different computational tasks. One chapter focuses on a novel device, the memristor, that has possible uses both in the creation of hardware neural nets for artificial intelligence and as the connection between a hardware neural net and a living neuronal cell network in the treatment and monitoring of neurological disease. This book is intended for a wide audience of readers who are interested in various aspects of computational intelligence.