This book discusses recent developments and contemporary research in mathematics, statistics and their applications in computing. All contributing authors are eminent academicians, scientists, researchers and scholars in their respective fields, hailing from around the world. The conference has emerged as a powerful forum, offering researchers a venue to discuss, interact and collaborate and stimulating the advancement of mathematics and its applications in computer science. The book will allow aspiring researchers to update their knowledge of cryptography, algebra, frame theory, optimizations, stochastic processes, compressive sensing, functional analysis, complex variables, etc. Educating future consumers, users, producers, developers and researchers in mathematics and computing is a challenging task and essential to the development of modern society. Hence, mathematics and its applications in computer science are of vital importance to a broad range of communities, including mathematicians and computing professionals across different educational levels and disciplines.

This thesis presents a study of strong stratification and turbulence collapse in the planetary boundary layer, opening a new avenue in this field. It is the first work to study all regimes of stratified turbulence in a unified simulation framework without a break in the paradigms for representation of turbulence. To date, advances in our understanding and the parameterization of turbulence in the stable boundary layer have been hampered by difficulties simulating the strongly stratified regime, and the analysis has primarily been based on field measurements. The content presented here changes that paradigm by demonstrating the ability of direct numerical simulation to address this problem, and by doing so to remove the uncertainty of turbulence models from the analysis. Employing a stably stratified Ekman layer as a simplified physical model of the stable boundary layer, the three stratification regimes observed in nature- weakly, intermediately and strongly stratified-are reproduced, and the data is subsequently used to answer key, long-standing questions. The main part of the book is organized in three sections, namely a comprehensive introduction, numerics, and physics. The thesis ends with a clear and concise conclusion that distills specific implications for the study of the stable boundary layer. This structure emphasizes the physical results, but at the same time gives relevance to the technical aspects of numerical schemes and post-processing tools. The selection of the relevant literature during the introduction, and its use along the work appropriately combines literature from two research communities: fluid dynamics, and boundary-layer meteorology.

This thorough yet understandable introduction to the boundary element method presents an attractive alternative to the finite element method. It not only explains the theory but also presents the implementation of the theory into computer code, the code in FORTRAN 95 can be freely downloaded. The book also addresses the issue of efficiently using parallel processing hardware in order to considerably speed up the computations for large systems. The applications range from problems of heat and fluid flow to static and dynamic elasto-plastic problems in continuum mechanics.

This book investigates the mathematical analysis of biological invasions. Unlike purely qualitative treatments of ecology, it draws on mathematical theory and methods, equipping the reader with sharp tools and rigorous methodology. Subjects include invasion dynamics, species interactions, population spread, long-distance dispersal, stochastic effects, risk analysis, and optimal responses to invaders. While based on the theory of dynamical systems, including partial differential equations and integrodifference equations, the book also draws on information theory, machine learning, Monte Carlo methods, optimal control, statistics, and stochastic processes. Applications to real biological invasions are included throughout. Ultimately, the book imparts a powerful principle: that by bringing ecology and mathematics together, researchers can uncover new understanding of, and effective response strategies to, biological invasions. It is suitable for graduate students and established researchers in mathematical ecology.

Stochastic switching systems represent an interesting class of systems that can be used to model a variety of systems having abrupt random changes in their dynamics. Such systems may be found in the fields of manufacturing, communications, aerospace, power, and economics. This work presents stochastic switching systems and provides up-to-date methods and techniques for the analysis and design of various control systems with or without uncertainties. An introductory chapter highlights basic concepts and practical models, which are then used to solve more advanced problems throughout the book. Included are many numerical examples as well as LMI analysis methods and design approaches to supplement the developed results. Stochastic Switching Systems may be used as a supplementary textbook for graduate-level engineering courses, or as a reference for control engineers, graduate students, and researchers in systems and control. Prerequisites include elementary courses in matrix theory, probability, optimization techniques, and control systems theory.

Intended as a textbook for courses in computational fluid dynamics at the senior undergraduate or graduate level, this book is a follow-up to the book Fundamentals of Computational Fluid Dynamics by the same authors, which was published in the series Scientific Computation in 2001. Whereas the earlier book concentrated on the analysis of numerical methods applied to model equations, this new book concentrates on algorithms for the numerical solution of the Euler and Navier-Stokes equations. It focuses on some classical algorithms as well as the underlying ideas based on the latest methods. A key feature of the book is the inclusion of programming exercises at the end of each chapter based on the numerical solution of the quasi-one-dimensional Euler equations and the shock-tube problem. These exercises can be included in the context of a typical course and sample solutions are provided in each chapter, so readers can confirm that they have coded the algorithms correctly.

This book opens the door to multiobjective optimization for students in fields such as engineering, management, economics and applied mathematics. It offers a comprehensive introduction to multiobjective optimization, with a primary emphasis on multiobjective linear programming and multiobjective integer/mixed integer programming. A didactic book, it is mainly intended for undergraduate and graduate students, but can also be useful for researchers and practitioners. Further, it is accompanied by an interactive software package - developed by the authors for Windows platforms - which can be used for teaching and decision-making support purposes in multiobjective linear programming problems. Thus, besides the textbook's coverage of the essential concepts, theory and methods, complemented with illustrative examples and exercises, the computational tool enables students to experiment and enhance their technical skills, as well as to capture the essential characteristics of real-world problems.

This thesis details significant improvements in the understanding of the nuclear EMC effect and nuclear shadowing in neutrino physics, and makes substantial comparisons with electron scattering physics. Specifically, it includes the first systematic study of the EMC ratios of carbon, iron and lead to plastic scintillator of neutrinos. The analysis presented provides the best evidence to date that the EMC effect is similar between electrons and neutrinos within the sensitivity of the data. Nuclear shadowing is measured systematically for the first time with neutrinos. In contrast with the data on the EMC effect, the data on nuclear shadowing support the conclusion that nuclear shadowing may be stronger for neutrinos than it is for electrons. This conclusion points to interesting new nuclear physics.

Delay differential and difference equations serve as models for a range of processes in biology, physics, engineering and control theory. In this volume, the participants of the International Conference on Delay Differential and Difference Equations and Applications, Balatonfured, Hungary, July 15-19, 2013 present recent research in this quickly-evolving field. The papers relate to the existence, asymptotic and oscillatory properties of the solutions; stability theory; numerical approximations; and applications to real world phenomena using deterministic and stochastic discrete and continuous dynamical systems."

This is a new edited volume on shape analysis presenting results in shape modeling and computational geometry from the 2013 Association for Women in Mathematics (AWM) symposium held at UCLA's Institute for Pure and Applied Mathematics (IPAM). In-depth discussion of shape modeling techniques is supplemented by full-color illustrations demonstrating the results of workshop-developed shape modeling algorithms. It will be the first volume in Springer's AWM series.

This book provides a sound theoretical basis for the the different gravity field recovery methods and the numerics of satellite-to-satellite tracking data. It represents lectures given at the 'Wilhelm and Else Heraeus Autumn School' in Bad Honnef, Germany, October 4-9, 2015. The emphasis of the school was on providing a sound theoretical basis for the different gravity field recovery methods and the numerics of data analysis. The approaches covered here are the variational equations (classical approach), the acceleration approach and the energy balance approach, all of which are used for global gravity field recovery on the basis of satellite observations. The theory of parameter estimation in satellite gravimetry and concepts for orbit determination are also included. The book guides readers through a broad range of topics in satellite gravimetry, supplemented by the necessary theoretical background and numerical examples. While it provides a comprehensive overview for those readers who are already familiar with satellite gravity data processing, it also offers an essential reference guide for graduate and undergraduate students interested in this field.

During the past decade model predictive control (MPC), also referred to as receding horizon control or moving horizon control, has become the preferred control strategy for quite a number of industrial processes. There have been many significant advances in this area over the past years, one of the most important ones being its extension to nonlinear systems. This book gives an up-to-date assessment of the current state of the art in the new field of nonlinear model predictive control (NMPC). The main topic areas that appear to be of central importance for NMPC are covered, namely receding horizon control theory, modeling for NMPC, computational aspects of on-line optimization and application issues. The book consists of selected papers presented at the International Symposium on Nonlinear Model Predictive Control - Assessment and Future Directions, which took place from June 3 to 5, 1998, in Ascona, Switzerland.
The book is geared towards researchers and practitioners in the area of control engineering and control theory. It is also suited for postgraduate students as the book contains several overview articles that give a tutorial introduction into the various aspects of nonlinear model predictive control, including systems theory, computations, modeling and applications.

Fuzzy sets were first proposed by Lotfi Zadeh in his seminal paper [366] in 1965, and ever since have been a center of many discussions, fervently admired and condemned. Both proponents and opponents consider the argu ments pointless because none of them would step back from their territory. And stiH, discussions burst out from a single sparkle like a conference pa per or a message on some fuzzy-mail newsgroup. Here is an excerpt from an e-mail messagepostedin1993tofuzzy-mail@vexpert. dbai. twvien. ac. at. by somebody who signed "Dave". , . . . Why then the "logic" in "fuzzy logic"? I don't think anyone has successfully used fuzzy sets for logical inference, nor do I think anyone wiH. In my admittedly neophyte opinion, "fuzzy logic" is a misnomer, an oxymoron. (1 would be delighted to be proven wrong on that. ) . . . I carne to the fuzzy literature with an open mind (and open wal let), high hopes and keen interest. I am very much disiHusioned with "fuzzy" per se, but I did happen across some extremely interesting things along the way. " Dave, thanks for the nice quote! Enthusiastic on the surface, are not many of us suspicious deep down? In some books and journals the word fuzzy is religiously avoided: fuzzy set theory is viewed as a second-hand cheap trick whose aim is nothing else but to devalue good classical theories and open up the way to lazy ignorants and newcomers.

The recent trend in user-customized product design requires the shape of products to be automatically adjusted according to the human body s shape, so that people will feel more comfortable when wearing these products. Geometric approaches can be used to design the freeform shape of products worn by people, which can greatly improve the efficiency of design processes in various industries involving customized products (e.g., garment design, toy design, jewel design, shoe design, and design of medical devices, etc.). These products are usually composed of very complex geometric shapes (represented by free-form surfaces), and are not driven by a parameter table but a digital human model with free-form shapes or part of human bodies (e.g., wrist, foot, and head models).

"Geometric Modeling and Reasoning of Human-Centered Freeform Products "introduces the algorithms of human body reconstruction, freeform product modeling, constraining and reconstructing freeform products, and shape optimization for improving the manufacturability of freeform products. Based on these techniques, the design automation problem for human-centered freeform products can be fundamentally solved.

Researchers and developers working on problems of automatic designing individually customized products can use this book as a reference, and it can also be used in courses in computer-aided product design at the graduate level."

Mathematical modeling and numerical simulation in fluid mechanics are topics of great importance both in theory and technical applications. The present book attempts to describe the current status in various areas of research. The 10 chapters, mostly survey articles, are written by internationally renowned specialists and offer a range of approaches to and views of the essential questions and problems. In particular, the theories of incompressible and compressible Navier-Stokes equations are considered, as well as stability theory and numerical methods in fluid mechanics. Although the book is primarily written for researchers in the field, it will also serve as a valuable source of information to graduate students.

This book discusses the development of a theory of info-statics as a sub-theory of the general theory of information. It describes the factors required to establish a definition of the concept of information that fixes the applicable boundaries of the phenomenon of information, its linguistic structure and scientific applications. The book establishes the definitional foundations of information and how the concepts of uncertainty, data, fact, evidence and evidential things are sequential derivatives of information as the primary category, which is a property of matter and energy. The sub-definitions are extended to include the concepts of possibility, probability, expectation, anticipation, surprise, discounting, forecasting, prediction and the nature of past-present-future information structures. It shows that the factors required to define the concept of information are those that allow differences and similarities to be established among universal objects over the ontological and epistemological spaces in terms of varieties and identities. These factors are characteristic and signal dispositions on the basis of which general definitional foundations are developed to construct the general information definition (GID). The book then demonstrates that this definition is applicable to all types of information over the ontological and epistemological spaces. It also defines the concepts of uncertainty, data, fact, evidence and knowledge based on the GID. Lastly, it uses set-theoretic analytics to enhance the definitional foundations, and shows the value of the theory of info-statics to establish varieties and categorial varieties at every point of time and thus initializes the construct of the theory of info-dynamics.

The theory of stochastic processes, for science and engineering, can be considered as an extension of probability theory allowing modeling of the evolution of systems over time. The modern theory of Markov processes has its origins in the studies of A.A. Markov (1856-1922) on sequences of experiments "connected in a chain" and in the attempts to describe mathematically the physical phenomenon Brownian motion. The theory of stochastic processes entered in a period of intensive development when the idea of Markov property was brought in. This book is a modern overall view of semi-Markov processes and its applications in reliability. It is accessible to readers with a first course in Probability theory (including the basic notions of Markov chain). The text contains many examples which aid in the understanding of the theoretical notions and shows how to apply them to concrete physical situations including algorithmic simulations. Many examples of the concrete applications in reliability are given. Features: * Processes associated to semi-Markov kernel for general and discrete state spaces * Asymptotic theory of processes and of additive functionals * Statistical estimation of semi-Markov kernel and of reliability function * Monte Carlo simulation * Applications in reliability and maintenance The book is a valuable resource for understanding the latest developments in Semi-Markov Processes and reliability. Practitioners, researchers and professionals in applied mathematics, control and engineering who work in areas of reliability, lifetime data analysis, statistics, probability, and engineering will find this book an up-to-date overview of the field.

Propelled by the success of the sequencing of the human and many related genomes, molecular and cellular biology has delivered significant scientific breakthroughs. Mathematics (broadly defined) continues to play a major role in this effort, helping to discover the secrets of life by working collaboratively with bench biologists, chemists and physicists.

Because of its outstanding record of interdisciplinary research and training, the IMA was an ideal venue for the 2007-2008 IMA thematic year on Mathematics of Molecular and Cellular Biology. The kickoff event for this thematic year was a tutorial on Mathematics of Nucleic Acids, followed by the workshop Mathematics of Molecular and Cellular Biology, held September 15--21 at the IMA. This volume is dedicated to the memory of Nicholas R. Cozzarelli, a dynamic leader who fostered research and training at the interface between mathematics and molecular biology. It contains a personal remembrance of Nick Cozzarelli, plus 15 papers contributed by workshop speakers. The papers give an overview of state-of-the-art mathematical approaches to the understanding of DNA structure and function, and the interaction of DNA with proteins that mediate vital life processes.

This book is an interdisciplinary introduction to optical collapse of laser beams, which is modelled by singular (blow-up) solutions of the nonlinear Schroedinger equation. With great care and detail, it develops the subject including the mathematical and physical background and the history of the subject. It combines rigorous analysis, asymptotic analysis, informal arguments, numerical simulations, physical modelling, and physical experiments. It repeatedly emphasizes the relations between these approaches, and the intuition behind the results. The Nonlinear Schroedinger Equation will be useful to graduate students and researchers in applied mathematics who are interested in singular solutions of partial differential equations, nonlinear optics and nonlinear waves, and to graduate students and researchers in physics and engineering who are interested in nonlinear optics and Bose-Einstein condensates. It can be used for courses on partial differential equations, nonlinear waves, and nonlinear optics. Gadi Fibich is a Professor of Applied Mathematics at Tel Aviv University. "This book provides a clear presentation of the nonlinear Schrodinger equation and its applications from various perspectives (rigorous analysis, informal analysis, and physics). It will be extremely useful for students and researchers who enter this field." Frank Merle, Universite de Cergy-Pontoise and Institut des Hautes Etudes Scientifiques, France

Evolutionary computing paradigms offer robust and powerful adaptive search mechanisms for system design. This book's thirteen chapters cover a wide area of topics in evolutionary computing and applications, including an introduction to evolutionary computing in system design; evolutionary neuro-fuzzy systems; and evolution of fuzzy controllers. The book will be useful to researchers in intelligent systems with interest in evolutionary computing, as well as application engineers and system designers.

Commutative Algebra, Singularities and Computer Algebra presents current trends in commutative algebra, algebraic combinatorics, singularity theory and computer algebra, and highlights the interaction between these disciplines. Contributions by leading international mathematicians thoroughly discuss topics in: modules theory, integrally closed ideals and determinantal ideals, singularities in projective spaces and Castelnuovo-Mumford regularity, Groebner and SAGBI basis, and the use of the computer packages Bergman, CoCoA and SINGULAR.

This book is a work of applied mathematics focusing on the functional study of the nonlinear boundary value problems relating to water flow in porous media. As far as revealed by the literature, a systematic study of these models within the above mentioned framework has not been done and the book has been written with the belief that the abstract theory may be sometimes easier and richer in consequences for applications than standard classical approaches are. The volume deals with diffusion type models and emphasizes the mathematical treatment of their nonlinear aspects. A unifying functional approach to different boundary value problems modelling the water movement in porous media is presented, and the high degree of generality and abstraction, kept however within reasonable limits, is rewarded by the richness of the results obtained in this way.

This book gathers selected contributions by top Portuguese and international researchers in the field of Operations Research, presented at the 19th Congress of APDIO (Portuguese Association of Operational Research). The papers address a broad range of complex real-world problems, which are approached using recent theoretical techniques. Of particular interest are the applications of e.g. linear, nonlinear and mixed-integer programming, multiobjective optimization, metaheuristics and hybrid heuristics, multicriteria decision analysis, data envelopment analysis, clustering techniques and decision support systems, in such varied contexts as: supply chain management, scheduling problems, production management, logistics, energy, finance and healthcare. This conference, organized by APDIO and held in Aveiro, Portugal in September 2018, offered an ideal opportunity to discuss the latest developments in this field and to build new bridges between academic researchers and practitioners. Summarizing the outcomes, this book offers a valuable tool for all researchers, students and practitioners who wish to learn about the latest trends in this field.

The topic of the 2010 Abel Symposium, hosted at the Norwegian Academy of Science and Letters, Oslo, was Nonlinear Partial Differential Equations, the study of which is of fundamental importance in mathematics and in almost all of natural sciences, economics, and engineering. This area of mathematics is currently in the midst of an unprecedented development worldwide. Differential equations are used to model phenomena of increasing complexity, and in areas that have traditionally been outside the realm of mathematics. New analytical tools and numerical methods are dramatically improving our understanding of nonlinear models. Nonlinearity gives rise to novel effects reflected in the appearance of shock waves, turbulence, material defects, etc., and offers challenging mathematical problems. On the other hand, new mathematical developments provide new insight in many applications. These proceedings present a selection of the latest exciting results by world leading researchers.

This volume is a compilation of the best papers presented at the First International Symposium on Fuzzy and Rough Sets (ISFUROS 2006) held in Santa Clara, Cuba. They contain valuable contributions both in the theoretical field and in several application domains such as intelligent control, data analysis, decision making and machine learning, just to name a few. Together, they capture the huge potential of the aforementioned methodologies.