Page 2
Page 2
img

Multiobjective Problem Solving from Nature : From Concepts to Applications

he book focuses on how MOEAs and related techniques can be used to solve problems, particularly in the disciplines of science and engineering. Contributions by leading researchers show how the concepts of multiobjective optimization can be used to reformulate and resolve problems in broad areas such as constrained optimization, coevolution, classification, inverse modelling and design. The book is distinguished from other texts on MOEAs in that it is not primarily about the algorithms, nor specific applications, but about the concepts and processes involved in solving problems using a multiobjective approach. Each chapter contributes to the central, deep concepts and themes of the book: evaluating the utility of the multiobjective approach; discussing alternative problem formulations; showing how problem formulation affects the search process; and examining solution selection and decision making.

img

Multiobjective Optimization : Interactive and Evolutionary Approaches

Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such problems can arise in practically every field of science, engineering and business, and the need for efficient and reliable solution methods is increasing. The task is challenging due to the fact that, instead of a single optimal solution, multiobjective optimization results in a number of solutions with different trade-offs among criteria, also known as Pareto optimal or efficient solutions. Hence, a decision maker is needed to provide additional preference information and to identify the most satisfactory solution. Depending on the paradigm used, such information may be introduced before, during, or after the optimization process. Clearly, research and application in multiobjective optimization involve expertise in optimization as well as in decision support.

img

Multilevel Block Factorization Preconditioners : Matrix-based Analysis and Algorithms for Solving Finite Element Equations

This monograph is the first to provide a comprehensive, self-contained and rigorous presentation of some of the most powerful preconditioning methods for solving finite element equations in a common block-matrix factorization framework. Topics covered include the classical incomplete block-factorization preconditioners and the most efficient methods such as the multigrid, algebraic multigrid, and domain decomposition. Additionally, the author discusses preconditioning of saddle-point, nonsymmetric and indefinite problems, as well as preconditioning of certain nonlinear and quadratic constrained minimization problems that typically arise in contact mechanics. The book presents analytical as well as algorithmic aspects.

img

Multi-Agent Systems and Applications V ; 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings

The technical research paper section of the proceedingscontains pure - search papers as well as research results in application settings. The goal is to demonstrate the real-life value and commercial reality of multi-agent systems as well as to foster the communication between academia and industry in this eld.

img

Multiagent System Technologies ; 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007, Proceedings

The papers are organized in topical sections on engineering multi-agent systems, multi-agent planning and learning, multi-agent communication, interaction, and coordination, multi-agent resource allocation, multi-agent planning and simulation, as well as trust and reputation.

img

Multiagent Engineering : Theory and Applications in Enterprises

1 Multiagent Engineering: A New Software Construction Paradigm Multiagent systems have a long academic tradition. They have their roots in distributed problem solving in Artificial Intelligence (AI) from where they emerged in the mid-eighties as a distinctive discipline. Research in multiagent systems owes much to the work of Rosenschein on rationality and autonomy of intelligent agents, the European MAAMAW workshop series

img

Motion-Free Super-Resolution

With the explosion of Internet technology and graphics engines, digital images are now everywhere. Image capturing tools are all pervading - in our pockets to inside a satellite. And although imaging applications demand an availability to high resolution images, such images are not picture perfect and may be lacking sufficient details. This requires that these images be super-resolved for improved details. How to achieve this is what constitutes research in the area of image super-resolution. Motion-Free Super-Resolution explores new technology for image super-resolution - applying cues other than the motion cue in super-resolving a scene. This book will serve as an essential reference for both academecians and practicing engineers in the area of image processing and computer vision, as well as providing a basis for ongoing research in this field.

img

Modular Algorithms in Symbolic Summation and Symbolic Integration

Brings together two streams in computer algebra: symbolic integration and summation on the one hand, and fast algorithmics on the other hand. In many algorithmically oriented areas of computer science, the analysis of al gorithms placed into the lime light by DonKnuth’stalkat the 1970ICM –provides a crystal-clear criterion for success. The researcher who designs an algorithm that is faster (asymptotically, in the worst case) than any previous method receives instant gratification : her result will be recognized as valuable. Al as, the downside is that such results come along quite infrequently, despite our best efforts. An alternative evaluation method is to run a new algorithm on examples; this has its obvious problems, but is sometimes the best we can do. George Collins, one of the fathers of computer algebra and a great experimenter,wrote in 1969: “I think this demonstrates again that a simple analysis is often more revealing than a ream of empirical data (although both are important). ” Within computer algebra, some areas have traditionally followed the former methodology, notably some parts of polynomial algebra and linear algebra. Other areas, such as polynomial system solving, have not yet been amenable to this - proach. The usual “input size” parameters of computer science seem inadequate, and although some natural “geometric” parameters have been identified (solution dimension, regularity), not all (potential) major progress can be expressed in this framework. Symbolic integration and summation have been in a similar state.

img

Modern Formal Methods and Applications

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool.Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods. Computational biology becomes easier and systematic using formal methods. Also, hardware compilation and systems can be managed using formal methods.

img

Modern Control Systems ; 14th ed.

Written to be equally useful for all engineering disciplines, this text is organized around the concepts of control systems theory in the context of frequency and time domains. It provides coverage of both classical and modern methods of control engineering to give students a strong foundation in basic principles that they can utilize to explore advanced topics in later chapters. Emphasis is placed on real-world complex control systems and practical design applications as well as evolving design strategies like green engineering and human-centered design. Problem solving is strongly emphasized, with an abundance of problems of increasing complexity that help students learn to apply theory to computer-aided design and analysis concepts using MATLAB® and LabVIEW MathScript.

img

Models and Algorithms for Global Optimization : Essays Dedicated to Antanas Žilinskas on the Occasion of His 60th Birthday

The research of Antanas Žilinskas has focused on developing models for global optimization, implementing and investigating the corresponding algorithms, and applying those algorithms to practical problems. This volume, dedicated to Professor Žilinskas on the occasion of his 60th birthday, contains new survey papers in which leading researchers from the field present various models and algorithms for solving global optimization problems. 

img

Modelling the dispersion of radionuclides in the marine environment : An introduction

This book is a practical guide to the subject of numerical modelling of radioactivity dispersion in the marine environment. Thus, the techniques and numerical procedures required are explained in detail, with the aim of enabling the reader to build a real mathematical model. The book covers basic concepts and techniques, such as solving the advection-diffusion equation in a simple 1D form, as well as the most recent developments (full 3D models for non-conservative radionuclides including chemical reactions and speciation). A chapter is dedicated to the basic hydrodynamic modelling that is always required to simulate the dispersion of tracers in the sea; Eulerian and Lagrangian modelling techniques are also described. A chapter describes sensitivity and uncertainty analysis, the final stage in modelling works. A review on some published radionuclide dispersion models is also included.

img

Modelling and simulation of discrete-event systems

Allows engineers to study and analyze complex systems. Discrete-event system (DES)-M&S is used in modern management, industrial engineering, computer science, and the military. As computer speeds and memory capacity increase, so DES-M&S tools become more powerful and more widely used in solving real-life problems.

img

Modeling with Itô Stochastic Differential Equations

This modeling procedure is thoroughly explained and illustrated for randomly varying systems in population biology, chemistry, physics, engineering, and finance. Introductory chapters present the fundamental concepts of random variables, stochastic processes, stochastic integration, and stochastic differential equations. These concepts are explained in a Hilbert space setting which unifies and simplifies the presentation. Computer programs, given throughout the text, are useful in solving representative stochastic problems. Analytical and computational exercises are provided in each chapter that complement the material in the text.

img

Model-Based Reasoning in Science, Technology, and Medicine

The volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and Medicine (MBR’06 China), held at Sun Yat-sen University, Guangzhou, P.R. China in July 2006. The presentations given at the conference explored how scientific thinking uses models and explanatory reasoning to produce creative changes in theories and concepts. Some addressed the problem of model-based reasoning in technology, and stressed the issue of technological innovation and medical reasoning. The various contributions of the book are written by interdisciplinary researchers who are active in the area of creative reasoning in science and technology: the most recent results and achievements about the topics above are illustrated in detail in the papers.

img

Model Based Learning and Instruction in Science

This book describes new, model based teaching methods for science instruction. It presents research that describes these new methods in a very diverse group of settings: middle school biology, high school physics, and college chemistry classrooms. Mental models in these areas such as understanding the structure of the lungs or cells, molecular structures and reaction mechanisms in chemistry, or causes of current flow in electricity are notoriously difficult for many students to learn. Yet these lie at the core of conceptual understanding in these areas. The studies focus on a variety of teaching strategies such as discrepant questioning, analogies, animations, model competition, and hands on activities.

img

Methods in Nonlinear Analysis

Nonlinear analysis has developed rapidly in the last three decades. Theories, techniques and results in many different branches of mathematics have been combined in solving nonlinear problems. This book collects and reorganizes up-to-date materials scattered throughout the literature from the methodology point of view, and presents them in a systematic way. It contains the basic theories and methods with many interesting problems in partial and ordinary differential equations, differential geometry and mathematical physics as applications.There are five chapters that cover linearization, fixed-point theorems based on compactness and convexity, topological degree theory, minimization and topological variational methods. Each chapter combines abstract, classical and applied analysis. Particular topics included are bifurcation, perturbation, gluing technique, transversality, Nash–Moser technique, Ky Fan's inequality and Nash equilibrium in game theory, set­valued mappings and differential equations with discontinuous nonlinear terms, multiple solutions in partial differential equations, direct method, quasi­convexity and relaxation, Young measure, compensation compactness method and Hardy space, concentration compactness and best constants, Ekeland variational principle, infinite-dimensional Morse theory, minimax method, index theory with group action, and Conley index theory.

img

Méthodes Numériques : Algorithmes, analyse et applications = Numerical Methods : Algorithms, Analysis and Applications

This book aims to present the theoretical and methodological foundations of numerical analysis. Particular attention is paid to the concepts of stability, precision and complexity of algorithms. Modern methods relating to the following topics are presented and analyzed in detail: solving linear and nonlinear systems, polynomial approximation, optimization, numerical integration, orthogonal polynomials, rapid transformations, ordinary differential equations. The techniques presented are illustrated by numerous tables and figures. Many examples and counter-examples are offered to allow the reader to develop his critical sense.

img

Metaheuristics : Progress as Real Problem Solvers

Metaheuristics: Progress as Real Problem Solvers is a peer-reviewed volume of eighteen current, cutting-edge papers by leading researchers in the field. Included are an invited paper by F. Glover and G. Kochenberger, which discusses the concept of Metaheuristic agent processes, and a tutorial paper by M.G.C. Resende and C.C. Ribeiro discussing GRASP with path-relinking. Other papers discuss problem-solving approaches to timetabling, automated planograms, elevators, space allocation, shift design, cutting stock, flexible shop scheduling, colorectal cancer and cartography. A final group of methodology papers clarify various aspects of Metaheuristics from the computational view point

img

Metaheuristic Optimization via Memory and Evolution : Tabu Search and Scatter Search

Tabu Search (TS) and, more recently, Scatter Search (SS) have proved highly effective in solving a wide range of optimization problems, and have had a variety of applications in industry, science, and government. The goal of METAHEURISTIC OPTIMIZATION VIA MEMORY AND EVOLUTION: Tabu Search and Scatter Search is to report original research on algorithms and applications of tabu search, scatter search or both, as well as variations and extensions having "adaptive memory programming" as a primary focus. Individual chapters identify useful new implementations or new ways to integrate and apply the principles of TS and SS, or that prove new theoretical results, or describe the successful application of these methods to real world problems.The chapters of this book provide a series of landmarks along the way as we investigate and seek to better understand the elements of tabu search and scatter search that account for their successes in an astonishingly varied range of applications.

Results Per Page