From the reviews: "A unique feature of this book is the nice blend of engineering vividness and mathematical rigour. [...] The authors are to be congratulated for their valuable contribution to the literature in the area of theoretical thermoelasticity and vibration of plates." Journal of Sound and Vibration

After reading this book, students should be able to analyze computational problems in linear algebra such as linear systems, least squares- and eigenvalue problems, and to develop their own algorithms for solving them. Since these problems can be large and difficult to handle, much can be gained by understanding and taking advantage of special structures. This in turn requires a good grasp of basic numerical linear algebra and matrix factorizations. Factoring a matrix into a product of simpler matrices is a crucial tool in numerical linear algebra, because it allows us to tackle complex problems by solving a sequence of easier ones. The main characteristics of this book are as follows: It is self-contained, only assuming that readers have completed first-year calculus and an introductory course on linear algebra, and that they have some experience with solving mathematical problems on a computer. The book provides detailed proofs of virtually all results. Further, its respective parts can be used independently, making it suitable for self-study. The book consists of 15 chapters, divided into five thematically oriented parts. The chapters are designed for a one-week-per-chapter, one-semester course. To facilitate self-study, an introductory chapter includes a brief review of linear algebra.

This book collects a selection of papers presented at ELECTRIMACS 2019, the 13th international conference of the IMACS TC1 Committee, held in Salerno, Italy, on 21st-23rd May 2019. The conference papers deal with modelling, simulation, analysis, control, power management, design optimization, identification and diagnostics in electrical power engineering. The main application fields include electric machines and electromagnetic devices, power electronics, transportation systems, smart grids, electric and hybrid vehicles, renewable energy systems, energy storage, batteries, supercapacitors and fuel cells, and wireless power transfer. The contributions included in Volume 1 are particularly focused on electrical engineering simulation aspects and innovative applications.

This book proposes new technologies and discusses future solutions for ICT design infrastructures, as reflected in high-quality papers presented at the 5th International Conference on ICT for Sustainable Development (ICT4SD 2020), held in Goa, India, on 23-24 July 2020. The conference provided a valuable forum for cutting-edge research discussions among pioneering researchers, scientists, industrial engineers, and students from all around the world. Bringing together experts from different countries, the book explores a range of central issues from an international perspective.

Probability and Mechanics of Ship Collision and Grounding provides simplified analytical procedures for ship collision and grounding assessments, including probabilistic methods, an estimation of the energy released during collisions, and a prediction of the extent of damage on involved structures. An additional chapter is dedicated to current finite element analysis techniques that are used for estimating structural damage during ship collisions. The book encapsulates reliable and fast analysis methods for collision and grounding assessment, presenting tactics that have been extensively validated with experimental and numerical results. In addition, all described analysis methods include realistic calculation examples to provide confidence in their use.

Uncertainty principles for time-frequency operators.- 1. Introduction.- 2. Sampling results for time-frequency transformations.- 3. Uncertainty principles for exact Gabor and wavelet frames.- References.- Distribution of zeros of matrix-valued continuous analogues of orthogonal polynomials.- 1. Preliminary results.- 1.1. Matrix-valued Krein functions of the first and second kinds.- 1.2. Partitioned integral operators.- 2. Orthogonal operator-valued polynomials.- 2.1. Stein equations for operators.- 2.2. Zeros of orthogonal polynomials.- 2.3. On Toeplitz matrices with operator entries.- 3. Zeros of mat rix-valued Krein functions.- 3.1 On Wiener-Hopf operators.- 3.2. Proof of the main theorem.- References.- The band extension of the real line as a limit of discrete band extensions, II. The entropy principle.- 0. Introduction.- I. Preliminaries.- II. Main results.- References.- Weakly positive matrix measures, generalized Toeplitz forms, and their applications to Hankel and Hilbert transform operators.- 1. Lifting properties of generalized Toeplitz forms and weakly positive matrix measures.- 2. The GBT and the theorems of Helson-Szegoe and Nehari.- 3. GNS construction, Wold decomposition and abstract lifting theorems.- 4. Multiparameter and n-conditional lifting theorems, the A-A-K theorem and applications in several variables.- References.- Reduction of the abstract four block problem to a Nehari problem.- 0. Introduction.- 1. Main theorems.- 2. Proofs of the main theorems.- References.- The state space method for integro-differential equations of Wiener-Hopf type with rational matrix symbols.- 1. Introduction and main theorems.- 2. Preliminaries on matrix pencils.- 3. Singular differential equations on the full-line.- 4. Singular differential equations on the half-line.- 5. Preliminaries on realizations.- 6. Proof of theorem 1.1.- 7. Proofs of theorems 1.2 and 1.3.- 8. An example.- References.- Symbols and asymptotic expansions.- 0. Introduction.- I. Smooth symbols on Rn.- II. Piecewise smooth symbols on T.- III. Piecewise smooth symbols on Rn.- IV. Symbols discontinuous across a hyperplane in Rn x Rn.- References.- Program of Workshop.

This book involves ideas/results from the topics of mathematical, information, and data sciences, in connection with the main research interests of Professor Pardo that can be summarized as Information Theory with Applications to Statistical Inference. This book is a tribute to Professor Leandro Pardo, who has chaired the Department of Statistics and OR of the Complutense University in Madrid, and he has been also President of the Spanish Society of Statistics and Operations Research. In this way, the contributions have been structured into three parts, which often overlap to a greater or lesser extent, namely Trends in Mathematical Sciences (Part I) Trends in Information Sciences (Part II) Trends in Data Sciences (Part III) The contributions gathered in this book have offered either new developments from a theoretical and/or computational and/or applied point of view, or reviews of recent literature of outstanding developments. They have been applied through nice examples in climatology, chemistry, economics, engineering, geology, health sciences, physics, pandemics, and socioeconomic indicators. Consequently, the intended audience of this book is mainly statisticians, mathematicians, computer scientists, and so on, but users of these disciplines as well as experts in the involved applications may certainly find this book a very interesting read.

This book highlights the use of information and communication technology (ICT) infrastructures in order to develop smart cities and produce smart economies in Africa. It discusses a robust set of concepts, including smart planning, smart infrastructure development, smart economic development, smart environmental sustainability, smart social development, resilience, and smart peace and security in several African cities. By drawing on the accumulated knowledge on various conditions that make cities smart, green, livable and healthy, it helps in the planning, design and management of African urbanization. In turn, it fosters the development of e-commerce, e-education, e-governance, etc. The rapid development of ICT infrastructures facilitates the creation of smart economies in digitally served cities and towns through smart urban planning, smart infrastructures, smart land tenure and smart urban policies. In the long term, this can reduce emissions of CO2, promote the creation of low carbon cities, reduce land degradation and promote biodiversity.

We often come across computational optimization virtually in all branches of engineering and industry. Many engineering problems involve heuristic search and optimization, and, once discretized, may become combinatorial in nature, which gives rise to certain difficulties in terms of solution procedure. Some of these problems have enormous search spaces, are NP-hard and hence require heuristic solution techniques. Another difficulty is the lack of ability of classical solution techniques to determine appropriate optima of non-convex problems. Under these conditions, recent advances in computational optimization techniques have been shown to be advantageous and successful compared to classical approaches. This Volume presents some of the latest developments with a focus on the design of algorithms for computational optimization and their applications in practice. Through the chapters of this book, researchers and practitioners share their experience and newest methodologies with regard to intelligent optimization and provide various case studies of the application of intelligent optimization techniques in real-world applications.This book can serve as an excellent reference for researchers and graduate students in computer science, various engineering disciplines and the industry.

This monograph, co-authored by three longtime collaborators, aims to promote the interdisciplinary field of mathematical biology by providing accessible new approaches to study natural systems. As there is currently scarce literature on the applications of mathematical modelling for biology research, this book presents a new way of studying interactions at the level of populations, societies, ecosystems, and biomes through open-sourced modeling platforms. It offers an interdisciplinary approach to analyzing natural phenomena-for example, by showing how master equations developed to describe electrical circuits can also describe biological systems mathematically. Ultimately it promotes a method of study based on modelling and mathematical principles, facilitating collaboration between mathematicians, biologists, engineers, and other researchers to enrich knowledge of the world's ecosystems.

Following an introduction to the basis of the fast Fourier transform (FFT), this book focuses on the implementation details on FFT for parallel computers. FFT is an efficient implementation of the discrete Fourier transform (DFT), and is widely used for many applications in engineering, science, and mathematics. Presenting many algorithms in pseudo-code and a complexity analysis, this book offers a valuable reference guide for graduate students, engineers, and scientists in the field who wish to apply FFT to large-scale problems.Parallel computation is becoming indispensable in solving the large-scale problems increasingly arising in a wide range of applications. The performance of parallel supercomputers is steadily improving, and it is expected that a massively parallel system with hundreds of thousands of compute nodes equipped with multi-core processors and accelerators will be available in the near future. Accordingly, the book also provides up-to-date computational techniques relevant to the FFT in state-of-the-art parallel computers. Following the introductory chapter, Chapter 2 introduces readers to the DFT and the basic idea of the FFT. Chapter 3 explains mixed-radix FFT algorithms, while Chapter 4 describes split-radix FFT algorithms. Chapter 5 explains multi-dimensional FFT algorithms, Chapter 6 presents high-performance FFT algorithms, and Chapter 7 addresses parallel FFT algorithms for shared-memory parallel computers. In closing, Chapter 8 describes parallel FFT algorithms for distributed-memory parallel computers.

This book explores internet applications in which a crucial role is played by classification, such as spam filtering, recommender systems, malware detection, intrusion detection and sentiment analysis. It explains how such classification problems can be solved using various statistical and machine learning methods, including K nearest neighbours, Bayesian classifiers, the logit method, discriminant analysis, several kinds of artificial neural networks, support vector machines, classification trees and other kinds of rule-based methods, as well as random forests and other kinds of classifier ensembles. The book covers a wide range of available classification methods and their variants, not only those that have already been used in the considered kinds of applications, but also those that have the potential to be used in them in the future. The book is a valuable resource for post-graduate students and professionals alike.

This volume explores the universal mathematical properties underlying big language data and possible reasons why such properties exist, revealing how we may be unconsciously mathematical in our language use. These properties are statistical and thus different from linguistic universals that contribute to describing the variation of human languages, and they can only be identified over a large accumulation of usages. The book provides an overview of state-of-the art findings on these statistical universals and reconsiders the nature of language accordingly, with Zipf's law as a well-known example. The main focus of the book further lies in explaining the property of long memory, which was discovered and studied more recently by borrowing concepts from complex systems theory. The statistical universals not only possibly lie as the precursor of language system formation, but they also highlight the qualities of language that remain weak points in today's machine learning. In summary, this book provides an overview of language's global properties. It will be of interest to anyone engaged in fields related to language and computing or statistical analysis methods, with an emphasis on researchers and students in computational linguistics and natural language processing. While the book does apply mathematical concepts, all possible effort has been made to speak to a non-mathematical audience as well by communicating mathematical content intuitively, with concise examples taken from real texts.

Though the reductionist approachto biology and medicine has led to several imp- tant advances, further progresses with respect to the remaining challenges require integration of representation, characterization and modeling of the studied systems along a wide range of spatial and time scales. Such an approach, intrinsically - lated to systems biology, is poised to ultimately turning biology into a more precise and synthetic discipline, paving the way to extensive preventive and regenerative medicine [1], drug discovery [20] and treatment optimization [24]. A particularly appealing and effective approach to addressing the complexity of interactions inherent to the biological systems is provided by the new area of c- plex networks [34, 30, 8, 13, 12]. Basically, it is an extension of graph theory [10], focusing on the modeling, representation, characterization, analysis and simulation ofcomplexsystemsbyconsideringmanyelementsandtheirinterconnections.C- plex networks concepts and methods have been used to study disease [17], tr- scription networks [5, 6, 4], protein-protein networks [22, 36, 16, 39], metabolic networks [23] and anatomy [40].

This book includes original research findings in the field of memetic algorithms for image processing applications. It gathers contributions on theory, case studies, and design methods pertaining to memetic algorithms for image processing applications ranging from defence, medical image processing, and surveillance, to computer vision, robotics, etc. The content presented here provides new directions for future research from both theoretical and practical viewpoints, and will spur further advances in the field.

This book contains a mathematical exposition of analogies between classical (Hamiltonian) mechanics, geometrical optics, and hydrodynamics. This theory highlights several general mathematical ideas that appeared in Hamiltonian mechanics, optics and hydrodynamics under different names. In addition, some interesting applications of the general theory of vortices are discussed in the book such as applications in numerical methods, stability theory, and the theory of exact integration of equations of dynamics. The investigation of families of trajectories of Hamiltonian systems can be reduced to problems of multidimensional ideal fluid dynamics. For example, the well-known Hamilton-Jacobi method corresponds to the case of potential flows. The book will be of great interest to researchers and postgraduate students interested in mathematical physics, mechanics, and the theory of differential equations.

The book introduces most of the basic tools of chemometrics including experimental design, signal analysis, statistical methods for analytical chemistry and multivariate methods. It then discusses a number of important applications including food chemistry, biological pattern recognition, reaction monitoring, optimisation of processes, medical applications.

The book arises from a series of short articles that have been developed over four years on Chemweb (www.chemweb.com).

This book is intended as a textbook for a first course in computational fluid dynamics and will be of interest to researchers and practitioners as well. It emphasizes fundamental concepts in developing, analyzing, and understanding numerical methods for the partial differential equations governing the physics of fluid flow. The linear convection and diffusion equations are used to illustrate concepts throughout. The chosen approach, in which the partial differential equations are reduced to ordinary differential equations, and finally to difference equations, gives the book its distinctiveness and provides a sound basis for a deep understanding of the fundamental concepts in computational fluid dynamics.

This book discusses topics related to the topological structure and biological function of gene networks regulated by microRNAs. It focuses on analyzing the relation between topological structure and biological function, applying these theoretical results to gene networks involving microRNA, illustrating their biological mechanisms, and identifying the roles of microRNA in controlling various phenomena emerging from the networks. In addition, the book explains how to control the complex biological phenomena using mathematical tools and offers a new perspective on studying microRNA. It is a useful resource for graduate students and researchers who are working on or interested in microRNAs and gene network.

This book discusses the formalization of mathematical theories centering on complex analysis and matrix theory, covering topics such as algebraic systems, complex numbers, gauge integration, the Fourier transformation and its discrete counterpart, matrices and their transformation, inner product spaces, and function matrices. The formalization is performed using the interactive theorem prover HOL4, chiefly developed at the University of Cambridge. Many of the developments presented are now integral parts of the library of this prover. As mathematical developments continue to gain in complexity, sometimes demanding proofs of enormous sizes, formalization has proven to be invaluable in terms of obtaining real confidence in their correctness. This book provides a basis for the computer-aided verification of engineering systems constructed using the principles of complex analysis and matrix theory, as well as building blocks for the formalization of more involved mathematical theories.

The boundary element method (BEM) is a modern numerical technique, which has enjoyed increasing popularity over the last two decades, and is now an established alternative to traditional computational methods of engineering analysis. The main advantage of the BEM is its unique ability to provide a complete solution in terms of boundary values only, with substantial savings in modelling effort.

This two volume book set is designed to provide the readers with a comprehensive and up-to-date account of the boundary element method and its application to solving engineering problems. Each volume is a self-contained book including a substantial amount of material not previously covered by other text books on the subject. Volume 1 covers applications to heat transfer, acoustics, electrochemistry and fluid mechanics problems, while volume 2 concentrates on solids and structures, describing applications to elasticity, plasticity, elastodynamics, fracture mechanics and contact analysis. The early chapters are designed as a teaching text for final year undergraduate courses. Both volumes reflect the experience of the authors over a period of more than twenty years of boundary element research.

This volume, Applications in Solids and Structures, provides a comprehensive presentation of the BEM from fundamentals to advanced engineering applications and encompasses:

• Elasticity for 2D, 3D and plates and shells

• Non-linear, transient and thermal stress analysis

• Crack growth and multi-body contact mechanics

• Sensitivity analysis and optimisation

• Analysis of assembled structures.

Written by an internationally recognised authority in the field, this is essential reading for postgraduates, researchers and practitioners in aerospace, mechanical and civil engineering and applied mathematics.

This book provides a series of systematic theoretical results and numerical solution algorithms for dynamic optimization problems of switched systems within infinite-dimensional inequality path constraints. Dynamic optimization of path-constrained switched systems is a challenging task due to the complexity from seeking the best combinatorial optimization among the system input, switch times and switching sequences. Meanwhile, to ensure safety and guarantee product quality, path constraints are required to be rigorously satisfied (i.e., at an infinite number of time points) within a finite number of iterations. Several novel methodologies are presented by using dynamic optimization and semi-infinite programming techniques. The core advantages of our new approaches lie in two folds: i) The system input, switch times and the switching sequence can be optimized simultaneously. ii) The proposed algorithms terminate within finite iterations while coming with a certification of feasibility for the path constraints. In this book, first, we provide brief surveys on dynamic optimization of path-constrained systems and switched systems. For switched systems with a fixed switching sequence, we propose a bi-level algorithm, in which the input is optimized at the inner level, and the switch times are updated at the outer level by using the gradient information of the optimal value function calculated at the optimal input. We then propose an efficient single-level algorithm by optimizing the input and switch times simultaneously, which greatly reduces the number of nonlinear programs and the computational burden. For switched systems with free switching sequences, we propose a solution framework for dynamic optimization of path-constrained switched systems by employing the variant 2 of generalized Benders decomposition technique. In this framework, we adopt two different system formulations in the primal and master problem construction and explicitly characterize the switching sequences by introducing a binary variable. Finally, we propose a multi-objective dynamic optimization algorithm for locating approximated local Pareto solutions and quantitatively analyze the approximation optimality of the obtained solutions. This book provides a unified framework of dynamic optimization of path-constrained switched systems. It can therefore serve as a useful book for researchers and graduate students who are interested in knowing the state of the art of dynamic optimization of switched systems, as well as recent advances in path-constrained optimization problems. It is a useful source of up-to-date optimization methods and algorithms for researchers who study switched systems and graduate students of control theory and control engineering. In addition, it is also a useful source for engineers who work in the control and optimization fields such as robotics, chemical engineering and industrial processes.

The international Symposium "Symmetries in Science X" was held at the Col legium Mehrerau in Bregenz, Austria, during the period July 13-18, 1997. Some 40 invited scientists from 13 countries participated in the meeting. The Symposium was sponsored by the Technische Universitat Graz, the Land Vorarlberg, Austria, and the Landeshauptstadt Bregenz, Vorarlberg, Austria. I wish to thank Dr. Hubert Regner of the Amt der Vorarlberger Landesregierung, tlw Biirgermeister and Landtagsprasident Dipl. -Vw. Siegfried Gasser for financial assistence for the meeting, and Frater Albin Printschler of the Cloister Mehrerau for his continued support of the Symposium series. Bruno Gruber y CONTENTS Quantization on a Lie Group: Higher-Order Polarizations 1 V. Aldaya, J. Guerrero, and G. Marmo A Comparison between Algebraic Models of Molecular Spectroscopy 37 R. Bijker, A. Frank, R. Lemus, J. M. Arias, and F. Perez-Bernal On Disc: rete Media, Their Interaction Forms and the Origin of Non-Exactness of the Virtual Work . . . . . . . . . . . . . . . . . . . . . 47 E. Binz The k-Fermions and Objects Interpolating between Fermions and Bosons 63 M. Daoud, Y. Hassouni, and M. Kibler Polynomial Realization of the Uq(sl(3)) Gel'fand-(Weyl)-Zetlin Basis and Irregular Irreps at Roots of Unity . . . . . . . . . . . . . . 79 V. K. Dobrev and R. Truini Nonstandard Deformation U (son): The Imbedding U (son) C Uq(sln) and Representations . . . . . . . . . . . . . . . . . . . . . . 121 A. M. Gavrilik, N. Z. Iorgov, and A. U. Klimyk Algebraic: Methods in Physics 135 F. Iaehello Possible Origins of Quantum Fluctuations 145 M. Kanenaga and M."

This easy-to-understand textbook presents a modern approach to learning numerical methods (or scientific computing), with a unique focus on the modeling and applications of the mathematical content. Emphasis is placed on the need for, and methods of, scientific computing for a range of different types of problems, supplying the evidence and justification to motivate the reader. Practical guidance on coding the methods is also provided, through simple-to-follow examples using Python. Topics and features: provides an accessible and applications-oriented approach, supported by working Python code for many of the methods; encourages both problem- and project-based learning through extensive examples, exercises, and projects drawn from practical applications; introduces the main concepts in modeling, python programming, number representation, and errors; explains the essential details of numerical calculus, linear, and nonlinear equations, including the multivariable Newton method; discusses interpolation and the numerical solution of differential equations, covering polynomial interpolation, splines, and the Euler, Runge-Kutta, and shooting methods; presents largely self-contained chapters, arranged in a logical order suitable for an introductory course on scientific computing. Undergraduate students embarking on a first course on numerical methods or scientific computing will find this textbook to be an invaluable guide to the field, and to the application of these methods across such varied disciplines as computer science, engineering, mathematics, economics, the physical sciences, and social science.

The annual conferences on energy, which were begun in 1977, continued to 1992 and resumed again in 1994. The theme of the 1994 conference was "Global Energy Demand in Transition: The New Role ofElectricity. " Global energy production, distribution, and utilization is in astate of transition toward an increased and more diversified use of electricity, which is the safest, most versatile, and cleanest form of secondary energy. Electricity is easy to generate, transmit, and distribute, making its use practically universal. These facts make it urgent to explore the technological prospects and long term availability of environmentally benign energy sources for generating electricity. It is expected that the conference will be useful to the governments in formulating their energy policies and to the public utilities for their long term planning. The conference has: 1) assessed the increase and diversification in the use of electricity; 2) assessed the technological prospects for clean energy sources that still require more research and development, i. e. solar, hydrogen, nuclear (fission and fusion), etc. ; 3) assessed the roles of non-market factors and possible improved decision processes on energy and environmental issues; 4) made concrete recommendations regarding research and development policies and regulations to expedite the transition to a dependable, safer, and benign electricity-based energy complex; 5) studied the cost impact: price, environment, safety, and international security; 6) provided an analysis of an expected transition from the fossil fuel transportation to electrical transportation (e. g.