Introductory courses in combinatorial optimization are popular at the upper undergraduate/graduate levels in computer science, industrial engineering, and business management/OR, owed to its wide applications in these fields. There are several published textbooks that treat this course and the authors have used many of them in their own teaching experiences. This present text fills a gap and is organized with a stress on methodology and relevant content, providing a step-by-step approach for the student to become proficient in solving combinatorial optimization problems. Applications and problems are considered via recent technology developments including wireless communication, cloud computing, social networks, and machine learning, to name several, and the reader is led to the frontiers of combinatorial optimization. Each chapter presents common problems, such as minimum spanning tree, shortest path, maximum matching, network flow, set-cover, as well as key algorithms, such as greedy algorithm, dynamic programming, augmenting path, and divide-and-conquer. Historical notes, ample exercises in every chapter, strategically placed graphics, and an extensive bibliography are amongst the gems of this textbook.

A computer algebra system such as Mathematica (R) is able to do much more than just numerics: This text shows how to tackle real mathematical problems from basic analysis. The reader learns how Mathematica (R) represents domains, qualifiers and limits to implement actual proofs - a requirement to unlock the huge potential of Mathematica (R) for a variety of applications.

This book introduces recently developed mixed finite element methods for large-scale geophysical flows that preserve essential numerical properties for accurate simulations. The methods are presented using standard models of atmospheric flows and are implemented using the Firedrake finite element library. Examples guide the reader through problem formulation, discretisation, and automated implementation. The so-called "compatible" finite element methods possess key numerical properties which are crucial for real-world operational weather and climate prediction. The authors summarise the theory and practical implications of these methods for model problems, introducing the reader to the Firedrake package and providing open-source implementations for all the examples covered. Students and researchers with engineering, physics, mathematics, or computer science backgrounds will benefit from this book. Those readers who are less familiar with the topic are provided with an overview of geophysical fluid dynamics.

Discover a modern approach to the analysis, modeling and design of high sensitivity phased arrays. Network theory, numerical methods and computational electromagnetic simulation techniques are uniquely combined to enable full system analysis and design optimization. Beamforming and array signal processing theory are integrated into the treatment from the start. Digital signal processing methods such as polyphase filtering and RFI mitigation are described, along with technologies for real-time hardware implementation. Key concepts from interferometric imaging used in radio telescopes are also considered. A basic development of theory and modeling techniques is accompanied by problem sets that guide readers in developing modeling codes that retain the simplicity of the classical array factor method while incorporating mutual coupling effects and interactions between elements. Combining current research trends with pedagogical material suitable for a first-year graduate course, this is an invaluable resource for students, teachers, researchers, and practicing RF/microwave and antenna design engineers.

This self-contained, systematic treatment of multivariate approximation begins with classical linear approximation, and moves on to contemporary nonlinear approximation. It covers substantial new developments in the linear approximation theory of classes with mixed smoothness, and shows how it is directly related to deep problems in other areas of mathematics. For example, numerical integration of these classes is closely related to discrepancy theory and to nonlinear approximation with respect to special redundant dictionaries, and estimates of the entropy numbers of classes with mixed smoothness are closely related to (in some cases equivalent to) the Small Ball Problem from probability theory. The useful background material included in the book makes it accessible to graduate students. Researchers will find that the many open problems in the theory outlined in the book provide helpful directions and guidance for their own research in this exciting and active area.

This book develops a new approach called parameter advising for finding a parameter setting for a sequence aligner that yields a quality alignment of a given set of input sequences. In this framework, a parameter advisor is a procedure that automatically chooses a parameter setting for the input, and has two main ingredients: (a) the set of parameter choices considered by the advisor, and (b) an estimator of alignment accuracy used to rank alignments produced by the aligner. On coupling a parameter advisor with an aligner, once the advisor is trained in a learning phase, the user simply inputs sequences to align, and receives an output alignment from the aligner, where the advisor has automatically selected the parameter setting. The chapters first lay out the foundations of parameter advising, and then cover applications and extensions of advising. The content * examines formulations of parameter advising and their computational complexity, * develops methods for learning good accuracy estimators, * presents approximation algorithms for finding good sets of parameter choices, and * assesses software implementations of advising that perform well on real biological data. Also explored are applications of parameter advising to * adaptive local realignment, where advising is performed on local regions of the sequences to automatically adapt to varying mutation rates, and * ensemble alignment, where advising is applied to an ensemble of aligners to effectively yield a new aligner of higher quality than the individual aligners in the ensemble. The book concludes by offering future directions in advising research.

This book provides state-of-the-art and interdisciplinary topics on solving matrix eigenvalue problems, particularly by using recent petascale and upcoming post-petascale supercomputers. It gathers selected topics presented at the International Workshops on Eigenvalue Problems: Algorithms; Software and Applications, in Petascale Computing (EPASA2014 and EPASA2015), which brought together leading researchers working on the numerical solution of matrix eigenvalue problems to discuss and exchange ideas - and in so doing helped to create a community for researchers in eigenvalue problems. The topics presented in the book, including novel numerical algorithms, high-performance implementation techniques, software developments and sample applications, will contribute to various fields that involve solving large-scale eigenvalue problems.

This book features a selection of articles based on the XXXV Bialowieza Workshop on Geometric Methods in Physics, 2016. The series of Bialowieza workshops, attended by a community of experts at the crossroads of mathematics and physics, is a major annual event in the field. The works in this book, based on presentations given at the workshop, are previously unpublished, at the cutting edge of current research, typically grounded in geometry and analysis, and with applications to classical and quantum physics. In 2016 the special session "Integrability and Geometry" in particular attracted pioneers and leading specialists in the field. Traditionally, the Bialowieza Workshop is followed by a School on Geometry and Physics, for advanced graduate students and early-career researchers, and the book also includes extended abstracts of the lecture series.

This monograph discusses covariant Schroedinger operators and their heat semigroups on noncompact Riemannian manifolds and aims to fill a gap in the literature, given the fact that the existing literature on Schroedinger operators has mainly focused on scalar Schroedinger operators on Euclidean spaces so far. In particular, the book studies operators that act on sections of vector bundles. In addition, these operators are allowed to have unbounded potential terms, possibly with strong local singularities. The results presented here provide the first systematic study of such operators that is sufficiently general to simultaneously treat the natural operators from quantum mechanics, such as magnetic Schroedinger operators with singular electric potentials, and those from geometry, such as squares of Dirac operators that have smooth but endomorphism-valued and possibly unbounded potentials. The book is largely self-contained, making it accessible for graduate and postgraduate students alike. Since it also includes unpublished findings and new proofs of recently published results, it will also be interesting for researchers from geometric analysis, stochastic analysis, spectral theory, and mathematical physics..

Combining theoretical and practical aspects of topology, this book provides a comprehensive and self-contained introduction to topological methods for the analysis and visualization of scientific data. Theoretical concepts are presented in a painstaking but intuitive manner, with numerous high-quality color illustrations. Key algorithms for the computation and simplification of topological data representations are described in detail, and their application is carefully demonstrated in a chapter dedicated to concrete use cases. With its fine balance between theory and practice, "Topological Data Analysis for Scientific Visualization" constitutes an appealing introduction to the increasingly important topic of topological data analysis for lecturers, students and researchers.

Processing, Analyzing and Learning of Images, Shapes, and Forms: Part 2, Volume 20, surveys the contemporary developments relating to the analysis and learning of images, shapes and forms, covering mathematical models and quick computational techniques. Chapter cover Alternating Diffusion: A Geometric Approach for Sensor Fusion, Generating Structured TV-based Priors and Associated Primal-dual Methods, Graph-based Optimization Approaches for Machine Learning, Uncertainty Quantification and Networks, Extrinsic Shape Analysis from Boundary Representations, Efficient Numerical Methods for Gradient Flows and Phase-field Models, Recent Advances in Denoising of Manifold-Valued Images, Optimal Registration of Images, Surfaces and Shapes, and much more.

This volume introduces an innovative tool for the development of sustainable cities and the promotion of the quality of life of city inhabitants. It presents a decision-support system to orient public administrations in identifying development scenarios for sustainable urban and territorial transformations. The authors have split the volume into five parts, which respectively describe the theoretical basis of the book, the policies in question and indicators that influence them, the decision-support system that connects indicators to policies, the case study of Ancona, Italy, and potential future directions for this work. This volume is based on transdisciplinary research completed in May 2016 that involved about 40 researchers at The University of Camerino, Italy and other European universities. With purchase of this book, readers will also have access to Electronic Supplementary Material that contains a database with groups of indicators of assessment of urban quality of life and a toolkit containing the data processing system and management information system used in the book's case study.

The Proceedings volume contains 16 contributions to the IMPA conference "New Trends in Parameter Identification for Mathematical Models", Rio de Janeiro, Oct 30 - Nov 3, 2017, integrating the "Chemnitz Symposium on Inverse Problems on Tour". This conference is part of the "Thematic Program on Parameter Identification in Mathematical Models" organized at IMPA in October and November 2017. One goal is to foster the scientific collaboration between mathematicians and engineers from the Brazialian, European and Asian communities. Main topics are iterative and variational regularization methods in Hilbert and Banach spaces for the stable approximate solution of ill-posed inverse problems, novel methods for parameter identification in partial differential equations, problems of tomography , solution of coupled conduction-radiation problems at high temperatures, and the statistical solution of inverse problems with applications in physics.

This proceedings book presents selected contributions from the XVIII Congress of APDIO (the Portuguese Association of Operational Research) held in Valenca on June 28-30, 2017. Prepared by leading Portuguese and international researchers in the field of operations research, it covers a wide range of complex real-world applications of operations research methods using recent theoretical techniques, in order to narrow the gap between academic research and practical applications. 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 and job scheduling problems. In most chapters, the problems, methods and methodologies described are complemented by supporting figures, tables and algorithms. The XVIII Congress of APDIO marked the 18th installment of the regular biannual meetings of APDIO - the Portuguese Association of Operational Research. The meetings bring together researchers, scholars and practitioners, as well as MSc and PhD students, working in the field of operations research to present and discuss their latest works. The main theme of the latest meeting was Operational Research Pro Bono. Given the breadth of topics covered, the book offers a valuable resource for all researchers, students and practitioners interested in the latest trends in this field.

This book presents the latest experimental and numerical analysis work in the field of ground deformation and base instability of deep excavations in soft clay subjected to hydraulic uplift. The authors' latest research findings, based on dimensional analyses, well-instrumented full-scale field tests, systematic coupled-consolidation finite element analyses and centrifuge tests are reported. This book shows how to systematically approach a complex geotechnical problem, from identifying existing problems, reviewing literature, to dimensional and numerical analyses, validation through full-scale testing and centrifuge model testing. The methodologies are also introduced as major tools adopted in geotechnical research.

Isogeometric Analysis is a groundbreaking computational approach that promises the possibility of integrating the finite element method into conventional spline-based CAD design tools. It thus bridges the gap between numerical analysis and geometry, and moreover it allows to tackle new cutting edge applications at the frontiers of research in science and engineering. This proceedings volume contains a selection of outstanding research papers presented at the second International Workshop on Isogeometric Analysis and Applications, held at Annweiler, Germany, in April 2014.

This is the second edition of a well-received book providing the fundamentals of the theory hyperbolic conservation laws. Several chapters have been rewritten, new material has been added, in particular, a chapter on space dependent flux functions and the detailed solution of the Riemann problem for the Euler equations. Hyperbolic conservation laws are central in the theory of nonlinear partial differential equations and in science and technology. The reader is given a self-contained presentation using front tracking, which is also a numerical method. The multidimensional scalar case and the case of systems on the line are treated in detail. A chapter on finite differences is included. From the reviews of the first edition: "It is already one of the few best digests on this topic. The present book is an excellent compromise between theory and practice. Students will appreciate the lively and accurate style." D. Serre, MathSciNet "I have read the book with great pleasure, and I can recommend it to experts as well as students. It can also be used for reliable and very exciting basis for a one-semester graduate course." S. Noelle, Book review, German Math. Soc. "Making it an ideal first book for the theory of nonlinear partial differential equations...an excellent reference for a graduate course on nonlinear conservation laws." M. Laforest, Comp. Phys. Comm.

This book reports on the latest advances in concepts and further developments of principal component analysis (PCA), addressing a number of open problems related to dimensional reduction techniques and their extensions in detail. Bringing together research results previously scattered throughout many scientific journals papers worldwide, the book presents them in a methodologically unified form. Offering vital insights into the subject matter in self-contained chapters that balance the theory and concrete applications, and especially focusing on open problems, it is essential reading for all researchers and practitioners with an interest in PCA.

Sparse grids are a popular tool for the numerical treatment of high-dimensional problems. Where classical numerical discretization schemes fail in more than three or four dimensions, sparse grids, in their different flavors, are frequently the method of choice. This volume of LNCSE presents selected papers from the proceedings of the fourth workshop on sparse grids and applications, and demonstrates once again the importance of this numerical discretization scheme. The articles present recent advances in the numerical analysis of sparse grids in connection with a range of applications including computational chemistry, computational fluid dynamics, and big data analytics, to name but a few.

This edited monograph collects research contributions and addresses the advancement of efficient numerical procedures in the area of model order reduction (MOR) for simulation, optimization and control. The topical scope includes, but is not limited to, new out-of-the-box algorithmic solutions for scientific computing, e.g. reduced basis methods for industrial problems and MOR approaches for electrochemical processes. The target audience comprises research experts and practitioners in the field of simulation, optimization and control, but the book may also be beneficial for graduate students alike.

Current research and applications in nonlinear analysis influenced by Haim Brezis and Louis Nirenberg are presented in this book by leading mathematicians. Each contribution aims to broaden reader's understanding of theories, methods, and techniques utilized to solve significant problems. Topics include: Sobolev Spaces Maximal monotone operators A theorem of Brezis-Nirenberg Operator-norm convergence of the Trotter product formula Elliptic operators with infinitely many variables Pseudo-and quasiconvexities for nonsmooth function Anisotropic surface measures Eulerian and Lagrangian variables Multiple periodic solutions of Lagrangian systems Porous medium equation Nondiscrete Lassonde-Revalski principle Graduate students and researchers in mathematics, physics, engineering, and economics will find this book a useful reference for new techniques and research areas. Haim Brezis and Louis Nirenberg's fundamental research in nonlinear functional analysis and nonlinear partial differential equations along with their years of teaching and training students have had a notable impact in the field.

This self-contained introduction to numerical linear algebra provides a comprehensive, yet concise, overview of the subject. It includes standard material such as direct methods for solving linear systems and least-squares problems, error, stability and conditioning, basic iterative methods and the calculation of eigenvalues. Later chapters cover more advanced material, such as Krylov subspace methods, multigrid methods, domain decomposition methods, multipole expansions, hierarchical matrices and compressed sensing. The book provides rigorous mathematical proofs throughout, and gives algorithms in general-purpose language-independent form. Requiring only a solid knowledge in linear algebra and basic analysis, this book will be useful for applied mathematicians, engineers, computer scientists, and all those interested in efficiently solving linear problems.

Premature cracking in asphalt pavements and overlays continues to shorten pavement lifecycles and creates significant economic and environmental burden. In response, RILEM Technical Committee TC 241-MCD on Mechanisms of Cracking and Debonding in Asphalt and Composite Pavements has conducted a State-of-the-Art Review (STAR), as detailed in this comprehensive book. Cutting-edge research performed by RILEM members and their international partners is presented, along with summaries of open research questions and recommendations for future research. This book is organized according to the theme areas of TC 241-MCD - i.e., fracture in the asphalt bulk material, interface debonding behaviour, and advanced measurement systems. This STAR is expected to serve as a long term reference for researchers and practitioners, as it contributes to a deeper fundamental understanding of the mechanisms behind cracking and debonding in asphalt concrete and composite pavement systems.

This book presents, in a consistent and unified overview, results and developments in the field of todays spherical sampling, particularly arising in mathematical geosciences. Although the book often refers to original contributions, the authors made them accessible to (graduate) students and scientists not only from mathematics but also from geosciences and geoengineering. Building a library of topics in spherical sampling theory it shows how advances in this theory lead to new discoveries in mathematical, geodetic, geophysical as well as other scientific branches like neuro-medicine. A must-to-read for everybody working in the area of spherical sampling.

This book presents the refereed proceedings of the Twelfth International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing that was held at Stanford University (California) in August 2016. These biennial conferences are major events for Monte Carlo and quasi-Monte Carlo researchers. The proceedings include articles based on invited lectures as well as carefully selected contributed papers on all theoretical aspects and applications of Monte Carlo and quasi-Monte Carlo methods. Offering information on the latest developments in these very active areas, this book is an excellent reference resource for theoreticians and practitioners interested in solving high-dimensional computational problems, arising in particular, in finance, statistics, computer graphics and the solution of PDEs.