This volume contains a selection of contributions that were presented at the Modeling and Optimization: Theory and Applications Conference (MOPTA) held at Lehigh University in Bethlehem, Pennsylvania, USA on August 17-19, 2016. The conference brought together a diverse group of researchers and practitioners, working on both theoretical and practical aspects of continuous or discrete optimization. Topics presented included algorithms for solving convex, network, mixed-integer, nonlinear, and global optimization problems, and addressed the application of deterministic and stochastic optimization techniques in energy, finance, logistics, analytics, health, and other important fields. The contributions contained in this volume represent a sample of these topics and applications and illustrate the broad diversity of ideas discussed at the meeting.

This book contains the main results of the talks given at the workshop "Recent Advances in PDEs: Analysis, Numerics and Control", which took place in Sevilla (Spain) on January 25-27, 2017. The work comprises 12 contributions given by high-level researchers in the partial differential equation (PDE) area to celebrate the 60th anniversary of Enrique Fernandez-Cara (University of Sevilla). The main topics covered here are: Control and inverse problems, Analysis of Fluid mechanics and Numerical Analysis. The work is devoted to researchers in these fields.

In 1965 Juris Hartmanis and Richard E. Stearns published a paper "On the Computational Complexity of Algorithms." The field of complexity theory takes its name from this seminal paper and many of the major concepts and issues of complexity theory were introduced by Hartmanis in subsequent work. In honor of the contribution of Juris Hartmanis to the field of complexity theory, a special session of invited talks by Richard E. Stearns, Allan Borodin and Paul Young was held at the third annual meeting of the Structure in Complexity conference, and the first three chapters of this book are the final versions of these talks. They recall intellectual and professional trends in Hartmanis' contributions. All but one of the remainder of the chapters in this volume originated as a presentation at one of the recent meetings of the Structure in Complexity Theory Conference and appeared in preliminary form in the conference proceedings. In all, these expositions form an excellent description of much of contemporary complexity theory.

No more than about 10 years ago, it seemed to be unrealistic to simulate the com plex flow, transport, and transformation processes of organic compounds in multi-phase systems of water-unsaturated soils (Schwille Sch84]). Numerical solutions of compre hensive models consisting, for instance, of a system of three partial differential equations and chemical reactions based on local thermodynamic equilibrium assumption (Abriola and Pinder AP85a]), were at that time regarded as far too computational expensive; optimizations seemed to be by far not practicable using such numerical models. How ever, even more complex mathematical models have been developed since then, like, for example, by considering the temperature-dependency of processes and non-equilibrium phase-transfers, or the increase of the number of components and spatial dimensions in volved (e. g., Bear and Nitao BN92]). Those models require efficient numerical solution algorithms adopted to the possibilities of the latest computer developments. The book describes the work of a three years research project funded by the The Federal Ministry for Education, Science, Research and Technology (BMBF), Grant Number 03-H07BWM. The idea for the project was developed by Prof. Dr. Ulrich Hornung, Dr. Dirk Stegemann, and Dr. Horst H. Gerke in late 1992 after intensive discussions about the BMBF-opened program (Die anwendungsorientierte Verbundprojekte auf dem Ge biet der Mathematik des Bundesministerium fur Bildung, WissenschaJt, Forschung und Technologie) on applied mathematics in industrial areas. Dr. Stegemann worked at that time for the company GEO-data, Garbsen near Hannover."

'Et moi, ..., si j"avait su comment en revenir, One service mathematics bas rendered the je n'y seWs point alit: human race. It bas put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non- The series is divergent; therefore we may be sense'. able to do something with it. Eric T. Bell o. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series."

Visualization technology is becoming increasingly important for medical and biomedical data processing and analysis. The interaction between visualization and medicine is one of the fastest expanding fields, both scientifically and commercially. This book discusses some of the latest visualization techniques and systems for effective analysis of such diverse, large, complex, and multi-source data.

Based on both theoretical investigations and industrial experience, this book provides an extensive approach to support the planning and optimization process for modern communication networks. The book contains a thorough survey and a detailed comparison of state-of-the-art numerical algorithms in the matrix-geometric field.

This book offers a concise introduction to morphogenetic computing, showing that its use makes global and local relations, defects in crystal non-Euclidean geometry databases with source and sink, genetic algorithms, and neural networks more stable and efficient. It also presents applications to database, language, nanotechnology with defects, biological genetic structure, electrical circuit, and big data structure. In Turing machines, input and output states form a system - when the system is in one state, the input is transformed into output. This computation is always deterministic and without any possible contradiction or defects. In natural computation there are defects and contradictions that have to be solved to give a coherent and effective computation. The new computation generates the morphology of the system that assumes different forms in time. Genetic process is the prototype of the morphogenetic computing. At the Boolean logic truth value, we substitute a set of truth (active sets) values with possible contradictions. The value of a proposition is a set of true and false values. The aim of morphogenetic computing is to use and solve the contradictions in order to transform systems to allow classical computation.

I ?rst met Jingqiao when he had just commenced his PhD research in evolutionary algorithms with Arthur Sanderson at Rensselaer. Jingqiao's goals then were the investigation and development of a novel class of se- adaptivedi?erentialevolutionalgorithms, later calledJADE. I had remarked to Jingqiao then that Arthur always appreciated strong theoretical foun- tions in his research, so Jingqiao's prior mathematically rigorous work in communications systems would be very useful experience. Later in 2007, whenJingqiaohadcompletedmostofthetheoreticalandinitialexperimental work on JADE, I invited him to spend a year at GE Global Research where he applied his developments to several interesting and important real-world problems. Most evolutionary algorithm conferences usually have their share of in- vative algorithm oriented papers which seek to best the state of the art - gorithms. The best algorithms of a time-frame create a foundation for a new generationof innovativealgorithms, and so on, fostering a meta-evolutionary search for superior evolutionary algorithms. In the past two decades, during whichinterest andresearchin evolutionaryalgorithmshavegrownworldwide by leaps and bounds, engaging the curiosity of researchers and practitioners frommanydiversescienceandtechnologycommunities, developingstand-out algorithms is getting progressively harder.

Dynamical models on graphs or random graphs are increasingly used in applied sciences as mathematical tools to study complex systems whose exact structure is too complicated to be known in detail. Besides its importance in applied sciences, the field is increasingly attracting the interest of mathematicians and theoretical physicists also because of the fundamental phenomena (synchronization, phase transitions etc.) that can be studied in the relatively simple framework of dynamical models of random graphs. This volume was developed from the Mathematical Technology of Networks conference held in Bielefeld, Germany in December 2013. The conference was designed to bring together functional analysts, mathematical physicists, and experts in dynamical systems. The contributors to this volume explore the interplay between theoretical and applied aspects of discrete and continuous graphs. Their work helps to close the gap between different avenues of research on graphs, including metric graphs and ramified structures.

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 volume gives a survey on mathematical and computational methods in image registration. During the last year sophisticated numerical models for registration and efficient numerical methods have been proposed. Many of them are contained in this volume. The book also summarizes the state-of-the-art in mathematical and computational methods in image registration. In addition, it covers some practical applications and new directions with industrial relevance in data processing.

This book highlights relevant studies and applications in the area of robotics, which reflect the latest research, from interdisciplinary theoretical studies and computational algorithm development, to representative applications. It presents chapters on advanced control, such as fuzzy, neural, backstepping, sliding mode, adaptive, predictive, diagnosis and fault tolerant control etc. and addresses topics including cloud robotics, cable-driven robots, two-wheeled robots, mobile robots, swarm robots, hybrid vehicle, and drones. Each chapter employs a uniform structure: background, motivation, quantitative development (equations), case studies/illustration/tutorial (simulations, experiences, curves, tables, etc.), allowing readers to easily tailor the techniques to their own applications.

This monograph aims to provide a rigorous yet accessible presentation of some fundamental concepts used in modeling brain mechanics and give a glimpse of the insights and advances that have arisen as a result of the nascent interaction of the mathematical and neurosurgical sciences. It begins with some historical perspective and a brief synopsis of the biomedical/biological manifestations of the clinical conditions/diseases considered. Each chapter proceeds with a discussion of the various mathematical models of the problems considered, starting with the simplest models and proceeding to more complex models where necessary. A detailed list of relevant references is provided at the end of each chapter. With the beginning research student in mind, the chapters have been crafted to be as self-contained as possible while addressing different clinical conditions and diseases. The book is intended as a brief introduction to both theoreticians and experimentalists interested in brain mechanics, with directions and guidance for further reading, for those who wish to pursue particular topics in greater depth. It can also be used as a complementary textbook in a graduate level course for neuroscientists and neuroengineers.

Stochastic Finance provides an introduction to mathematical finance that is unparalleled in its accessibility. Through classroom testing, the authors have identified common pain points for students, and their approach takes great care to help the reader to overcome these difficulties and to foster understanding where comparable texts often do not. Written for advanced undergraduate students, and making use of numerous detailed examples to illustrate key concepts, this text provides all the mathematical foundations necessary to model transactions in the world of finance. A first course in probability is the only necessary background. The book begins with the discrete binomial model and the finite market model, followed by the continuous Black-Scholes model. It studies the pricing of European options by combining financial concepts such as arbitrage and self-financing trading strategies with probabilistic tools such as sigma algebras, martingales and stochastic integration. All these concepts are introduced in a relaxed and user-friendly fashion.

Presenting a novel approach to wave theory, this book applies mathematical modeling to the investigation of sea waves. It presents problems, solutions and methods, and explores issues such as statistical properties of sea waves, generation of turbulence, Benjamin-Feir instability and the development of wave fields under the action of wind. Special attention is paid to the processes of dynamic wind-wave interaction, the formation of freak waves, as well as the role that sea waves play in the dynamic ocean/atmosphere system. It presents theoretical results which are followed by a description of the algorithms used in the development of wave forecasting models, and provides illustrations to assist understanding of the various models presented. This book provides an invaluable resource to oceanographers, specialists in fluid dynamics and advanced students interested in investigation of the widely known but poorly investigated phenomenon of sea waves.

This edited volume is devoted to the now-ubiquitous use of computational models across most disciplines of engineering and science, led by a trio of world-renowned researchers in the field. Focused on recent advances of modeling and optimization techniques aimed at handling computationally-expensive engineering problems involving simulation models, this book will be an invaluable resource for specialists (engineers, researchers, graduate students) working in areas as diverse as electrical engineering, mechanical and structural engineering, civil engineering, industrial engineering, hydrodynamics, aerospace engineering, microwave and antenna engineering, ocean science and climate modeling, and the automotive industry, where design processes are heavily based on CPU-heavy computer simulations. Various techniques, such as knowledge-based optimization, adjoint sensitivity techniques, and fast replacement models (to name just a few) are explored in-depth along with an array of the latest techniques to optimize the efficiency of the simulation-driven design process. High-fidelity simulation models allow for accurate evaluations of the devices and systems, which is critical in the design process, especially to avoid costly prototyping stages. Despite this and other advantages, the use of simulation tools in the design process is quite challenging due to associated high computational cost. The steady increase of available computational resources does not always translate into the shortening of the design cycle because of the growing demand for higher accuracy and necessity to simulate larger and more complex systems. For this reason, automated simulation-driven design-while highly desirable-is difficult when using conventional numerical optimization routines which normally require a large number of system simulations, each one already expensive.

Approach your problems from the right It isn't that they can't see the solution. It end and begin with the answers. Then is that they can't see the problem. one day, perhaps you will find the final question. G.K. Chesterton. The Scandal of Father Brown 'The point of a Pin'. 'The Hermit Clad in Crane Feathers' in R. van Gulik's The Chinese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, cod ing theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical pro gramming profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces."

Enrique Castillo is a leading figure in several mathematical and engineering fields. Organized to honor Castillo 's significant contributions, this volume is an outgrowth of the "International Conference on Mathematical and Statistical Modeling," and covers recent advances in the field. Applications to safety, reliability and life-testing, financial modeling, quality control, general inference, as well as neural networks and computational techniques are presented.

Complex mathematical and computational models are used in all areas of society and technology and yet model based science is increasingly contested or refuted, especially when models are applied to controversial themes in domains such as health, the environment or the economy. More stringent standards of proofs are demanded from model-based numbers, especially when these numbers represent potential financial losses, threats to human health or the state of the environment. Quantitative sensitivity analysis is generally agreed to be one such standard.

Mathematical models are good at mapping assumptions into inferences. A modeller makes assumptions about laws pertaining to the system, about its status and a plethora of other, often arcane, system variables and internal model settings. To what extent can we rely on the model-based inference when most of these assumptions are fraught with uncertainties? Global Sensitivity Analysis offers an accessible treatment of such problems via quantitative sensitivity analysis, beginning with the first principles and guiding the reader through the full range of recommended practices with a rich set of solved exercises. The text explains the motivation for sensitivity analysis, reviews the required statistical concepts, and provides a guide to potential applications.

The book:

Provides a self-contained treatment of the subject, allowing readers to learn and practice global sensitivity analysis without further materials.

Presents ways to frame the analysis, interpret its results, and avoid potential pitfalls.

Features numerous exercises and solved problems to help illustrate the applications.

Is authored by leading sensitivityanalysis practitioners, combining a range of disciplinary backgrounds.

Postgraduate students and practitioners in a wide range of subjects, including statistics, mathematics, engineering, physics, chemistry, environmental sciences, biology, toxicology, actuarial sciences, and econometrics will find much of use here. This book will prove equally valuable to engineers working on risk analysis and to financial analysts concerned with pricing and hedging.

Gluecklich, die wissen, dass hinter allen Sprachen das Unsaegliche steht. Those are happy who know that behind all languages there is something unsaid Rainer Maria Rilke This book shows in a new way that a solution to a fundamental problem from one scienti?c ?eld can help to ?nd the solutions to important problems emerged in several other ?elds of science and technology. In modern science, the term "Natural Language" denotes the collection of all such languages that every language is used as a primary means of communication by people belonging to any country or any region. So Natural Language (NL) includes, in particular, the English, Russian, and German languages. The applied computer systems processing natural language printed or written texts (NL-texts) or oral speech with respect to the fact that the words are associated with some meanings are called semantics-oriented natural language processing s- tems (NLPSs). On one hand, this book is a snapshot of the current stage of a research p- gram started many years ago and called Integral Formal Semantics (IFS) of NL. The goal of this program has been to develop the formal models and methods he- ing to overcome the dif?culties of logical character associated with the engineering of semantics-oriented NLPSs. The designers of such systems of arbitrary kinds will ?nd in this book the formal means and algorithms being of great help in their work.

Optimization problems abound in most fields of science, engineering, and tech nology. In many of these problems it is necessary to compute the global optimum (or a good approximation) of a multivariable function. The variables that define the function to be optimized can be continuous and/or discrete and, in addition, many times satisfy certain constraints. Global optimization problems belong to the complexity class of NP-hard prob lems. Such problems are very difficult to solve. Traditional descent optimization algorithms based on local information are not adequate for solving these problems. In most cases of practical interest the number of local optima increases, on the aver age, exponentially with the size of the problem (number of variables). Furthermore, most of the traditional approaches fail to escape from a local optimum in order to continue the search for the global solution. Global optimization has received a lot of attention in the past ten years, due to the success of new algorithms for solving large classes of problems from diverse areas such as engineering design and control, computational chemistry and biology, structural optimization, computer science, operations research, and economics. This book contains refereed invited papers presented at the conference on "State of the Art in Global Optimization: Computational Methods and Applications" held at Princeton University, April 28-30, 1995. The conference presented current re search on global optimization and related applications in science and engineering. The papers included in this book cover a wide spectrum of approaches for solving global optimization problems and applications."

Market Behaviour and Macroeconomic Modelling discusses several state-of-the-art developments in the modelling approach to market behaviour in macroeconomic modelling. Leading experts in this field, deal with the implications of market imperfections in commodity markets, capital markets and labour markets for macroeconomic modelling and stabilization policy. They demonstrate that incorporating market imperfections leads to very different policy recommendations than those derived from the standard perfect competition model.

This book is intended as an introductory text on the subject of Lie groups and algebras and their role in various fields of mathematics and physics. It is written by and for researchers who are primarily analysts or physicists, not algebraists or geometers. Not that we have eschewed the algebraic and geo metric developments. But we wanted to present them in a concrete way and to show how the subject interacted with physics, geometry, and mechanics. These interactions are, of course, manifold; we have discussed many of them here-in particular, Riemannian geometry, elementary particle physics, sym metries of differential equations, completely integrable Hamiltonian systems, and spontaneous symmetry breaking. Much ofthe material we have treated is standard and widely available; but we have tried to steer a course between the descriptive approach such as found in Gilmore and Wybourne, and the abstract mathematical approach of Helgason or Jacobson. Gilmore and Wybourne address themselves to the physics community whereas Helgason and Jacobson address themselves to the mathematical community. This book is an attempt to synthesize the two points of view and address both audiences simultaneously. We wanted to present the subject in a way which is at once intuitive, geometric, applications oriented, mathematically rigorous, and accessible to students and researchers without an extensive background in physics, algebra, or geometry."

FEM updating allows FEMs to be tuned better to reflect measured data. It can be conducted using two different statistical frameworks: the maximum likelihood approach and Bayesian approaches. This book applies both strategies to the field of structural mechanics, using vibration data. Computational intelligence techniques including: multi-layer perceptron neural networks; particle swarm and GA-based optimization methods; simulated annealing; response surface methods; and expectation maximization algorithms, are proposed to facilitate the updating process. Based on these methods, the most appropriate updated FEM is selected, a problem that traditional FEM updating has not addressed. This is found to incorporate engineering judgment into finite elements through the formulations of prior distributions. Case studies, demonstrating the principles test the viability of the approaches, and. by critically analysing the state of the art in FEM updating, this book identifies new research directions.