Eleven carefully selected, peer-reviewed contributions from the Virtual Conference on Computational Science (VCCS-2016) are featured in this edited book of proceedings. VCCS-2016, an annual meeting, was held online from 1st to 31st August 2016. The theme of the conference was "Computational Thinking for the Advancement of Society" and it matched the paradigm shift in the way we think. VCCS-2016 was attended by 100 participants from 20 countries. The chapters reflect a wide range of fundamental and applied research applying computational methods.

This book is based on the outcome of the "2012 Interdisciplinary Symposium on Complex Systems" held at the island of Kos. The book consists of 12 selected papers of the symposium starting with a comprehensive overview and classification of complexity problems, continuing by chapters about complexity, its observation, modeling and its applications to solving various problems including real-life applications. More exactly, readers will have an encounter with the structural complexity of vortex flows, the use of chaotic dynamics within evolutionary algorithms, complexity in synthetic biology, types of complexity hidden inside evolutionary dynamics and possible controlling methods, complexity of rugged landscapes, and more. All selected papers represent innovative ideas, philosophical overviews and state-of-the-art discussions on aspects of complexity. The book will be useful as instructional material for senior undergraduate and entry-level graduate students in computer science, physics, applied mathematics and engineering-type work in the area of complexity. The book will also be valuable as a resource of knowledge for practitioners who want to apply complexity to solve real-life problems in their own challenging applications. The authors and editors hope that readers will be inspired to do their own experiments and simulations, based on information reported in this book, thereby moving beyond the scope of the book.

Beyond Einstein's Gravity is a graduate level introduction to extended theories of gravity and cosmology, including variational principles, the weak-field limit, gravitational waves, mathematical tools, exact solutions, as well as cosmological and astrophysical applications. The book provides a critical overview of the research in this area and unifies the existing literature using a consistent notation. Although the results apply in principle to all alternative gravities, a special emphasis is on scalar-tensor and f(R) theories. They were studied by theoretical physicists from early on, and in the 1980s they appeared in attempts to renormalize General Relativity and in models of the early universe. Recently, these theories have seen a new lease of life, in both their metric and metric-affine versions, as models of the present acceleration of the universe without introducing the mysterious and exotic dark energy. The dark matter problem can also be addressed in extended gravity. These applications are contributing to a deeper understanding of the gravitational interaction from both the theoretical and the experimental point of view. An extensive bibliography guides the reader into more detailed literature on particular topics.

Static hedge portfolios for barrier options are very sensitive with respect to changes of the volatility surface. To prevent potentially significant hedging losses this book develops a static super-replication strategy with market-typical robustness against volatility, skew and liquidity risk as well as model errors. Empirical results and various numerical examples confirm that the static superhedge successfully eliminates the risk of a changing volatility surface. Combined with associated sub-replication strategies this leads to robust price bounds for barrier options which are also relevant in the context of dynamic hedging. The mathematical techniques used to prove appropriate existence, duality and convergence results range from financial mathematics, stochastic and semi-infinite optimization, convex analysis and partial differential equations to semidefinite programming.

This book presents simple interdisciplinary stochastic models meant as a gentle introduction to the field of non-equilibrium statistical physics. It focuses on the analysis of two-state models with cooperative effects, which are versatile enough to be applied to many physical and social systems. The book also explores a variety of mathematical techniques to solve the master equations that govern these models: matrix theory, empty-interval methods, mean field theory, a quantum approach, and mapping onto classical Ising models. The models discussed are at the confluence of nanophysics, biology, mathematics, and the social sciences and provide a pedagogical path toward understanding the complex dynamics of particle self-assembly with the tools of statistical physics.

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.

This book gathers contributions presented at the 10th Workshop on Cyclostationary Systems and Their Applications, held in Grodek nad Dunajcem, Poland in February 2017. It includes twelve interesting papers covering current topics related to both cyclostationary and general non stationary processes. Moreover, this book, which covers both theoretical and practical issues, offers a practice-oriented guide to the analysis of data sets with non-stationary behavior and a bridge between basic and applied research on nonstationary processes. It provides students, researchers and professionals with a timely guide on cyclostationary systems, nonstationary processes and relevant engineering applications.

The Mathieu series is a functional series introduced by Emile Leonard Mathieu for the purposes of his research on the elasticity of solid bodies. Bounds for this series are needed for solving biharmonic equations in a rectangular domain. In addition to Tomovski and his coauthors, Pogany, Cerone, H. M. Srivastava, J. Choi, etc. are some of the known authors who published results concerning the Mathieu series, its generalizations and their alternating variants. Applications of these results are given in classical, harmonic and numerical analysis, analytical number theory, special functions, mathematical physics, probability, quantum field theory, quantum physics, etc. Integral representations, analytical inequalities, asymptotic expansions and behaviors of some classes of Mathieu series are presented in this book. A systematic study of probability density functions and probability distributions associated with the Mathieu series, its generalizations and Planck's distribution is also presented. The book is addressed at graduate and PhD students and researchers in mathematics and physics who are interested in special functions, inequalities and probability distributions.

This book presents a deep spectrum of musical, mathematical, physical, and philosophical perspectives that have emerged in this field at the intersection of music and mathematics. In particular the contributed chapters introduce advanced techniques and concepts from modern mathematics and physics, deriving from successes in domains such as Topos theory and physical string theory. The authors include many of the leading researchers in this domain, and the book will be of value to researchers working in computational music, particularly in the areas of counterpoint, gesture, and Topos theory.

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.

Methods of global analysis and stochastic analysis are most often applied in mathematical physics as separate entities, thus forming important directions in the field. However, while combination of the two subject areas is rare, it is fundamental for the consideration of a broader class of problems.

This book develops methods of Global Analysis and Stochastic Analysis such that their combination allows one to have a more or less common treatment for areas of mathematical physics that traditionally are considered as divergent and requiring different methods of investigation.

Global and Stochastic Analysis with Applications to Mathematical Physics covers branches of mathematics that are currently absent in monograph form. Through the demonstration of new topics of investigation and results, both in traditional and more recent problems, this book offers a fresh perspective on ordinary and stochastic differential equations and inclusions (in particular, given in terms of Nelson's mean derivatives) on linear spaces and manifolds. Topics covered include classical mechanics on non-linear configuration spaces, problems of statistical and quantum physics, and hydrodynamics.

A self-contained book that provides a large amount of preliminary material and recent results which will serve to be a useful introduction to the subject and a valuable resource for further research. It will appeal to researchers, graduate and PhD students working in global analysis, stochastic analysis and mathematical physics.

This volume of the Encyclopaedia contains three contributions in the field of complex analysis. The topics treated are mean periodicity and convolutionequations, Yang-Mills fields and the Radon-Penrose transform, and stringtheory. The latter two have strong links with quantum field theory and the theory of general relativity. In fact, the mathematical results described inthe book arose from the need of physicists to find a sound mathematical basis for their theories. The authors present their material in the formof surveys which provide up-to-date accounts of current research. The book will be immensely useful to graduate students and researchers in complex analysis, differential geometry, quantum field theory, string theoryand general relativity.

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 volume reflects the state of the art of numerical simulation of transitional and turbulent flows and provides an active forum for discussion of recent developments in simulation techniques and understanding of flow physics. Following the tradition of earlier DLES workshops, these papers address numerous theoretical and physical aspects of transitional and turbulent flows. At an applied level it contributes to the solution of problems related to energy production, transportation, magneto-hydrodynamics and the environment. A special session is devoted to quality issues of LES. The ninth Workshop on 'Direct and Large-Eddy Simulation' (DLES-9) was held in Dresden, April 3-5, 2013, organized by the Institute of Fluid Mechanics at Technische Universitat Dresden. This book is of interest to scientists and engineers, both at an early level in their career and at more senior levels.

The book focuses classical oligopoly theory as developed in 1840-1940. By the end of this period oligopoly came under the spell of game theory in its probabilistic equilibrium format. Work by Cournot, von Stackelberg, Palander, and Hotelling, causal and dynamic in essence, but ignored, is reconsidered in the light of modern dynamics using topology and numerics. As particular features, von Stackelberg leadership is included in the dynamic Cournot model, the Hotelling problem is solved with elastic demand, thus skipping the absurd idea of quadratic transportation costs. Further, it is shown that the celebrated destabilisation of Cournot equilibrium under increased competition is due to mistakenly assuming constant returns, and that the whole idea of rational expectations is untenable in dynamic oligopoly. Early original ideas in oligopoly theory, such as coexistence and multiplicity of attractors are focused again after many undeserved decades of oblivion.

The book provides highly specialized researchers and practitioners with a major contribution to mathematical models' developments for energy systems. First, dynamic process simulation models based on mixture flow and two-fluid models are developed for combined-cycle power plants, pulverised coal-fired power plants, concentrated solar power plant and municipal waste incineration. Operation data, obtained from different power stations, are used to investigate the capability of dynamic models to predict the behaviour of real processes and to analyse the influence of modeling assumptions on simulation results. Then, a computational fluid dynamics (CFD) simulation programme, so-called DEMEST, is developed. Here, the fluid-solid, particle-particle and particle-wall interactions are modeled by tracking all individual particles. To this purpose, the deterministic Euler-Lagrange/Discrete Element Method (DEM) is applied and further improved. An emphasis is given to the determination of inter-phase values, such as volumetric void fraction, momentum and heat transfers, using a new procedure known as the offset-method and to the particle-grid method allowing the refinement of the grid resolution independently from particle size. Model validation is described in detail. Moreover, thermochemical reaction models for solid fuel combustion are developed based on quasi-single-phase, two-fluid and Euler-Lagrange/MP-PIC models. Measurements obtained from actual power plants are used for validation and comparison of the developed numerical models.

Finite Mathematics for Business, Economics, Life Sciences, and Social Sciences, 14th Edition offers more built-in guidance than any other text for this course - with special emphasis on applications and prerequisite skills - and a host of student-friendly features to help students catch up or learn on their own.

This second edition is an enlarged, completely updated, and extensively revised version of the authoritative first edition. It is devoted to the detailed study of illuminating specific problems of nonlinear elasticity, directed toward the scientist, engineer, and mathematician who wish to see careful treatments of precisely formulated problems. Special emphasis is placed on role of nonlinear material response. The mathematical tools from nonlinear analysis are given self-contained presentations where they are needed. This book begins with chapters on (geometrically exact theories of) strings, rods, and shells, and on the applications of bifurcation theory and the calculus of variations to problems for these bodies. The book continues with chapters on tensors, three-dimensional continuum mechanics, three-dimensional elasticity, large-strain plasticity, general theories of rods and shells, and dynamical problems. Each chapter contains a wealth of interesting, challenging, and tractable exercises.

The Palm theory and the Loynes theory of stationary systems are the two pillars of the modern approach to queuing. This book, presenting the mathematical foundations of the theory of stationaryqueuing systems, contains a thorough treatment of both of these.

This approach helps to clarify the picture, in that it separates the task of obtaining the key system formulas from that of proving convergence to a stationary state and computing its law.

The theory is constantly illustrated by classical results and models: Pollaczek-Khintchin and Tacacs formulas, Jackson and Gordon-Newell networks, multiserver queues, blocking queues, loss systems etc., but it also contains recent and significant examples, where the tools developed turn out to be indispensable.

Several other mathematical tools which are useful within this approach are also presented, such as the martingale calculus for point processes, or stochastic ordering for stationary recurrences.

This thoroughly revised second edition contains substantial additions - in particular, exercises and their solutions - rendering this now classic reference suitable for use as a textbook.

This book offers an essential review of central theories, current research and applications in the field of numerical representations of ordered structures. It is intended as a tribute to Professor Ghanshyam B. Mehta, one of the leading specialists on the numerical representability of ordered structures, and covers related applications to utility theory, mathematical economics, social choice theory and decision-making. Taken together, the carefully selected contributions provide readers with an authoritative review of this research field, as well as the knowledge they need to apply the theories and methods in their own work.

This book is an introduction to the fundamental concepts and tools needed for solving problems of a geometric nature using a computer. It attempts to fill the gap between standard geometry books, which are primarily theoretical, and applied books on computer graphics, computer vision, robotics, or machine learning.

This book covers the following topics: affine geometry, projective geometry, Euclidean geometry, convex sets, SVD and principal component analysis, manifolds and Lie groups, quadratic optimization, basics of differential geometry, and a glimpse of computational geometry (Voronoi diagrams and Delaunay triangulations). Some practical applications of the concepts presented in this book include computer vision, more specifically contour grouping, motion interpolation, and robot kinematics.

In this extensively updated second edition, more material on convex sets, Farkas's lemma, quadratic optimization and the Schur complement have been added. The chapter on SVD has been greatly expanded and now includes a presentation of PCA.

The book is well illustrated and has chapter summaries and a large number of exercises throughout. It will be of interest to a wide audience including computer scientists, mathematicians, and engineers.

Reviews of first edition:

"Gallier's book will be a useful source for anyone interested in applications of geometrical methods to solve problems that arise in various branches of engineering. It may help to develop the sophisticated concepts from the more advanced parts of geometry into useful tools for applications." (Mathematical Reviews, 2001)

..".it will be useful as a reference book for postgraduates wishing to find the connection between their current problem and the underlying geometry." (The Australian Mathematical Society, 2001)"

Based on the author's lecture notes and research, this well-illustrated and comprehensive text is one of the first to provide an introduction to image registration with particular emphasis on numerical methods in medical imaging. Ideal for researchers in industry and academia, it is also a suitable study guide for graduate mathematicians, computer scientists, engineers, medical physicists, and radiologists. Image registration is utilised whenever information obtained from different viewpoints needs to be combined or compared and unwanted distortion needs to be eliminated. For example, CCTV images, ultrasound images, brain scan images, fingerprint and retinal scanning. Modersitzki's book provides a systematic introduction to the theoretical, practical, and numerical aspects of image registration, with special emphasis on medical applications. Various techniques are described, discussed and compared using numerous illustrations. The text starts with an introduction to the mathematical principles and the motivating example of the Human Neuroscanning Project whose aim is to build an atlas of the human brain through reconstructing essential information out of deformed images of sections of a prepared brain. The introduction is followed by coverage of parametric image registrations such as landmark based, principal axes based, and optimal affine linear registration. Basic distance measures like sum of squared differences, correlation, and mutual information are also discussed. The next section is devoted to state-of-the-art non-parametric image registrations where general variational based framework for image registration is presented and used to describe and compare well-known and new image registration techniques. Finally, efficient numerical schemes for the underlying partial differential equations are presented and discussed. This text treats the basic mathematical principles, including aspects from approximation theory, image processing, numerics, partial differential equations, and statistics, with a strong focus on numerical methods in image processing. Providing a systematic and general framework for image registration, the book not only presents state-of-the-art concepts but also summarises and classifies the numerous techniques to be found in the literature.

From cell division to heartbeat, clocklike rhythms pervade the activities of every living organism. The cycles of life are ultimately biochemical in mechanism but many of the principles that dominate their orchestration are essentially mathematical. The Geometry of Biological Time describes periodic processes in living systems and their non-living analogues in the abstract terms of nonlinear dynamics. Enphasis is given in phase singularities, waves, and mutual synchronization in tissues composed of many clocklike units. Also provided are descriptions of the best-studied experimental systems such as chemical oscillators, pacemaker neurons, circadian clocks, and excitable media organized into biochemical and bioelectrical wave patterns in two and three dimensions. No theoretical background is assumed; the required notions are introduced through an extensive collection of pictures and easily understood examples. This extensively updated new edition incorporates the fruits of two decades' further exploration guided by the same principles. Limit cycle theories of circadian clocks are now applied to human jet lag and are understood in terms of the molecular genetics of their recently discovered mechanisms. Supercomputers reveal the unforeseen architecture and dynamics of three-dimensional scroll waves in excitable media. Their role in life-threatening electrical aberrations of the heartbeat is exposed by laboratory experiments and corroborated in the clinic. These developments trace back to three basic mathematical ideas.

This thesis presents a new method for following evolving interactions between coupled oscillatory systems of the kind that abound in nature. Examples range from the subcellular level, to ecosystems, through climate dynamics, to the movements of planets and stars. Such systems mutually interact, adjusting their internal clocks, and may correspondingly move between synchronized and non-synchronized states. The thesis describes a way of using Bayesian inference to exploit the presence of random fluctuations, thus analyzing these processes in unprecedented detail. It first develops the basic theory of interacting oscillators whose frequencies are non-constant, and then applies it to the human heart and lungs as an example. Their coupling function can be used to follow with great precision the transitions into and out of synchronization. The method described has the potential to illuminate the ageing process as well as to improve diagnostics in cardiology, anesthesiology and neuroscience, and yields insights into a wide diversity of natural processes.

Resonances are ubiquitous in dynamical systems with many degrees of freedom. They have the basic effect of introducing slow-fast behavior in an evolutionary system which, coupled with instabilities, can result in highly irregular behavior. This book gives a unified treatment of resonant problems with special emphasis on the recently discovered phenomenon of homoclinic jumping. After a survey of the necessary background, a general finite dimensional theory of homoclinic jumping is developed and illustrated with examples. The main mechanism of chaos near resonances is discussed in both the dissipative and the Hamiltonian context. Previously unpublished new results on universal homoclinic bifurcations near resonances, as well as on multi-pulse Silnikov manifolds are described. The results are applied to a variety of different problems, which include applications from beam oscillations, surface wave dynamics, nonlinear optics, atmospheric science and fluid mechanics. The theory is further used to study resonances in Hamiltonian systems with applications to molecular dynamics and rigid body motion. The final chapter contains an infinite dimensional extension of the finite dimensional theory, with application to the perturbed nonlinear Schrodinger equation and coupled NLS equations."