This book presents a complete and accurate study of arithmetic and algebraic circuits. The first part offers a review of all important basic concepts: it describes simple circuits for the implementation of some basic arithmetic operations; it introduces theoretical basis for residue number systems; and describes some fundamental circuits for implementing the main modular operations that will be used in the text. Moreover, the book discusses floating-point representation of real numbers and the IEEE 754 standard. The second and core part of the book offers a deep study of arithmetic circuits and specific algorithms for their implementation. It covers the CORDIC algorithm, and optimized arithmetic circuits recently developed by the authors for adders and subtractors, as well as multipliers, dividers and special functions. It describes the implementation of basic algebraic circuits, such as LFSRs and cellular automata. Finally, it offers a complete study of Galois fields, showing some exemplary applications and discussing the advantages in comparison to other methods. This dense, self-contained text provides students, researchers and engineers, with extensive knowledge on and a deep understanding of arithmetic and algebraic circuits and their implementation.

Hyperbolic partial differential equations describe phenomena of material or wave transport in physics, biology and engineering, especially in the field of fluid mechanics. The mathematical theory of hyperbolic equations has recently made considerable progress. Accurate and efficient numerical schemes for computation have been and are being further developed.
This two-volume set of conference proceedings contains about 100 refereed and carefully selected papers. The books are intended for researchers and graduate students in mathematics, science and engineering interested in the most recent results in theory and practice of hyperbolic problems.
Applications touched in these proceedings concern one-phase and multiphase fluid flow, phase transitions, shallow water dynamics, elasticity, extended thermodynamics, electromagnetism, classical and relativistic magnetohydrodynamics, cosmology. Contributions to the abstract theory of hyperbolic systems deal with viscous and relaxation approximations, front tracking and wellposedness, stability of shock profiles and multi-shock patterns, traveling fronts for transport equations. Numerically oriented articles study finite difference, finite volume, and finite element schemes, adaptive, multiresolution, and artificial dissipation methods.

This book highlights the synthesis of polarization selection system in the background of passive noise formed by reflections from space-distributed targets. This synthesis is fulfilled as close as possible to its ideal configuration in terms of maximal signal-to-noise ratio for the matched load of radar station antenna system. It presents a new approach to radar system resolution enhancement based on the development of mathematical model for radiometric receivers with mono-pulse antenna systems, as well as creation of a new algorithm that allows increasing angular resolution during the object's search and tracking due to special signal processing.

This book gravitates on the prominent theories and recent developments of swarm intelligence methods, and their application in both synthetic and real-world optimization problems. The special interest will be placed in those algorithmic variants where biological processes observed in nature have underpinned the core operators underlying their search mechanisms. In other words, the book centers its attention on swarm intelligence and nature-inspired methods for efficient optimization and problem solving. The content of this book unleashes a great opportunity for researchers, lecturers and practitioners interested in swarm intelligence, optimization problems and artificial intelligence.

The origins of wavelets go back to the beginning of the last century and wavelet methods are by now a well-known tool in image processing (jpeg2000). These functions have, however, been used successfully in other areas, such as elliptic partial differential equations, which can be used to model many processes in science and engineering. This book, based on the author's course and accessible to those with basic knowledge of analysis and numerical mathematics, gives an introduction to wavelet methods in general and then describes their application for the numerical solution of elliptic partial differential equations. Recently developed adaptive methods are also covered and each scheme is complemented with numerical results, exercises, and corresponding software tools.

This book is intended to provide a compilation of the state-of-the-art numerical methods for nonlinear fluid-structure interaction using the moving boundary Lagrangian-Eulerian formulation. Single and two-phase viscous incompressible fluid flows are considered with the increasing complexity of structures ranging from rigid-body, linear elastic and nonlinear large deformation to fully-coupled flexible multibody system. This book is unique with regard to computational modeling of such complex fluid-structure interaction problems at high Reynolds numbers, whereby various coupling techniques are introduced and systematically discussed. The techniques are demonstrated for large-scale practical problems in aerospace and marine/offshore engineering. This book also provides a comprehensive understanding of underlying unsteady physics and coupled mechanical aspects of the fluid-structure interaction from a computational point of view. Using the body-fitted and moving mesh formulations, the physical insights associated with structure-to-fluid mass ratios (i.e., added mass effects), Reynolds number, large structural deformation, free surface, and other interacting physical fields are covered. The book includes the basic tools necessary to build the concepts required for modeling such coupled fluid-structure interaction problems, thus exposing the reader to advanced topics of multiphysics and multiscale phenomena.

This self-contained book addresses the three most popular computational methods in CAE (finite elements, boundary elements, collocation methods) in a unified way, bridging the gap between CAD and CAE. It includes applications to a broad spectrum of engineering (benchmark) application problems, such as elasto-statics/dynamics and potential problems (thermal, acoustics, electrostatics). It also provides a large number of test cases, with full documentation of original sources, making it a valuable resource for any student or researcher in FEA-related areas. The book, which assumes readers have a basic knowledge of FEA, can be used as additional reading for engineering courses as well as for other interdepartmental MSc courses.

The Abel Symposia volume at hand contains a collection of high-quality articles written by the world's leading experts, and addressing all mathematicians interested in advances in deterministic and stochastic dynamical systems, numerical analysis, and control theory. In recent years we have witnessed a remarkable convergence between individual mathematical disciplines that approach deterministic and stochastic dynamical systems from mathematical analysis, computational mathematics and control theoretical perspectives. Breakthrough developments in these fields now provide a common mathematical framework for attacking many different problems related to differential geometry, analysis and algorithms for stochastic and deterministic dynamics. In the Abel Symposium 2016, which took place from August 16-19 in Rosendal near Bergen, leading researchers in the fields of deterministic and stochastic differential equations, control theory, numerical analysis, algebra and random processes presented and discussed the current state of the art in these diverse fields. The current Abel Symposia volume may serve as a point of departure for exploring these related but diverse fields of research, as well as an indicator of important current and future developments in modern mathematics.

Dynamic programming (DP) has a relevant history as a powerful and flexible optimization principle, but has a bad reputation as a computationally impractical tool. This book fills a gap between the statement of DP principles and their actual software implementation. Using MATLAB throughout, this tutorial gently gets the reader acquainted with DP and its potential applications, offering the possibility of actual experimentation and hands-on experience. The book assumes basic familiarity with probability and optimization, and is suitable to both practitioners and graduate students in engineering, applied mathematics, management, finance and economics.

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a “mathematical model checker” by which the validity of all formulas and the correctness of all algorithms can be automatically decided. The RISCAL software is freely available; all formal contents presented in the book are given in the form of specification files by which the reader may interact with the software while studying the corresponding book material.

This special volume of the conference will be of immense use to the researchers and academicians. In this conference, academicians, technocrats and researchers will get an opportunity to interact with eminent persons in the field of Applied Mathematics and Scientific Computing. The topics to be covered in this International Conference are comprehensive and will be adequate for developing and understanding about new developments and emerging trends in this area. High-Performance Computing (HPC) systems have gone through many changes during the past two decades in their architectural design to satisfy the increasingly large-scale scientific computing demand. Accurate, fast, and scalable performance models and simulation tools are essential for evaluating alternative architecture design decisions for the massive-scale computing systems. This conference recounts some of the influential work in modeling and simulation for HPC systems and applications, identifies some of the major challenges, and outlines future research directions which we believe are critical to the HPC modeling and simulation community.

Besides their intrinsic mathematical interest, geometric partial differential equations (PDEs) are ubiquitous in many scientific, engineering and industrial applications. They represent an intellectual challenge and have received a great deal of attention recently. The purpose of this volume is to provide a missing reference consisting of self-contained and comprehensive presentations. It includes basic ideas, analysis and applications of state-of-the-art fundamental algorithms for the approximation of geometric PDEs together with their impacts in a variety of fields within mathematics, science, and engineering.

This book presents the fundamentals of data assimilation and reviews the application of satellite remote sensing in hydrological data assimilation. Although hydrological models are valuable tools to monitor and understand global and regional water cycles, they are subject to various sources of errors. Satellite remote sensing data provides a great opportunity to improve the performance of models through data assimilation.

This book is one of the first to include an extensive discussion of integrated public transport planning. In times of growing urban populations and increasing environmental awareness, the importance of optimizing public transport systems is ever-developing. Three different aspects are presented: line planning, timetabling, and vehicle scheduling. Classically, challenges concerning these three aspects of planning are solved sequentially. Due to their high interdependence, the author presents a clear and detailed analysis of innovative, integrated models with accompanied numerical experiments performed to assess, and often support, the benefits of integration. The book will appeal to a wide readership ranging from graduate students to researchers.

This volume collects the most important contributions from four minisymposia from ICIAM 2019. The papers highlight cutting-edge applications of Cartesian CFD methods and describe the employed algorithms and numerical schemes. An emphasis is laid on complex multi-physics applications like magnetohydrodynamics, combustion, aerodynamics with fluid-structure interaction, solved with various discretizations, e.g. finite difference, finite volume, multiresolution or lattice Boltzmann CFD schemes. Software design aspects and parallelization challenges are also considered. The book is addressed to graduate students and scientists in the fields of applied mathematics and computational engineering.

Number theory, spectral geometry, and fractal geometry are interlinked in this in-depth study of the vibrations of fractal strings, that is, one-dimensional drums with fractal boundary.

Throughout "Geometry, Complex Dimensions and Zeta Functions, "Second Edition, new results are examined and anew definition of fractality as the presence of nonreal complex dimensions with positive real parts is presented. Thenewfinal chapterdiscusses several new topics and results obtained since the publication of the first edition."

Csiszar and Koerner's book is widely regarded as a classic in the field of information theory, providing deep insights and expert treatment of the key theoretical issues. It includes in-depth coverage of the mathematics of reliable information transmission, both in two-terminal and multi-terminal network scenarios. Updated and considerably expanded, this new edition presents unique discussions of information theoretic secrecy and of zero-error information theory, including the deep connections of the latter with extremal combinatorics. The presentations of all core subjects are self contained, even the advanced topics, which helps readers to understand the important connections between seemingly different problems. Finally, 320 end-of-chapter problems, together with helpful hints for solving them, allow readers to develop a full command of the mathematical techniques. It is an ideal resource for graduate students and researchers in electrical and electronic engineering, computer science and applied mathematics.

This book is intended as a study aid for the finite element method. Based on the free computer algebra system Maxima, we offer routines to symbolically or numerically solve problems from the context of two-dimensional problems. For this rather advanced topic, classical 'hand calculations' are difficult to perform and the incorporation of a computer algebra system is a convenient approach to handle, for example, larger matrix operations. The mechanical theories focus on the classical two-dimensional structural elements, i.e., plane elements, thin or classical plates, and thick or shear deformable plate elements. The use of a computer algebra system and the incorporated functions, e.g., for matrix operations, allows to focus more on the methodology of the finite element method and not on standard procedures. Furthermore, we offer a graphical user interface (GUI) to facilitate the model definition. Thus, the user may enter the required definitions in a source code manner directly in wxMaxima or use the GUI which is able to execute wxMaxime to perform the calculations.

Mathematical methods and theories with interdisciplinary applications are presented in this book. The eighteen contributions presented in this Work have been written by eminent scientists; a few papers are based on talks which took place at the International Conference at the Hellenic Artillery School in May 2015. Each paper evaluates possible solutions to long-standing problems such as the solvability of the direct electromagnetic scattering problem, geometric approaches to cyber security, ellipsoid targeting with overlap, non-equilibrium solutions of dynamic networks, measuring ballistic dispersion, elliptic regularity theory for the numerical solution of variational problems, approximation theory for polynomials on the real line and the unit circle, complementarity and variational inequalities in electronics, new two-slope parameterized achievement scalarizing functions for nonlinear multiobjective optimization, and strong and weak convexity of closed sets in a Hilbert space. Graduate students, scientists, engineers and researchers in pure and applied mathematical sciences, operations research, engineering, and cyber security will find the interdisciplinary scientific perspectives useful to their overall understanding and further research.

This book presents broadly applicable methods for the large deviation and moderate deviation analysis of discrete and continuous time stochastic systems. A feature of the book is the systematic use of variational representations for quantities of interest such as normalized logarithms of probabilities and expected values. By characterizing a large deviation principle in terms of Laplace asymptotics, one converts the proof of large deviation limits into the convergence of variational representations. These features are illustrated though their application to a broad range of discrete and continuous time models, including stochastic partial differential equations, processes with discontinuous statistics, occupancy models, and many others. The tools used in the large deviation analysis also turn out to be useful in understanding Monte Carlo schemes for the numerical approximation of the same probabilities and expected values. This connection is illustrated through the design and analysis of importance sampling and splitting schemes for rare event estimation. The book assumes a solid background in weak convergence of probability measures and stochastic analysis, and is suitable for advanced graduate students, postdocs and researchers.

This book focuses on two of the most important aspects of wind farm operation: decisions and control. The first part of the book deals with decision-making processes, and explains that hybrid wind farm operation is governed by a set of alternatives that the wind farm operator must choose from in order to achieve optimal delivery of wind power to the utility grid. This decision-making is accompanied by accurate forecasts of wind speed, which must be known beforehand. Errors in wind forecasting can be compensated for by pumping power from a reserve capacity to the grid using a battery energy storage system (BESS). Alternatives based on penalty cost are assessed using certain criteria, and MCDM methods are used to evaluate the best choice. Further, considering the randomness in the dynamic phenomenon in wind farms, a fuzzy MCDM approach is applied during the decision-making process to evaluate the best alternative for hybrid wind farm operation. Case studies from wind farms in the USA are presented, together with numerical solutions to the problem. In turn, the second part deals with the control aspect, and especially with yaw angle control, which facilitates power maximization at wind farms. A novel transfer function-based methodology is presented that controls the wake center of the upstream turbine(s); lidar-based numerical simulation is carried out for wind farm layouts; and an adaptive control strategy is implemented to achieve the desired yaw angle for upstream turbines. The proposed methodology is tested for two wind farm layouts. Wake management is also implemented for hybrid wind farms where BESS life enhancement is studied. The effect of yaw angle on the operational cost of BESS is assessed, and case studies for wind farm datasets from the USA and Denmark are discussed. Overall, the book provides a comprehensive guide to decision and control aspects for hybrid wind farms, which are particularly important from an industrial standpoint.

This text, based on the author's teaching at Ecole Polytechnique, introduces the reader to the world of mathematical modelling and numerical simulation. Covering the finite difference method; variational formulation of elliptic problems; Sobolev spaces; elliptical problems; the finite element method; Eigenvalue problems; evolution problems; optimality conditions and algorithms and methods of operational research, and including a several exercises throughout, this is an ideal text for advanced undergraduate students and graduates in applied mathematics, engineering, computer science, and the physical sciences.

This book introduces the reader to solving partial differential equations (PDEs) numerically using element-based Galerkin methods. Although it draws on a solid theoretical foundation (e.g. the theory of interpolation, numerical integration, and function spaces), the book's main focus is on how to build the method, what the resulting matrices look like, and how to write algorithms for coding Galerkin methods. In addition, the spotlight is on tensor-product bases, which means that only line elements (in one dimension), quadrilateral elements (in two dimensions), and cubes (in three dimensions) are considered. The types of Galerkin methods covered are: continuous Galerkin methods (i.e., finite/spectral elements), discontinuous Galerkin methods, and hybridized discontinuous Galerkin methods using both nodal and modal basis functions. In addition, examples are included (which can also serve as student projects) for solving hyperbolic and elliptic partial differential equations, including both scalar PDEs and systems of equations.

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. The chapters in this book are based on talks given at the Fifteenth International Conference on Integral Methods in Science and Engineering, held July 16-20, 2018 at the University of Brighton, UK, and are written by internationally recognized researchers. The topics addressed are wide ranging, and include: Asymptotic analysis Boundary-domain integral equations Viscoplastic fluid flow Stationary waves Interior Neumann shape optimization Self-configuring neural networks 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.

This "Select a" contains approximately two thirds of the papers my 1932 to 1994. These papers are divided into four fields. father wrote from The first volume contains the papers on 1) Summability and Number Theory and 2) Interpolation. The second volume contains the fields 3) Real and Functional Analysis and 4) Approximation Theory. Each of these four groups of papers is introduced by a review of the contents and significance, respectively of the impact of these papers. The first volume contains, in addition, an autobiography, a complete list of publications, a list of doctoral students and four unpublished essays on mathematics in general: a) A report on the University of Leningrad b) On the work of the mathematical mind c) Proofs in Mathematics d) About Mathematical books. The report on the University of Leningrad, written in the late '40's, is a unique historical document which is still of current interest for several reasons. It is of interest for professional reasons since it contains a com plete description of a mathematics majors' curriculum through his entire course of studies. From it one can see both the changes and invariants of course material as well as the students' course load. Then one can also see the consequences of admittedly extreme political intervention in uni versity affairs. Today we use the term "politically correct," but in those times being politically correct was a matter of life and death."