Search

In the second edition of this classic monograph, complete with four new chapters and updated references, readers will now have access to content describing and analysing classical and modern methods with emphasis on the algebraic structure of linear iteration, which is usually ignored in other literature. The necessary amount of work increases dramatically with the size of systems, so one has to search for algorithms that most efficiently and accurately solve systems of, e.g., several million equations. The choice of algorithms depends on the special properties the matrices in practice have. An important class of large systems arises from the discretization of partial differential equations. In this case, the matrices are sparse (i.e., they contain mostly zeroes) and well-suited to iterative algorithms. The first edition of this book grew out of a series of lectures given by the author at the Christian-Albrecht University of Kiel to students of mathematics. The second edition includes quite novel approaches.

This book studies the approximate solutions of optimization problems in the presence of computational errors. A number of results are presented on the convergence behavior of algorithms in a Hilbert space; these algorithms are examined taking into account computational errors. The author illustrates that algorithms generate a good approximate solution, if computational errors are bounded from above by a small positive constant. Known computational errors are examined with the aim of determining an approximate solution. Researchers and students interested in the optimization theory and its applications will find this book instructive and informative. This monograph contains 16 chapters; including a chapters devoted to the subgradient projection algorithm, the mirror descent algorithm, gradient projection algorithm, the Weiszfelds method, constrained convex minimization problems, the convergence of a proximal point method in a Hilbert space, the continuous subgradient method, penalty methods and Newton’s method.

Numerical partial differential equations (PDEs) are an important part of numerical simulation, the third component of the modern methodology for science and engineering, besides the traditional theory and experiment. This volume contains papers that originated with the collaborative research of the teams that participated in the IMA Workshop for Women in Applied Mathematics: Numerical Partial Differential Equations and Scientific Computing in August 2014.

This paper demonstrates that neuroevolution is an effective method to determine an optimal neural network topology. I provide an overview of the NeuroEvolution of Augmenting Topologies (NEAT) algorithm, and describe how unique characteristics of this algorithm solve various problem inherent to neuroevolution (namely the competing conventions problem and the challenges associated with protecting topological innovation). Parallelization is shown to greatly speed up efficiency, further reinforcing neuroevolution as a potential alternative to traditional backpropagation. I also demonstrate that appropriate parameter selection is critical in order to efficiently converge to an optimal topology. Lastly, I produce an example solution to a medical classification machine learning problem that further demonstrates some unique advantages of the NEAT algorithm.

This book constitutes the refereed proceedings of the Mathematical modeling of technological processes track of the 8th International Conference on Computational and Information Technologies in Science, Engineering and Education, CITech 2015, held in Almaty, Kazakhstan, in September 2015. The 20 papers and one short paper presented were carefully reviewed and selected from 56 submissions to the track. They provide a forum for sharing new aspects of the progresses in the areas of mathematical modeling of technological processes; process automation and control; high performance computing; simulation.

This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015. The 25 full papers presented in this volume were carefully reviewed and selected from 61 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas in theoretical computer science and its applications.

This book and its companion volumes, LNCS volumes 9140, 9141 and 9142, constitute the proceedings of the 6th International Conference on Swarm Intelligence, ICSI 2015 held in conjunction with the Second BRICS Congress on Computational Intelligence, CCI 2015, held in Beijing, China in June 2015. The 161 revised full papers presented were carefully reviewed and selected from 294 submissions. The papers are organized in 28 cohesive sections covering all major topics of swarm intelligence and computational intelligence research and development, such as novel swarm-based optimization algorithms and applications; particle swarm opt8imization; ant colony optimization; artificial bee colony algorithms; evolutionary and genetic algorithms; differential evolution; brain storm optimization algorithm; biogeography based optimization; cuckoo search; hybrid methods; multi-objective optimization; multi-agent systems and swarm robotics; Neural networks and fuzzy methods; data mining approaches; information security; automation control; combinatorial optimization algorithms; scheduling and path planning; machine learning; blind sources separation; swarm interaction behavior; parameters and system optimization; neural networks; evolutionary and genetic algorithms; fuzzy systems; forecasting algorithms; classification; tracking analysis; simulation; image and texture analysis; dimension reduction; system optimization; segmentation and detection system; machine translation; virtual management and disaster analysis.

The present volume comprises survey articles on various fields of Differential-Algebraic Equations (DAEs), which have widespread applications in controlled dynamical systems, especially in mechanical and electrical engineering and a strong relation to (ordinary) differential equations. The individual chapters provide reviews, presentations of the current state of research and new concepts in - Observers for DAEs - DAEs in chemical processes - Optimal control of DAEs - DAEs from a functional-analytic viewpoint - Algebraic methods for DAEs The results are presented in an accessible style, making this book suitable not only for active researchers but also for graduate students (with a good knowledge of the basic principles of DAEs) for self-study. .

This timely text/reference presents a comprehensive overview of fault tolerance techniques for high-performance computing (HPC). The text opens with a detailed introduction to the concepts of checkpoint protocols and scheduling algorithms, prediction, replication, silent error detection and correction, together with some application-specific techniques such as algorithm-based fault tolerance. Emphasis is placed on analytical performance models. This is then followed by a review of general-purpose techniques, including several checkpoint and rollback recovery protocols. Relevant execution scenarios are also evaluated and compared through quantitative models. Topics and features: Includes self-contained contributions from an international selection of preeminent experts Provides a survey of resilience methods and performance models Examines the various sources for errors and faults in large-scale systems, detailing their characteristics, with a focus on modeling, detection and prediction Reviews the spectrum of techniques that can be applied to design a fault-tolerant message passing interface Investigates different approaches to replication, comparing these to the traditional checkpoint-recovery approach Discusses the challenge of energy consumption of fault-tolerance methods in extreme-scale systems, proposing a methodology to estimate such energy consumption This authoritative volume is essential reading for all researchers and graduate students involved in high-performance computing. Dr. Thomas Herault is a Research Scientist in the Innovative Computing Laboratory (ICL) at the University of Tennessee Knoxville, TN, USA. Dr. Yves Robert is a Professor in the Laboratory of Parallel Computing at the Ecole Normale Sup rieure de Lyon, France, and a Visiting Research Scholar in the ICL.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Large-Scale Scientific Computations, LSSC 2015, held in Sozopol, Bulgaria, in June 2015. The 49 revised full papers presented were carefully reviewed and selected from 64 submissions. The general theme for LSSC 2015 was Large-Scale Scientific Computing with a particular focus on the organized special sessions: enabling exascale computation; control and uncertain systems; computational microelectronics - from monte carlo to deterministic approaches; numerical methods for multiphysics problems; large-scale models: numerical methods, parallel computations and applications; mathematical modeling and analysis of PDEs describing physical problems; a posteriori error control and iterative methods for maxwell type problems; efficient algorithms for hybrid HPC systems; multilevel methods on graphs; and applications of metaheuristics to large-scale problems.

This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2015 held in Guimar es, Portugal in March/April 2015. The 68 revised full papers presented together with 4 plenary talks were carefully reviewed and selected from 90 submissions. The EMO 2015 aims to continue these type of developments, being the papers presented focused in: theoretical aspects, algorithms development, many-objectives optimization, robustness and optimization under uncertainty, performance indicators, multiple criteria decision making and real-world applications.

Matrix algorithms are at the core of scientific computing and are indispensable tools in most applications in engineering. This book offers a comprehensive and up-to-date treatment of modern methods in matrix computation. It uses a unified approach to direct and iterative methods for linear systems, least squares and eigenvalue problems. A thorough analysis of the stability, accuracy, and complexity of the treated methods is given. Numerical Methods in Matrix Computations is suitable for use in courses on scientific computing and applied technical areas at advanced undergraduate and graduate level. A large bibliography is provided, which includes both historical and review papers as well as recent research papers. This makes the book useful also as a reference and guide to further study and research work. ke Bj rck is a professor emeritus at the Department of Mathematics, Link ping University. He is a Fellow of the Society of Industrial and Applied Mathematics.p>.

This volume presents selected contributions by top researchers in the field of operations research, originating from the XVI Congress of APDIO. It provides interesting findings and applications of operations research methods and techniques in a wide variety of problems. The contributions address complex real-world problems, including inventory management with lateral transshipments, sectors and routes in solid-waste collection and production planning for perishable food products. It also discusses the latest techniques, making the volume a valuable tool for researchers, students and practitioners who wish to learn about current trends. Of particular interest are the applications of nonlinear and mixed-integer programming, data envelopment analysis, clustering techniques, hybrid heuristics, supply chain management and lot sizing, as well as job scheduling problems. This biennial conference, organized by APDIO, the Portuguese Association of Operational Research, held in Bragan a, Portugal, in June 2013, presented a perfect opportunity to discuss the latest development in this field and to narrow the gap between academic researchers and practitioners.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Numerical Methods and Applications, NMA 2014, held in Borovets, Bulgaria, in August 2014. The 34 revised full papers presented were carefully reviewed and selected from 56 submissions for inclusion in this book. The papers are organized in the following topical sections: Monte Carlo and quasi-Monte Carlo methods; metaheuristics for optimization problems; advanced numerical methods for scientific computing; advanced numerical techniques for PDEs and applications; solving large engineering and scientific problems with advanced mathematical models; numerical simulations and back analysis in civil and mechanical engineering.

This book constitutes the refereed proceedings of the 30th Euro Mini-Conference, EmC-ONS 2014, held in Aveiro, Portugal, in February 2014. The 13 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on dynamical systems; optimization and applications; modeling and statistical techniques for data analysis.

The two parts of the present volume contain extended conference abstracts corresponding to selected talks given by participants at the "Conference on Hamiltonian Systems and Celestial Mechanics 2014" (HAMSYS2014) (15 abstracts) and at the "Workshop on Virus Dynamics and Evolution" (12 abstracts), both held at the Centre de Recerca Matemàtica (CRM) in Barcelona from June 2nd to 6th, 2014, and from June 23th to 27th, 2014, respectively. Most of them are brief articles, containing preliminary presentations of new results not yet published in regular research journals. The articles are the result of a direct collaboration between active researchers in the area after working in a dynamic and productive atmosphere. The first part is about Central Configurations, Periodic Orbits and Hamiltonian Systems with applications to Celestial Mechanics – a very modern and active field of research. The second part is dedicated to mathematical methods applied to viral dynamics and evolution. Mathematical modelling of biological evolution currently attracts the interest of both mathematicians and biologists. This material offers a variety of new exciting problems to mathematicians and reasonably inexpensive mathematical methods to evolutionary biologists. It will be of scientific interest to both communities. The book is intended for established researchers, as well as for PhD and postdoctoral students who want to learn more about the latest advances in these highly active areas of research.

This book presents the latest results related to shells characterize and design shells, plates, membranes and other thin-walled structures, a multidisciplinary approach from macro- to nanoscale is required which involves the classical disciplines of mechanical/civil/materials engineering (design, analysis, and properties) and physics/biology/medicine among others. The book contains contributions of a meeting of specialists (mechanical engineers, mathematicians, physicists and others) in such areas as classical and non-classical shell theories. New trends with respect to applications in mechanical, civil and aero-space engineering, as well as in new branches like medicine and biology are presented which demand improvements of the theoretical foundations of these theories and a deeper understanding of the material behavior used in such structures.

This is the first numerical analysis text to use Sage for the implementation of algorithms and can be used in a one-semester course for undergraduates in mathematics, math education, computer science/information technology, engineering, and physical sciences. The primary aim of this text is to simplify understanding of the theories and ideas from a numerical analysis/numerical methods course via a modern programming language like Sage. Aside from the presentation of fundamental theoretical notions of numerical analysis throughout the text, each chapter concludes with several exercises that are oriented to real-world application. Answers may be verified using Sage. The presented code, written in core components of Sage, are backward compatible, i.e., easily applicable to other software systems such as Mathematica . Sage is open source software and uses Python-like syntax. Previous Python programming experience is not a requirement for the reader, though familiarity with any programming language is a plus. Moreover, the code can be written using any web browser and is therefore useful with Laptops, Tablets, iPhones, Smartphones, etc. All Sage code that is presented in the text is openly available on SpringerLink.com.

This book constitutes the refereed conference proceedings of the 15th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, RSFDGrC 2015, held in Tianjin, China in November 2015 as one of the co-located conference of the 2015 Joint Rough Set Symposium, JRS 2015. The 44 papers were carefully reviewed and selected from 97 submissions. The papers in this volume cover topics such as rough sets: the experts speak; generalized rough sets; rough sets and graphs; rough and fuzzy hybridization; granular computing; data mining and machine learning; three-way decisions; IJCRS 2015 data challenge.

This book presents selected papers from the 3rd International Workshop on Computational Engineering held in Stuttgart from October 6 to 10, 2014, bringing together innovative contributions from related fields with computer science and mathematics as an important technical basis among others. The workshop discussed the state of the art and the further evolution of numerical techniques for simulation in engineering and science. We focus on current trends in numerical simulation in science and engineering, new requirements arising from rapidly increasing parallelism in computer architectures, and novel mathematical approaches. Accordingly, the chapters of the book particularly focus on parallel algorithms and performance optimization, coupled systems, and complex applications and optimization.

This book constitutes the proceedings of the 12th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2015, held in Barcelona, Spain, in May 2015. The 29 papers presented together with 8 short papers in this volume were carefully reviewed and selected from 90 submissions. The purpose of the conference series is to bring together researchers in the fields of Constraint Programming, Artificial Intelligence and Operations Research to explore ways of solving hard and large scale combinatorial optimization problems that emerge in various industrial domains. Pooling the skills and strengths of this diverse group of researchers has proved extremely effective and valuable during the past decade leading to improvements and cross-fertilization between the three fields as well as breakthrough for actual applications.

This book constitutes the proceedings of the 8th International Conference on Similarity Search and Applications, SISAP 2015, held in Glasgow, UK, in October 2015. The 19 full papers, 12 short and 9 demo and poster papers presented in this volume were carefully reviewed and selected from 68 submissions. They are organized in topical sections named: improving similarity search methods and techniques; metrics and evaluation; applications and specific domains; implementation and engineering solutions; posters; demo papers. .

This book offers readers a primer on the theory and applications of Ordinary Differential Equations. The style used is simple, yet thorough and rigorous. Each chapter ends with a broad set of exercises that range from the routine to the more challenging and thought-provoking. Solutions to selected exercises can be found at the end of the book. The book contains many interesting examples on topics such as electric circuits, the pendulum equation, the logistic equation, the Lotka-Volterra system, the Laplace Transform, etc., which introduce students to a number of interesting aspects of the theory and applications. The work is mainly intended for students of Mathematics, Physics, Engineering, Computer Science and other areas of the natural and social sciences that use ordinary differential equations, and who have a firm grasp of Calculus and a minimal understanding of the basic concepts used in Linear Algebra. It also studies a few more advanced topics, such as Stability Theory and Boundary Value Problems, which may be suitable for more advanced undergraduate or first-year graduate students. The second edition has been revised to correct minor errata, and features a number of carefully selected new exercises, together with more detailed explanations of some of the topics.

This book constitutes the refereed proceedings of the 15th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2015, held in Copenhagen, Denmark, in April 2015, co-located with the Evo*2015 events EuroGP, EvoMUSART and EvoApplications. The 19 revised full papers presented were carefully reviewed and selected from 46 submissions. The papers cover methodology, applications and theoretical studies. The methods included evolutionary and memetic (hybrid) algorithms, iterated local search, variable neighbourhood search, ant colony optimization, artificial immune systems, hyper-heuristics and other adaptive approaches. The applications include both traditional domains, such as graph coloring, knapsack, vehicle routing, job-shop scheduling, the p-median and the orienteering problems; and new(er) domains such as designing deep recurrent neural networks, detecting network community structure, lock scheduling of ships, cloud resource management, the fire-fighter problem and AI planning. The theoretical studies involved approximation ratio, runtime and black-box complexity analyses.

This textbook is a thorough, accessible introduction to digital Fourier analysis for undergraduate students in the sciences. Beginning with the principles of sine/cosine decomposition, the reader walks through the principles of discrete Fourier analysis before reaching the cornerstone of signal processing: the Fast Fourier Transform. Saturated with clear, coherent illustrations, "Digital Fourier Analysis - Fundamentals" includes practice problems and thorough Appendices for the advanced reader. As a special feature, the book includes interactive applets (available online) that mirror the illustrations. These user-friendly applets animate concepts interactively, allowing the user to experiment with the underlying mathematics. For example, a real sine signal can be treated as a sum of clockwise and counter-clockwise rotating vectors. The applet illustration included with the book animates the rotating vectors and the resulting sine signal. By changing parameters such as amplitude and frequency, the reader can test various cases and view the results until they fully understand the principle. Additionally, the applet source code in Visual Basic is provided online, allowing this book to be used for teaching simple programming techniques. A complete, intuitive guide to the basics, "Digital Fourier Analysis - Fundamentals" is an essential reference for undergraduate students in science and engineering.

This monograph presents computational techniques and numerical analysis to study conservation laws under uncertainty using the stochastic Galerkin formulation. With the continual growth of computer power, these methods are becoming increasingly popular as an alternative to more classical sampling-based techniques. The approach described in the text takes advantage of stochastic Galerkin projections applied to the original conservation laws to produce a large system of modified partial differential equations, the solutions to which directly provide a full statistical characterization of the effect of uncertainties. Polynomial Chaos Methods of Hyperbolic Partial Differential Equations focuses on the analysis of stochastic Galerkin systems obtained for linear and non-linear convection-diffusion equations and for a systems of conservation laws; a detailed well-posedness and accuracy analysis is presented to enable the design of robust and stable numerical methods. The exposition is restricted to one spatial dimension and one uncertain parameter as its extension is conceptually straightforward. The numerical methods designed guarantee that the solutions to the uncertainty quantification systems will converge as the mesh size goes to zero. Examples from computational fluid dynamics are presented together with numerical methods suitable for the problem at hand: stable high-order finite-difference methods based on summation-by-parts operators for smooth problems, and robust shock-capturing methods for highly nonlinear problems. Academics and graduate students interested in computational fluid dynamics and uncertainty quantification will find this book of interest. Readers are expected to be familiar with the fundamentals of numerical analysis. Some background in stochastic methods is useful but not necessary.

This book constitutes the proceedings of the 12th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2015, held in Sk vde, Sweden, in September 2015. The 18 revised full papers presented were carefully reviewed and selected from 38 submissions. They discuss theory and tools for modeling decisions, as well as applications that encompass decision making processes and information fusion techniques.

This book constitutes the thoroughly refereed conference proceedings of the 10th International Conference on Rough Sets and Knowledge Technology, RSKT 2015, held in Tianjin, China, in November 2015, as part of the International Joint Conference on Rough Sets, IJCRS 2015, together with the 15th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, RSFDgrC 2015. The 66 papers presented at IJCRS 2015 were carefully reviewed and selected from 97 submissions. The 38 papers included in this volume are organized in the following topical sections: rough sets: the experts speak; reducts and rules; three-way decisions; logic and algebra; clustering; rough sets and graphs; and modeling and learning. In addition the volume contains 6 contributions by new fellows of the International Rough Set Society, an invited talk and a tutorial.

This book constitutes the refereed proceedings of the 26th Annual Symposium on Combinatorial Pattern Matching, CPM 2015, held on Ischia Island, Italy, in June/July 2015. The 34 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 83 submissions. The papers address issues of searching and matching strings and more complicated patterns such as trees; regular expressions; graphs; point sets; and arrays. The goal is to derive combinatorial properties of such structures and to exploit these properties in order to achieve superior performance for the corresponding computational problems. The meeting also deals with problems in computational biology; data compression and data mining; coding; information retrieval; natural language processing; and pattern recognition.

This book constitutes the refereed proceedings of the 14th Algorithms and Data Structures Symposium, WADS 2015, held in Victoria, BC, Canada, August 2015. The 54 revised full papers presented in this volume were carefully reviewed and selected from 148 submissions. The Algorithms and Data Structures Symposium - WADS (formerly Workshop on Algorithms And Data Structures), which alternates with the Scandinavian Workshop on Algorithm Theory, is intended as a forum for researchers in the area of design and analysis of algorithms and data structures. WADS includes papers presenting original research on algorithms and data structures in all areas, including bioinformatics, combinatorics, computational geometry, databases, graphics, and parallel and distributed computing.

This book presents the authors' recent work on the numerical methods for the stability analysis of linear autonomous and periodic delay differential equations, which consist in applying pseudospectral techniques to discretize either the solution operator or the infinitesimal generator and in using the eigenvalues of the resulting matrices to approximate the exact spectra. The purpose of the book is to provide a complete and self-contained treatment, which includes the basic underlying mathematics and numerics, examples from population dynamics and engineering applications, and Matlab programs implementing the proposed numerical methods. A number of proofs is given to furnish a solid foundation, but the emphasis is on the (unifying) idea of the pseudospectral technique for the stability analysis of DDEs. It is aimed at advanced students and researchers in applied mathematics, in dynamical systems and in various fields of science and engineering, concerned with delay systems. A relevant feature of the book is that it also provides the Matlab codes to encourage the readers to experience the practical aspects. They could use the codes to test the theory and to analyze the performances of the methods on the given examples. Moreover, they could easily modify them to tackle the numerical stability analysis of their own delay models.

The description of many interesting phenomena in science and engineering leads to infinite-dimensional minimization or evolution problems that define nonlinear partial differential equations. While the development and analysis of numerical methods for linear partial differential equations is nearly complete, only few results are available in the case of nonlinear equations. This monograph devises numerical methods for nonlinear model problems arising in the mathematical description of phase transitions, large bending problems, image processing, and inelastic material behavior. For each of these problems the underlying mathematical model is discussed, the essential analytical properties are explained, and the proposed numerical method is rigorously analyzed. The practicality of the algorithms is illustrated by means of short implementations.

This book introduces, in an accessible way, the basic elements of Numerical PDE-Constrained Optimization, from the derivation of optimality conditions to the design of solution algorithms. Numerical optimization methods in function-spaces and their application to PDE-constrained problems are carefully presented. The developed results are illustrated with several examples, including linear and nonlinear ones. In addition, MATLAB codes, for representative problems, are included. Furthermore, recent results in the emerging field of nonsmooth numerical PDE constrained optimization are also covered. The book provides an overview on the derivation of optimality conditions and on some solution algorithms for problems involving bound constraints, state-constraints, sparse cost functionals and variational inequality constraints.

This book constitutes the refereed proceedings of the 14th International Symposium on Experimental Algorithms, SEA 2015, held in Paris, France, in June/July 2015. The 30 revised full papers presented were carefully reviewed and selected from 76 submissions. The main theme of the symposium is the role of experimentation and of algorithm engineering techniques in the design and evaluation of algorithms and data structures. The papers are grouped in topical sections on data structures, graph problems, combinatorial optimization, scheduling and allocation, and transportation networks.

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Approximation and Online Algorithms, WAOA 2014, held in Wrocław, Poland, in September 2014 as part of ALGO 2014. The 22 revised full papers presented were carefully reviewed and selected from 49 submissions. They cover a wide range of topics such as coloring and partitioning, competitive analysis, network design, packing and covering, paradigms for design and analysis of approximation and online algorithms, randomization techniques, real-world applications, and scheduling problems.

This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Approximation and Online Algorithms, WAOA 2015, held in Patras, Greece, in September 2015 as part of ALGO 2015. The 17 revised full papers presented were carefully reviewed and selected from 40 submissions. Topics of interest for WAOA 2015 were: algorithmic game theory, algorithmic trading, coloring and partitioning, competitive analysis, computational advertising, computational finance, cuts and connectivity, geometric problems, graph algorithms, inapproximability, mechanism design, natural algorithms, network design, packing and covering, paradigms for the design and analysis of approximation and online algorithms, parameterized complexity, scheduling problems,and real-world applications.

This book and its companion volumes, LNCS volumes 9140, 9141 and 9142, constitute the proceedings of the 6th International Conference on Swarm Intelligence, ICSI 2015 held in conjunction with the Second BRICS Congress on Computational Intelligence, CCI 2015, held in Beijing, China in June 2015. The 161 revised full papers presented were carefully reviewed and selected from 294 submissions. The papers are organized in 28 cohesive sections covering all major topics of swarm intelligence and computational intelligence research and development, such as novel swarm-based optimization algorithms and applications; particle swarm opt8imization; ant colony optimization; artificial bee colony algorithms; evolutionary and genetic algorithms; differential evolution; brain storm optimization algorithm; biogeography based optimization; cuckoo search; hybrid methods; multi-objective optimization; multi-agent systems and swarm robotics; Neural networks and fuzzy methods; data mining approaches; information security; automation control; combinatorial optimization algorithms; scheduling and path planning; machine learning; blind sources separation; swarm interaction behavior; parameters and system optimization; neural networks; evolutionary and genetic algorithms; fuzzy systems; forecasting algorithms; classification; tracking analysis; simulation; image and texture analysis; dimension reduction; system optimization; segmentation and detection system; machine translation; virtual management and disaster analysis.

Since publication of the initial papers in 2006, compressed sensing has captured the imagination of the international signal processing community, and the mathematical foundations are nowadays quite well understood. Parallel to the progress in mathematics, the potential applications of compressed sensing have been explored by many international groups of, in particular, engineers and applied mathematicians, achieving very promising advances in various areas such as communication theory, imaging sciences, optics, radar technology, sensor networks, or tomography. Since many applications have reached a mature state, the research center MATHEON in Berlin focusing on "Mathematics for Key Technologies", invited leading researchers on applications of compressed sensing from mathematics, computer science, and engineering to the "MATHEON Workshop 2013: Compressed Sensing and its Applications” in December 2013. It was the first workshop specifically focusing on the applications of compressed sensing. This book features contributions by the plenary and invited speakers of this workshop. To make this book accessible for those unfamiliar with compressed sensing, the book will not only contain chapters on various applications of compressed sensing written by plenary and invited speakers, but will also provide a general introduction into compressed sensing. The book is aimed at both graduate students and researchers in the areas of applied mathematics, computer science, and engineering as well as other applied scientists interested in the potential and applications of the novel methodology of compressed sensing. For those readers who are not already familiar with compressed sensing, an introduction to the basics of this theory will be included.

This contributed volume contains a collection of articles on state-of-the-art developments on the construction of theoretical integral techniques and their application to specific problems in science and engineering. Written by internationally recognized researchers, the chapters in this book are based on talks given at the Thirteenth International Conference on Integral Methods in Science and Engineering, held July 21–25, 2014, in Karlsruhe, Germany. A broad range of topics is addressed, from problems of existence and uniqueness for singular integral equations on domain boundaries to numerical integration via finite and boundary elements, conservation laws, hybrid methods, and other quadrature-related approaches. This collection will be of interest to researchers in applied mathematics, physics, and mechanical and electrical engineering, as well as graduate students in these disciplines and other professionals for whom integration is an essential tool.

The Whole Truth About Whole Numbers is an introduction to the field of Number Theory for students in non-math and non-science majors who have studied at least two years of high school algebra. Rather than giving brief introductions to a wide variety of topics, this book provides an in-depth introduction to the field of Number Theory. The topics covered are many of those included in an introductory Number Theory course for mathematics majors, but the presentation is carefully tailored to meet the needs of elementary education, liberal arts, and other non-mathematical majors. The text covers logic and proofs, as well as major concepts in Number Theory, and contains an abundance of worked examples and exercises to both clearly illustrate concepts and evaluate the students’ mastery of the material.

Written by a team of leading experts in the field, this volume presents a self-contained account of the theory, techniques and results in metric type spaces (in particular in G-metric spaces); that is, the text approaches this important area of fixed point analysis beginning from the basic ideas of metric space topology. The text is structured so that it leads the reader from preliminaries and historical notes on metric spaces (in particular G-metric spaces) and on mappings, to Banach type contraction theorems in metric type spaces, fixed point theory in partially ordered G-metric spaces, fixed point theory for expansive mappings in metric type spaces, generalizations, present results and techniques in a very general abstract setting and framework. Fixed point theory is one of the major research areas in nonlinear analysis. This is partly due to the fact that in many real world problems fixed point theory is the basic mathematical tool used to establish the existence of solutions to problems which arise naturally in applications. As a result, fixed point theory is an important area of study in pure and applied mathematics and it is a flourishing area of research.

This concise and easy-to read textbook provides an accessible introduction to the most important features of Fortran 2008 (also known as Fortran 08), the latest standard version of Fortran. Both the style of the many example programs and the selection of topics discussed in detail guide the reader toward acquiring programming skills to produce Fortran programs that are readable, maintainable, and efficient. The text is organized for instruction from beginning to end, but also so that particular topics may be studied and read independently—making the work eminently suitable as a reference for professionals. Topics and features: Presents a complete discussion of all the basic features needed to write complete Fortran programs Makes extensive use of examples and case studies to illustrate the practical use of features of Fortran 08, and supplies simple problems for the reader to test their knowledge Provides a detailed exploration of control constructs, modules, procedures, arrays, character strings, data structures and derived types, pointer variables, and object-oriented programming Includes coverage of such major new features in Fortran 08 as coarrays, submodules, parameterized derived types, and derived-type input and output Highlights the topic of modules as the framework for organizing data and procedures for a Fortran program Investigates the excellent input/output facilities available in Fortran Contains appendices listing the many intrinsic procedures and providing a brief informal syntax specification for the language This indispensable guide provides a tutorial for anyone who wants to learn Fortran 08, including those familiar with programming language concepts but unfamiliar with Fortran. Experienced Fortran 90/95 programmers will be able to use this volume to assimilate quickly those features in Fortran 03 and 08 that are not in Fortran 90 or 95.

This monograph describes the numerical analysis of non-linearities in structural mechanics, i.e. large rotations, large strain (geometric non-linearities), non-linear material behaviour, in particular elasto-plasticity as well as time-dependent behaviour, and contact. Based on that, the book treats stability problems and limit-load analyses, as well as non-linear equations of a large number of variables. Moreover, the author presents a wide range of problem sets and their solutions. The target audience primarily comprises advanced undergraduate and graduate students of mechanical and civil engineering, but the book may also be beneficial for practising engineers in industry.

This book constitutes the proceedings of the 13th International Conference on Parallel Computing Technologies, PaCT 2015, held in Petrozavodsk, Russia, during August / September 2015. The 37 full papers and 14 short papers presented were carefully reviewed and selected from 87 submissions. The papers are organized in topical sections on parallel models, algorithms and programming methods; unconventional computing; cellular automata; distributed computing; special processors programming techniques; applications.

This book offers a comprehensive collection of the most advanced numerical techniques for the efficient and effective solution of simulation and optimization problems governed by systems of time-dependent differential equations. The contributions present various approaches to time domain decomposition, focusing on multiple shooting and parareal algorithms. The range of topics covers theoretical analysis of the methods, as well as their algorithmic formulation and guidelines for practical implementation. Selected examples show that the discussed approaches are mandatory for the solution of challenging practical problems. The practicability and efficiency of the presented methods is illustrated by several case studies from fluid dynamics, data compression, image processing and computational biology, giving rise to possible new research topics. This volume, resulting from the workshop Multiple Shooting and Time Domain Decomposition Methods, held in Heidelberg in May 2013, will be of great interest to applied mathematicians, computer scientists and all scientists using mathematical methods.

This book is the first to be devoted to the theory and applications of spherical (radial) basis functions (SBFs), which is rapidly emerging as one of the most promising techniques for solving problems where approximations are needed on the surface of a sphere. The aim of the book is to provide enough theoretical and practical details for the reader to be able to implement the SBF methods to solve real world problems. The authors stress the close connection between the theory of SBFs and that of the more well-known family of radial basis functions (RBFs), which are well-established tools for solving approximation theory problems on more general domains. The unique solvability of the SBF interpolation method for data fitting problems is established and an in-depth investigation of its accuracy is provided. Two chapters are devoted to partial differential equations (PDEs). One deals with the practical implementation of an SBF-based solution to an elliptic PDE and another which describes an SBF approach for solving a parabolic time-dependent PDE, complete with error analysis. The theory developed is illuminated with numerical experiments throughout. Spherical Radial Basis Functions, Theory and Applications will be of interest to graduate students and researchers in mathematics and related fields such as the geophysical sciences and statistics.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Learning and Optimization, LION 9, which was held in Lille, France, in January 2015. The 31 contributions presented were carefully reviewed and selected for inclusion in this book. A large variety of topics are covered, such as benchmark problems and performance measures; tracking moving optima; dynamic multiobjective optimization; adaptation, learning, and anticipation; handling noisy fitness functions; using fitness approximations; searching for robust optimal solutions; comparative studies; hybrid approaches; theoretical analysis; and real-world applications.

This book gives a concise introduction to the basic techniques needed for the theoretical analysis of the Maxwell Equations, and filters in an elegant way the essential parts, e.g., concerning the various function spaces needed to rigorously investigate the boundary integral equations and variational equations. The book arose from lectures taught by the authors over many years and can be helpful in designing graduate courses for mathematically orientated students on electromagnetic wave propagation problems. The students should have some knowledge on vector analysis (curves, surfaces, divergence theorem) and functional analysis (normed spaces, Hilbert spaces, linear and bounded operators, dual space). Written in an accessible manner, topics are first approached with simpler scale Helmholtz Equations before turning to Maxwell Equations. There are examples and exercises throughout the book. It will be useful for graduate students and researchers in applied mathematics and engineers working in the theoretical approach to electromagnetic wave propagation.

This contributed volume presents some recent theoretical advances in mathematics and its applications in various areas of science and technology. Written by internationally recognized scientists and researchers, the chapters in this book are based on talks given at the International Conference on Advances in Applied Mathematics (ICAAM), which took place December 16-19, 2013, in Hammamet, Tunisia. Topics discussed at the conference included spectral theory, operator theory, optimization, numerical analysis, ordinary and partial differential equations, dynamical systems, control theory, probability, and statistics. These proceedings aim to foster and develop further growth in all areas of applied mathematics.

This monograph focuses on the numerical methods needed in the context of developing a reliable simulation tool to promote the use of renewable energy. One very promising source of energy is the heat stored in the Earth’s crust, which is harnessed by so-called geothermal facilities. Scientists from fields like geology, geo-engineering, geophysics and especially geomathematics are called upon to help make geothermics a reliable and safe energy production method. One of the challenges they face involves modeling the mechanical stresses at work in a reservoir. The aim of this thesis is to develop a numerical solution scheme by means of which the fluid pressure and rock stresses in a geothermal reservoir can be determined prior to well drilling and during production. For this purpose, the method should (i) include poroelastic effects, (ii) provide a means of including thermoelastic effects, (iii) be inexpensive in terms of memory and computational power, and (iv) be flexible with regard to the locations of data points. After introducing the basic equations and their relations to more familiar ones (the heat equation, Stokes equations, Cauchy-Navier equation), the “method of fundamental solutions” and its potential value concerning our task are discussed. Based on the properties of the fundamental solutions, theoretical results are established and numerical examples of stress field simulations are presented to assess the method’s performance. The first-ever 3D graphics calculated for these topics, which neither requiring meshing of the domain nor involving a time-stepping scheme, make this a pioneering volume.