The intention of this book is to reveal and discuss some aspects of the metal fo- ing plasticity theory. The modern theory describes deformation of metallic bodies in cold and hot regimes under combined thermal and mechanical loadings. Th- mal and deformation fields appear in metal forming in various forms. A thermal field influences the material properties, modifies the extent of plastic zones, etc. and the deformation of metallic body induces changes in temperature distribution. The thermal effects in metal forming plasticity can be studied at two levels, - pending on whether uncoupled or coupled theories of thermo-plastic response have to be applied. A majority of metal forming processes can be satisfactorily studied within an uncoupled theory. In such an approach the temperature enters the stress-strain relation through the material constants and through the thermal dilatation. The description of thermo-plastic deformation in metal forming is c- ried out on the ground of thermodynamics.

This volume of High Performance Computing in Science and Engineering is fully dedicated to the final report of KONWIHR, the Bavarian Competence Network for Technical and Scientific High Performance Computing. It includes the transactions of the final KONWIHR workshop, that was held at Technische Universitat Munchen, October 14-15, 2004, as well as additional reports of KONWIHR research groups. KONWIHR was established by the Bavarian State Government in order to support the broad application of high performance computing in science and technology throughout the country. KONWIHR is a supporting action to the installation of the German supercomputer Hitachi SR 8000 in the Leibniz Computing Center of the Bavarian Academy of Sciences. The report covers projects from basic research in computer science to develop tools for high performance computing as well as applications from biology, chemistry, electrical engineering, geology, mathematics, physics, computational fluid dynamics, materials science and computer science."

The book presents an overview of the state of research of advanced finite element technologies. Besides the mathematical analysis, the finite element development and their engineering applications are shown to the reader. The authors give a survey of the methods and technologies concerning efficiency, robustness and performance aspects. The book covers the topics of mathematical foundations for variational approaches and the mathematical understanding of the analytical requirements of modern finite element methods. Special attention is paid to finite deformations, adaptive strategies, incompressible, isotropic or anisotropic material behavior and the mathematical and numerical treatment of the well-known locking phenomenon. Beyond that new results for the introduced approaches are presented especially for challenging nonlinear problems.

The field and topic of optimization is not only a very hot topic now, it is morphing into new approaches. Presents a very contemporary approach. Appeal to mathematicians, yet will also find use in computer science and engineering, especially in operations research. Practical approach presents a framework to be used by students and professionals alike to tackle models needed for various applications and solutions.

This self-contained monograph presents matrix algorithms and their analysis. The new technique enables not only the solution of linear systems but also the approximation of matrix functions, e.g., the matrix exponential. Other applications include the solution of matrix equations, e.g., the Lyapunov or Riccati equation. The required mathematical background can be found in the appendix. The numerical treatment of fully populated large-scale matrices is usually rather costly. However, the technique of hierarchical matrices makes it possible to store matrices and to perform matrix operations approximately with almost linear cost and a controllable degree of approximation error. For important classes of matrices, the computational cost increases only logarithmically with the approximation error. The operations provided include the matrix inversion and LU decomposition. Since large-scale linear algebra problems are standard in scientific computing, the subject of hierarchical matrices is of interest to scientists in computational mathematics, physics, chemistry and engineering.

Discusses effluent discharges into various ambient waters and predictive tools for design and regulatory purposes. Emphasis placed on numerical modeling and simulations, rather than general examples. Provides real technical solutions and tools for minimizing the impact on coasts and other water bodies. Covers the fundamentals in predicting the mixing of effluents resulting from desalination plants. Includes an introduction to OpenFOAM and its applications.

This book is devoted to the mathematical theory of regularization methods and gives an account of the currently available results about regularization methods for linear and nonlinear ill-posed problems. Both continuous and iterative regularization methods are considered in detail with special emphasis on the development of parameter choice and stopping rules which lead to optimal convergence rates.

The volume is a follow-up to the INdAM meeting "Special metrics and quaternionic geometry" held in Rome in November 2015. It offers a panoramic view of a selection of cutting-edge topics in differential geometry, including 4-manifolds, quaternionic and octonionic geometry, twistor spaces, harmonic maps, spinors, complex and conformal geometry, homogeneous spaces and nilmanifolds, special geometries in dimensions 5-8, gauge theory, symplectic and toric manifolds, exceptional holonomy and integrable systems. The workshop was held in honor of Simon Salamon, a leading international scholar at the forefront of academic research who has made significant contributions to all these subjects. The articles published here represent a compelling testimony to Salamon's profound and longstanding impact on the mathematical community. Target readership includes graduate students and researchers working in Riemannian and complex geometry, Lie theory and mathematical physics.

This book offers a compact primer on advanced numerical flux functions in computational fluid dynamics (CFD). It comprehensively introduces readers to methods used at the forefront of compressible flow simulation research. Further, it provides a comparative evaluation of the methods discussed, helping readers select the best numerical flux function for their specific needs. The first two chapters of the book reviews finite volume methods and numerical functions, before discussing issues commonly encountered in connection with each. The third and fourth chapter, respectively, address numerical flux functions for ideal gases and more complex fluid flow cases- multiphase flows, supercritical fluids and magnetohydrodynamics. In closing, the book highlights methods that provide high levels of accuracy. The concise content provides an overview of recent advances in CFD methods for shockwaves. Further, it presents the author's insights into the advantages and disadvantages of each method, helping readers implement the numerical methods in their own research.

Detailed lecture notes on six topics at the forefront of current research in numerical analysis and applied mathematics, with each set of notes presenting a self-contained guide to a current research area and supplemented by an extensive bibliography. In addition, most of the notes contain detailed proofs of the key results. They start from a level suitable for first year graduates in applied mathematics, mathematical analysis or numerical analysis, and proceed to current research topics. Readers will thus quickly gain an insight into the important results and techniques in each area without recourse to the large research literature. Current (unsolved) problems are also described, and directions for future research given.

This monograph systematically explores the theory of rational maps between spheres in complex Euclidean spaces and its connections to other areas of mathematics. Synthesizing research from the last forty years, the author aims for accessibility by balancing abstract concepts with concrete examples. Numerous computations are worked out in detail, and more than 100 optional exercises are provided throughout for readers wishing to better understand challenging material. The text begins by presenting core concepts in complex analysis and a wide variety of results about rational sphere maps. The subsequent chapters discuss combinatorial and optimization results about monomial sphere maps, groups associated with rational sphere maps, relevant complex and CR geometry, and some geometric properties of rational sphere maps. Fifteen open problems appear in the final chapter, with references provided to appropriate parts of the text. These problems will encourage readers to apply the material to future research. Rational Sphere Maps will be of interest to researchers and graduate students studying several complex variables and CR geometry. Mathematicians from other areas, such as number theory, optimization, and combinatorics, will also find the material appealing. See the author's research web page for a list of typos, clarifications, etc.: https://faculty.math.illinois.edu/~jpda/research.html

The contributions by leading experts in this book focus on a variety of topics of current interest related to information-based complexity, ranging from function approximation, numerical integration, numerical methods for the sphere, and algorithms with random information, to Bayesian probabilistic numerical methods and numerical methods for stochastic differential equations.

This volume provides universal methodologies accompanied by Matlab software to manipulate numerous signal and image processing applications. It is done with discrete and polynomial periodic splines. Various contributions of splines to signal and image processing from a unified perspective are presented. This presentation is based on Zak transform and on Spline Harmonic Analysis (SHA) methodology. SHA combines approximation capabilities of splines with the computational efficiency of the Fast Fourier transform. SHA reduces the design of different spline types such as splines, spline wavelets (SW), wavelet frames (SWF) and wavelet packets (SWP) and their manipulations by simple operations. Digital filters, produced by wavelets design process, give birth to subdivision schemes. Subdivision schemes enable to perform fast explicit computation of splines' values at dyadic and triadic rational points. This is used for signals and images up sampling. In addition to the design of a diverse library of splines, SW, SWP and SWF, this book describes their applications to practical problems. The applications include up sampling, image denoising, recovery from blurred images, hydro-acoustic target detection, to name a few. The SWF are utilized for image restoration that was degraded by noise, blurring and loss of significant number of pixels. The book is accompanied by Matlab based software that demonstrates and implements all the presented algorithms. The book combines extensive theoretical exposure with detailed description of algorithms, applications and software. The Matlab software can be downloaded from http://extras.springer.com

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.

Computer-aided modelling is one of the most effective means of getting to the root of a natural phenomenon and of predicting the consequences of human impact on the environment. General methods of numerical modelling of random processes have been effectively developed and the area of applications has rapidly expanded in recent years. This book deals with the development and investigation of numerical methods for simulation of random processes and fields. The book opens with a description of scalar and vector-valued Gaussian models, followed by non-Gaussian models. Furthermore, issues of convergence of approximate models of random fields are studied. The last part of this book is devoted to applications of stochastic modelling, in which new application areas such as simulation of meteorological processes and fields, sea surface undulation, and stochastic structure of clouds, are presented.

Althoughsubmanifoldscomplexmanifoldshasbeenanactive?eldofstudyfor many years, in some sense this area is not su?ciently covered in the current literature. This text deals with the CR submanifolds of complex manifolds, with particular emphasis on CR submanifolds of complex projective space, and it covers the topics which are necessary for learning the basic properties of these manifolds. We are aware that it is impossible to give a complete overview of these submanifolds, but we hope that these notes can serve as an introduction to their study. We present the fundamental de?nitions and results necessary for reaching the frontiers of research in this ?eld. There are many monographs dealing with some current interesting topics in di?erential geometry, but most of these are written as encyclopedias, or research monographs, gathering recent results and giving the readers ample usefulinformationaboutthetopics. Therefore, thesekindsofmonographsare attractive to specialists in di?erential geometry and related ?elds and acce- able to professional di?erential geometers. However, for graduate students who are less advanced in di?erential geometry, these texts might be hard to read without assistance from their instructors. By contrast, the general philosophy of this book is to begin with the elementary facts about complex manifolds and their submanifolds, give some details and proofs, and introduce the reader to the study of CR submanifolds of complex manifolds; especially complex projective space. It includes only a few original results with precise proofs, while the others are cited in the reference list.

This book contains detailed lecture notes on six topics at the forefront of current research in numerical analysis and applied mathematics. Each set of notes presents a self-contained guide to a current research area and has an extensive bibliography. In addition, most of the notes contain detailed proofs of the key results. The notes start from a level suitable for first year graduate students in applied mathematics, mathematical analysis or numerical analysis, and proceed to current research topics. The reader should therefore be able to gain quickly an insight into the important results and techniques in each area without recourse to the large research literature. Current (unsolved) problems are also described and directions for future research are given. This book is also suitable for professional mathematicians who require a succinct and accurate account of recent research in areas parallel to their own, and graduates in mathematical sciences.

Numerical methods and related computer based algorithms form the logical solution for many complex problems encountered in science and engineering. Although numerical techniques are now well established, they have continued to expand and diversify, particularly in the fields of engineering analysis and design. Various engineering departments in the University College of Swansea, in particular, Civil, Chemical, Electrical and Computer Science, have groups working in these areas. It is from this mutual interest that the NUMET A conference series was conceived with the main objective of providing a link between engineers developing new numerical techniques and those applying them in practice. Encouraged by the success of NUMETA '85, the second conference, NUMETA '87, was held at Swansea, 6-10 July 1987. Over two hundred and twenty abstracts were submitted for consideration together with a number of invited papers from experts in the field of numerical methods. The final selection of contributed and invited papers were of a high quality and have culminated in the two volumes which form these proceedings. This volume contains papers on the themes of 'Transient/Dynamic Analysis and Constitutive Laws for Engineering Materials'. Many new developments on a wide variety of topics have been reported and these proceedings contain a wealth of information and references which we believe will be of great interest to theoreticians and practising engineers alike.

This book collects many of the presented papers, as plenary presentations, mini-symposia invited presentations, or contributed talks, from the European Conference on Numerical Mathematics and Advanced Applications (ENUMATH) 2017. The conference was organized by the University of Bergen, Norway from September 25 to 29, 2017. Leading experts in the field presented the latest results and ideas in the designing, implementation, and analysis of numerical algorithms as well as their applications to relevant, societal problems. ENUMATH is a series of conferences held every two years to provide a forum for discussing basic aspects and new trends in numerical mathematics and scientific and industrial applications. These discussions are upheld at the highest level of international expertise. The first ENUMATH conference was held in Paris in 1995 with successive conferences being held at various locations across Europe, including Heidelberg (1997), Jyvaskyla (1999), lschia Porto (2001), Prague (2003), Santiago de Compostela (2005), Graz (2007), Uppsala (2009), Leicester (2011), Lausanne (2013), and Ankara (2015).

This book presents models and algorithms for complex scheduling problems. Besides resource-constrained project scheduling problems with applications also job-shop problems with flexible machines, transportation or limited buffers are discussed. Discrete optimization methods like linear and integer programming, constraint propagation techniques, shortest path and network flow algorithms, branch-and-bound methods, local search and genetic algorithms, and dynamic programming are presented. They are used in exact or heuristic procedures to solve the introduced complex scheduling problems. Furthermore, methods for calculating lower bounds are described. Most algorithms are formulated in detail and illustrated with examples. In this second edition some errors were corrected, some parts were explained in more detail, and new material has been added. In particular, further generalizations of the RCPSP, additional practical applications and some more algorithms were integrated.

This two-volume work introduces the theory and applications of Schur-convex functions. The first volume introduces concepts and properties of Schur-convex functions, including Schur-geometrically convex functions, Schur-harmonically convex functions, Schur-power convex functions, etc. and also discusses applications of Schur-convex functions in symmetric function inequalities.

This book constitutes the edited proceedings of the Advanced Studies Institute on Boundary Element Techniques in Computer Aided Engineering held at The Institute of Computational Mechanics, Ashurst Lodge, Southampton, England, from September 19 to 30, 1984. The Institute was held under the auspices of the newly launched "Double Jump Programme" which aims to bring together academics and industrial scientists. Consequently the programme was more industr ially based than other NATO ASI meetings, achieving an excellent combination of theoretical and practical aspects of the newly developed Boundary Element Method. In recent years engineers have become increasingly interested in the application of boundary element techniques for'the solution of continuum mechanics problems. The importance of boundary elements is that it combines the advantages of boundary integral equations (i.e. reduction of dimensionality of the problems, possibility of modelling domains extending to infinity, numerical accura'cy) with the versatility of finite elements (i.e. modelling of arbitrary curved surfaces). Because of this the technique has been well received by the engineering and scientific communities. Another important advantage of boundary elements stems from its reduction of dimensionality, that is that the technique requires much less data input than classical finite elements. This makes the method very well suited for Computer Aided Design and in great part explains the interest of the engineering profession in the new technique."

The book introduces modern high-order methods for computational fluid dynamics. As compared to low order finite volumes predominant in today's production codes, higher order discretizations significantly reduce dispersion errors, the main source of error in long-time simulations of flow at higher Reynolds numbers. A major goal of this book is to teach the basics of the discontinuous Galerkin (DG) method in terms of its finite volume and finite element ingredients. It also discusses the computational efficiency of high-order methods versus state-of-the-art low order methods in the finite difference context, given that accuracy requirements in engineering are often not overly strict. The book mainly addresses researchers and doctoral students in engineering, applied mathematics, physics and high-performance computing with a strong interest in the interdisciplinary aspects of computational fluid dynamics. It is also well-suited for practicing computational engineers who would like to gain an overview of discontinuous Galerkin methods, modern algorithmic realizations, and high-performance implementations.