Soft Computing Based Modeling in Intelligent Systems

In his study, Mahdi Derakhshanmanesh builds on the state of the art in modeling by proposing to integrate models into running software on the component-level without translating them to code. Such so-

This book compiles and critically discusses modern engineering system degradation models and their impact on engineering decisions. In particular, the authors focus on modeling the uncertain nature of

This book proposes systemic design methodologies applied to electrical energy systems, in particular integrated optimal design with modeling and optimization methods and tools.It is made up of six cha

This monograph provides an in-depth treatment of the class of linear-dynamical quantum systems. The monograph presents a detailed account of the mathematical modeling of these systems using linear alg

The purpose of this book is to provide a working knowledge and an exposure to cutting edge developments in operation and control of electric energy processing systems. The book focuses on the modeling

This timely text/reference describes the development and implementation of large-scale distributed processing systems using open source tools and technologies. Comprehensive in scope, the book present

The rapid introduction of sophisticated computers, services, telecommunications systems, and manufacturing systems has caused a major shift in the way people use and work with technology. It is not su

Written by one of the best known object-oriented practitioners in the business, Process Patterns is based on proven, real-world techniques. Scott Ambler shows readers how to deliver successfully large-scale applications using object technology, and he carefully describes how one develops applications that are truly easy to maintain and to enhance. He shows how such projects can be maintained, and points out what is necessary to ensure that one's development efforts are of the best quality. The object-oriented software process (OOSP) that he presents is geared toward medium to large-size organizations who need to develop software internally to support their main line of business. Developers and project managers who have just taken their first OO development course will find this book essential. It describes the only OOSP to take the true needs of development into consideration, including cross-project maintenance operations, and support issues. This book uses the Unified Modeling Langua

Stand-alone chapters in this book look at autonomous peer-to-peer web services models and emerging technologies. Major themes are multi-agent systems development, context searching, framework design,

After the successful introduction of acupuncture to the West, recent advances in analytical methods in chemistry, molecular biology and systems biology – especially the development of the “omic” techn

As digital circuit elements decrease in physical size, resulting in increasingly complex systems, a basic logic model that can be used in the control and design of a range of semiconductor devices is

A bridge between the application of subspace-based methods for parameter estimation in signal processing and subspace-based system identification in control systems Model-Based Processing: An Ap

In this book, the self-healing of composite structures with shape memory polymer as either matrix or embedded suture is systematically discussed. Self-healing has been well known in biological systems

This SpringerBrief explores graphical password systems and examines novel drawing-based methods in terms of security, usability, and human computer-interactions. It provides a systematic approach for

Multiple-input multiple-output (MIMO) systems can increase the spectral efficiency in wireless communications. However, the interference becomes the major drawback that leads to high computational com

Probabilistic Group Theory, Combinatorics and Computing is based on lecture courses held at the Fifth de Brun Workshop in Galway, Ireland in April 2011. Each course discusses computational and algorit

Dynamic programming is a method of solving multi-stage problems in which decisions at one stage become the conditions governing the succeeding stages. It can be applied to the management of water reservoirs, allowing them to be operated more efficiently. This is one of the few books dedicated solely to dynamic programming techniques used in reservoir management. It presents the applicability of these techniques and their limits on the operational analysis of reservoir systems. The dynamic programming models presented in this book have been applied to reservoir systems all over the world, helping the reader to appreciate the applicability and limits of these models. The book also includes a model for the operation of a reservoir during an emergency situation. This volume will be a valuable reference to researchers in hydrology, water resources and engineering, as well as professionals in reservoir management.

This book is a collection of lecture notes for the CIME course on "Multiscale and Adaptivity: Modeling, Numerics and Applications," held in Cetraro (Italy), in July 2009.Complex systems arise in sever

The premise of the book is that the study of money should commence at the most general level. Consequently, the book is anchored in the context of monetary systems (commodity, fiduciary, and fiat moni

Physics-based animation is commonplace in animated feature films and even special effects for live-action movies. Think about a recent movie and there will be some sort of special effects such as expl

As multi-phase metal/alloy systems and polymer, ceramic, or metal matrix composite materials are increasingly being used in industry, the science and technology for these heterogeneous materials has a

In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in compl

This work offers a new approach to complex system development in general and to project management in complex systems, based on activity domain theory (ADT) and on theoretical developments of meaning

In this book, a generic model in as far as possible mathematical closed-formis developed that predicts the behavior of large self-organizing robot groups (robot swarms) based on their control algorith

In a neo-liberal era where society in the Developed World is reliant on mass-produced cheap foods, and living standards are based on high consumption of non-renewable energy and materials, this book i

Mass communication in the midst of a crisis must be done in a targeted and timely manner to mitigate the impact and ultimately save lives. Based on sound research, real-world case studies, and the aut

Probability theory has diverse applications in a plethora of fields, including physics, engineering, computer science, chemistry, biology and economics. This book will familiarize students with various applications of probability theory, stochastic modeling and random processes, using examples from all these disciplines and more. The reader learns via case studies and begins to recognize the sort of problems that are best tackled probabilistically. The emphasis is on conceptual understanding, the development of intuition and gaining insight, keeping technicalities to a minimum. Nevertheless, a glimpse into the depth of the topics is provided, preparing students for more specialized texts while assuming only an undergraduate-level background in mathematics. The wide range of areas covered - never before discussed together in a unified fashion – includes Markov processes and random walks, Langevin and Fokker–Planck equations, noise, generalized central limit theorem and extreme values st

Probability theory has diverse applications in a plethora of fields, including physics, engineering, computer science, chemistry, biology and economics. This book will familiarize students with various applications of probability theory, stochastic modeling and random processes, using examples from all these disciplines and more. The reader learns via case studies and begins to recognize the sort of problems that are best tackled probabilistically. The emphasis is on conceptual understanding, the development of intuition and gaining insight, keeping technicalities to a minimum. Nevertheless, a glimpse into the depth of the topics is provided, preparing students for more specialized texts while assuming only an undergraduate-level background in mathematics. The wide range of areas covered - never before discussed together in a unified fashion – includes Markov processes and random walks, Langevin and Fokker–Planck equations, noise, generalized central limit theorem and extreme values st

This collection on case-based reasoning in the natural- and human sciences showcases some ways that scholars think with small instances while en route, or not, to more general laws.

This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. Using a familiar programming language, testers and analysts will learn to write models that describe how a program is supposed to behave. The authors work through several realistic case studies in depth and detail, using a toolkit built on the C# language and the .NET framework. Readers can also apply the methods in analyzing and testing systems in many other languages and frameworks. Intended for professional software developers including testers, and for university students, this book is suitable for courses on software engineering, testing, specification, or applications of formal methods.

This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. Using a familiar programming language, testers and analysts will learn to write models that describe how a program is supposed to behave. The authors work through several realistic case studies in depth and detail, using a toolkit built on the C# language and the .NET framework. Readers can also apply the methods in analyzing and testing systems in many other languages and frameworks. Intended for professional software developers including testers, and for university students, this book is suitable for courses on software engineering, testing, specification, or applications of formal methods.

Polynomial equations have been long studied, both theoretically and with a view to solving them. Until recently, manual computation was the only solution method and the theory was developed to accommodate it. With the advent of computers, the situation changed dramatically. Many classical results can be more usefully recast within a different framework which in turn lends itself to further theoretical development tuned to computation. This first book in a trilogy is devoted to the new approach. It is a handbook covering the classical theory of finding roots of a univariate polynomial, emphasising computational aspects, especially the representation and manipulation of algebraic numbers, enlarged by more recent representations like the Duval Model and the Thom Codification. Mora aims to show that solving a polynomial equation really means finding algorithms that help one manipulate roots rather than simply computing them; to that end he also surveys algorithms for factorizing univariate

The psychology of person-machine interaction has changed in the past few decades. The widespread influence of computer-based technologies has permeated every aspect of the person-machine system. As sy

In this book, the design of two new planar patterns for camera calibration of intrinsic parameters is addressed and a line-based method for distortion correction is suggested. The dynamic calibration

Visible Speech is an attempt to set the record straight about the nature of writing. John DeFrancis, a noted specialist in the Chinese language, shows that writing can be based only upon a sound syste

Knowledge representation and reasoning is the foundation of artificial intelligence, declarative programming, and the design of knowledge-intensive software systems capable of performing intelligent tasks. Using logical and probabilistic formalisms based on answer set programming (ASP) and action languages, this book shows how knowledge-intensive systems can be given knowledge about the world and how it can be used to solve non-trivial computational problems. The authors maintain a balance between mathematical analysis and practical design of intelligent agents. All the concepts, such as answering queries, planning, diagnostics, and probabilistic reasoning, are illustrated by programs of ASP. The text can be used for AI-related undergraduate and graduate classes and by researchers who would like to learn more about ASP and knowledge representation.

With this comprehensive and accessible introduction to the field, you will gain all the skills and knowledge needed to work with current and future audio, speech, and hearing processing technologies. Topics covered include mobile telephony, human-computer interfacing through speech, medical applications of speech and hearing technology, electronic music, audio compression and reproduction, big data audio systems and the analysis of sounds in the environment. All of this is supported by numerous practical illustrations, exercises, and hands-on MATLAB® examples on topics as diverse as psychoacoustics (including some auditory illusions), voice changers, speech compression, signal analysis and visualisation, stereo processing, low-frequency ultrasonic scanning, and machine learning techniques for big data. With its pragmatic and application driven focus, and concise explanations, this is an essential resource for anyone who wants to rapidly gain a practical understanding of speech and audi

Most systems involved in a chemical process plant are interactive multivariable systems, to control which, the transfer function matrix model is required. This lucid book considers the identification and control of such systems. It discusses open loop and closed loop identification methods, as well as the design of multivariable controllers based on steady state gain matrix. Simple methods for designing controllers based on transfer function matrix model have been reviewed. The design of controllers for non-square systems, and closed loop identification of multivariable unstable systems by the optimization method are also covered. Several simulation examples and exercise problems at the end of each chapter further help the reader consolidate the knowledge gained. This book will be useful to any engineering student, researcher or practitioner who works with interactive, multivariable control systems.

Based on time-tested course material, this authoritative text examines the key topics, advanced mathematical concepts, and novel analytical tools needed to understand modern communication and radar systems. It covers computational linear algebra theory, VLSI systolic algorithms and designs, practical aspects of chaos theory, and applications in beamforming and array processing, and uses a variety of CDMA codes, as well as acoustic sensing and beamforming algorithms to illustrate key concepts. Classical topics such as spectral analysis are also covered, and each chapter includes a wealth of homework problems. This is an invaluable text for graduate students in electrical and computer engineering, and an essential reference for practitioners in communications and radar engineering.

The second edition of this standard text guides biomedical researchers in the selection and use of advanced statistical methods and the presentation of results to clinical colleagues. It assumes no knowledge of mathematics beyond high school level and is accessible to anyone with an introductory background in statistics. The Stata statistical software package is again used to perform the analyses, this time employing the much improved version 10 with its intuitive point and click as well as character-based commands. Topics covered include linear, logistic and Poisson regression, survival analysis, fixed-effects analysis of variance, and repeated-measure analysis of variance. Restricted cubic splines are used to model non-linear relationships. Each method is introduced in its simplest form and then extended to cover more complex situations. An appendix will help the reader select the most appropriate statistical methods for their data. The text makes extensive use of real data sets avai