Soft Computing Based Modeling in Intelligent Systems

This volume contains the papers presented at INDIA-2012: International conference on Information system Design and Intelligent Applications held on January 5-7, 2012 in Vishakhapatnam, India. This co

This book is focused on mathematical analysis and rigorous design methods for fuzzy control systems based on Takagi-Sugeno fuzzy models, sometimes called Takagi-Sugeno-Kang models.

Communication systems are now ubiquitous and making them more intelligent remains very challenging. The IFIP International Conference on Intelligence in Communication Systems is an effort to bring to

Whether different types of costs are to be reduced, benefits to be maximized or scarce resources?to be managed, scheduling theory provides intelligent methods for practitioners and scientists. The jus

"Piezoelectric-Based Vibration-control Systems: Applications in Micro/Nano Sensors and Actuators" covers: Fundamental concepts in smart (active) materials including piezoelectric and piezoceramics, m

Since SAP is emphasizing recent developments in operations management in its SCM initiative, this book describes the methodological background from the viewpoint of a company using SAP systems. It des

A considerable amount of scientific evidence has been collected leading to the conclusion that urban wastewater components should be designed as one integrated system, in order to protect the receivin

Fuzzy logic control (FLC) has proven to be a popular control methodology for many complex systems in industry, and is often used with great success as an alternative to conventional control techniques

Examines recent advances in design, modeling, and implementation of dataflow and multithreaded computers. The text contains reports concerning many of the world's leading projects engaged in the conti

New modeling and computing methods have the potential to expand the breadth of social science research. In this book, Janez Povh brings together top researchers from several different fields to explor

Originally published in 1972. Managers at all levels and management students may all expect to become involved increasingly in the development of computer-based information systems. This book, based u

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org.

Scientists and engineers from around the world report and review recent research results in artificial immune systems, often as combined with other methods of natural computing, which is engaged with

Based on contributions from members of the Legumes Future research consortium in addition to those working outside of the project, this book acts as a complete and coherent overarching review of legum

This book presents research work into the reliability of drinking water pipes. The infrastructure of water pipes is susceptible to routine failures, namely leakage or breakage, which occur in an aggre

This SpringerBrief reviews the existing market-oriented strategies for economically managing resource allocation in distributed systems. It describes three new schemes that address cost-efficiency, us

The design of formal calculi in which fundamental concepts underlying interactive systems can be described and studied has been a central theme of theoretical computer science in recent decades, while

This first volume of a set dedicated to the reliability of high-power mechatronic systems focuses specifically on simulation, modeling and optimization in automotive and aerospace applications. In th

Object-Oriented Analysis and Design for Information Systems clearly explains real object-oriented programming in practice. Expert author Raul Sidnei Wazlawick explains concepts such as object responsi

As austerity measures have led to greater struggles over limited governmental funding, there has in recent years been increasing interest in Payment by Results, or Payment for Success, as a model for

Based around eleven international real life case studies and including contributions from leading experts in the field this groundbreaking book explores the need for the grid-enabling of data mining a

This book is intended to introduce the principles of the Event-Driven and Service-Oriented Architecture (SOA 2.0) and its role in the new interconnected world based on the cloud computing architecture