The systematic study of existence, uniqueness, and properties of solutions to stochastic differential equations in infinite dimensions arising from practical problems characterizes this volume that is intended for graduate students and for pure and applied mathematicians, physicists, engineers, professionals working with mathematical models of finance. Major methods include compactness, coercivity, monotonicity, in a variety of set-ups. The authors emphasize the fundamental work of Gikhman and Skorokhod on the existence and uniqueness of solutions to stochastic differential equations and present its extension to infinite dimension. They also generalize the work of Khasminskii on stability and stationary distributions of solutions. New results, applications, and examples of stochastic partial differential equations are included. This clear and detailed presentation gives the basics of the infinite dimensional version of the classic books of Gikhman and Skorokhod and of Khasminskii in one concise volume that covers the main topics in infinite dimensional stochastic PDE's. By appropriate selection of material, the volume can be adapted for a 1- or 2-semester course, and can prepare the reader for research in this rapidly expanding area.

This book contains selected papers of the 11th OpenFOAM (R) Workshop that was held in Guimaraes, Portugal, June 26 - 30, 2016. The 11th OpenFOAM (R) Workshop had more than 140 technical/scientific presentations and 30 courses, and was attended by circa 300 individuals, representing 180 institutions and 30 countries, from all continents. The OpenFOAM (R) Workshop provided a forum for researchers, industrial users, software developers, consultants and academics working with OpenFOAM (R) technology. The central part of the Workshop was the two-day conference, where presentations and posters on industrial applications and academic research were shown. OpenFOAM (R) (Open Source Field Operation and Manipulation) is a free, open source computational toolbox that has a larger user base across most areas of engineering and science, from both commercial and academic organizations. As a technology, OpenFOAM (R) provides an extensive range of features to solve anything from complex fluid flows involving chemical reactions, turbulence and heat transfer, to solid dynamics and electromagnetics, among several others. Additionally, the OpenFOAM technology offers complete freedom to customize and extend its functionalities.

This work is devoted to the late Ukrainian computer scientist V. M. Glushkov on the 90th anniversary of his birthday. Dr. Glushkov is known for his contribution to the world computer science and technology and this volume analyzes the ideas and paths of development of informatics formulated by him and demonstrate their important role in constructing computer technologies of basic research in the fields of applied mathematics, theories of computer programming and computing systems. A significant portion of the monograph is devoted to the elucidation of new results obtained in the field of mathematical modeling of complicated processes, creation of new methods for solving and investigating optimization problems in different statements and development of computer technologies for investigations in the field of economy, biology, medicine and information security in systems. The monograph will be of particular interest to informatics specialists and experts using methods of informatics and computer technologies to investigate complicated processes of different natures and developing new information technologies. It may also be useful for both graduate students and postgraduates specializing in Computer Science.

In this book we analyze relaxation oscillations in models of lasers with nonlinear elements controlling light dynamics. The models are based on rate equations taking into account periodic modulation of parameters, optoelectronic delayed feedback, mutual coupling between lasers, intermodal interaction and other factors. With the aim to study relaxation oscillations we present the special asymptotic method of integration for ordinary differential equations and differential-difference equations. As a result, they are reduced to discrete maps. Analyzing the maps we describe analytically such nonlinear phenomena in lasers as multistability of large-amplitude relaxation cycles, bifurcations of cycles, controlled switching of regimes, phase synchronization in an ensemble of coupled systems and others. The book can be fruitful for students and technicians in nonlinear laser dynamics and in differential equations.

Most networks and databases that humans have to deal with contain large, albeit finite number of units. Their structure, for maintaining functional consistency of the components, is essentially not random and calls for a precise quantitative description of relations between nodes (or data units) and all network components. This book is an introduction, for both graduate students and newcomers to the field, to the theory of graphs and random walks on such graphs. The methods based on random walks and diffusions for exploring the structure of finite connected graphs and databases are reviewed (Markov chain analysis). This provides the necessary basis for consistently discussing a number of applications such diverse as electric resistance networks, estimation of land prices, urban planning, linguistic databases, music, and gene expression regulatory networks.

This volume has been divided into two parts: Geometry and Applications. The geometry portion of the book relates primarily to geometric flows, laminations, integral formulae, geometry of vector fields on Lie groups and osculation; the articles in the applications portion concern some particular problems of the theory of dynamical systems, including mathematical problems of liquid flows and a study of cycles for non-dynamical systems.

This Work is based on the second international workshop entitled "Geometry and Symbolic Computations," held on May 15-18, 2013 at the University of Haifa and is dedicated to modeling (using symbolic calculations) in differential geometry and its applications in fields such as computer science, tomography and mechanics. It is intended to create a forum for students and researchers in pure and applied geometry to promote discussion of modern state-of-the-art in geometric modeling using symbolic programs such as Maple and Mathematica(r), as well as presentation of new results."

This unified volume is a collection of invited chapters presenting recent developments in the field of data analysis, with applications to reliability and inference, data mining, bioinformatics, lifetime data, and neural networks. The book is a useful reference for graduate students, researchers, and practitioners in statistics, mathematics, engineering, economics, social science, bioengineering, and bioscience.

This book provides an introduction to hypergraphs, its aim being to overcome the lack of recent manuscripts on this theory. In the literature hypergraphs have many other names such as set systems and families of sets. This work presents the theory of hypergraphs in its most original aspects, while also introducing and assessing the latest concepts on hypergraphs. The variety of topics, their originality and novelty are intended to help readers better understand the hypergraphs in all their diversity in order to perceive their value and power as mathematical tools. This book will be a great asset to upper-level undergraduate and graduate students in computer science and mathematics. It has been the subject of an annual Master's course for many years, making it also ideally suited to Master's students in computer science, mathematics, bioinformatics, engineering, chemistry, and many other fields. It will also benefit scientists, engineers and anyone else who wants to understand hypergraphs theory.

The analysis of PDEs is a prominent discipline in mathematics research, both in terms of its theoretical aspects and its relevance in applications. In recent years, the geometric properties of linear and nonlinear second order PDEs of elliptic and parabolic type have been extensively studied by many outstanding researchers. This book collects contributions from a selected group of leading experts who took part in the INdAM meeting "Geometric methods in PDEs", on the occasion of the 70th birthday of Ermanno Lanconelli. They describe a number of new achievements and/or the state of the art in their discipline of research, providing readers an overview of recent progress and future research trends in PDEs. In particular, the volume collects significant results for sub-elliptic equations, potential theory and diffusion equations, with an emphasis on comparing different methodologies and on their implications for theory and applications.

This book presents a hybrid approach to the mechanics of thin bodies. Classical theories of rods, plates and shells with constrained shear are based on asymptotic splitting of the equations and boundary conditions of three-dimensional elasticity. The asymptotic solutions become accurate as the thickness decreases, and the three-dimensional fields of stresses and displacements can be determined. The analysis includes practically important effects of electromechanical coupling and material inhomogeneity. The extension to the geometrically nonlinear range uses the direct approach based on the principle of virtual work. Vibrations and buckling of pre-stressed structures are studied with the help of linearized incremental formulations, and direct tensor calculus rounds out the list of analytical techniques used throughout the book.

A novel theory of thin-walled rods of open profile is subsequently developed from the models of rods and shells, and traditionally applied equations are proven to be asymptotically exact. The influence of pre-stresses on the torsional stiffness is shown to be crucial for buckling analysis. Novel finite element schemes for classical rod and shell structures are presented with a comprehensive discussion regarding the theoretical basis, computational aspects and implementation details. Analytical conclusions and closed-form solutions of particular problems are validated against numerical results. The majority of the simulations were performed in the Wolfram Mathematica environment, and the compact source code is provided as a substantial and integral part of the book.

This book is open access under a CC BY 4.0 license. This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. Unlike many of the traditional academic works on the topic, this book was written for practitioners. Accordingly, it especially addresses: the construction of finite difference schemes, formulation and implementation of algorithms, verification of implementations, analyses of physical behavior as implied by the numerical solutions, and how to apply the methods and software to solve problems in the fields of physics and biology.

The rapid increase in computing power and communication speed, coupled with computer storage facilities availability, has led to a new age of multimedia app- cations. Multimedia is practically everywhere and all around us we can feel its presence in almost all applications ranging from online video databases, IPTV, - teractive multimedia and more recently in multimedia based social interaction. These new growing applications require high-quality data storage, easy access to multimedia content and reliable delivery. Moving ever closer to commercial - ployment also aroused a higher awareness of security and intellectual property management issues. All the aforementioned requirements resulted in higher demands on various - eas of research (signal processing, image/video processing and analysis, com- nication protocols, content search, watermarking, etc.). This book covers the most prominent research issues in multimedia and is divided into four main sections: i) content based retrieval, ii) storage and remote access, iii) watermarking and co- right protection and iv) multimedia applications. Chapter 1 of the first section presents an analysis on how color is used and why is it crucial in nowadays multimedia applications. In chapter 2 the authors give an overview of the advances in video abstraction for fast content browsing, transm- sion, retrieval and skimming in large video databases and chapter 3 extends the discussion on video summarization even further. Content retrieval problem is tackled in chapter 4 by describing a novel method for producing meaningful s- ments suitable for MPEG-7 description based on binary partition trees (BPTs).

This book presents innovative intelligent techniques, with an emphasis on their biomedical applications. Although many medical doctors are willing to share their knowledge - e.g. by incorporating it in computer-based advisory systems that can benefit other doctors - this knowledge is often expressed using imprecise (fuzzy) words from natural language such as "small," which are difficult for computers to process. Accordingly, we need fuzzy techniques to handle such words. It is also desirable to extract general recommendations from the records of medical doctors' decisions - by using machine learning techniques such as neural networks. The book describes state-of-the-art fuzzy, neural, and other techniques, especially those that are now being used, or potentially could be used, in biomedical applications. Accordingly, it will benefit all researchers and students interested in the latest developments, as well as practitioners who want to learn about new techniques.

This book focuses on the development of a theory of info-dynamics to support the theory of info-statics in the general theory of information. It establishes the rational foundations of information dynamics and how these foundations relate to the general socio-natural dynamics from the primary to the derived categories in the universal existence and from the potential to the actual in the ontological space. It also shows how these foundations relate to the general socio-natural dynamics from the potential to the possible to give rise to the possibility space with possibilistic thinking; from the possible to the probable to give rise to possibility space with probabilistic thinking; and from the probable to the actual to give rise to the space of knowledge with paradigms of thought in the epistemological space. The theory is developed to explain the general dynamics through various transformations in quality-quantity space in relation to the nature of information flows at each variety transformation. The theory explains the past-present-future connectivity of the evolving information structure in a manner that illuminates the transformation problem and its solution in the never-ending information production within matter-energy space under socio-natural technologies to connect the theory of info-statics, which in turn presents explanations to the transformation problem and its solution. The theoretical framework is developed with analytical tools based on the principle of opposites, systems of actual-potential polarities, negative-positive dualities under different time-structures with the use of category theory, fuzzy paradigm of thought and game theory in the fuzzy-stochastic cost-benefit space. The rational foundations are enhanced with categorial analytics. The value of the theory of info-dynamics is demonstrated in the explanatory and prescriptive structures of the transformations of varieties and categorial varieties at each point of time and over time from parent-offspring sequences. It constitutes a general explanation of dynamics of information-knowledge production through info-processes and info-processors induced by a socio-natural infinite set of technologies in the construction-destruction space.

This book contains a collection of recent advanced contributions in the field of nonlinear dynamics and synchronization, including selected applications in the area of theoretical electrical engineering. The present book is divided into twenty-one chapters grouped in five parts. The first part focuses on theoretical issues related to chaos and synchronization and their potential applications in mechanics, transportation, communication and security. The second part handles dynamic systems modelling and simulation with special applications to real physical systems and phenomena. The third part discusses some fundamentals of electromagnetics (EM) and addresses the modelling and simulation in some real physical electromagnetic scenarios. The fourth part mainly addresses stability concerns. Finally, the last part assembles some sample applications in the area of optimization, data mining, pattern recognition and image processing.

Spinors are used extensively in physics. It is widely accepted that they are more fundamental than tensors, and the easy way to see this is through the results obtained in general relativity theory by using spinors -- results that could not have been obtained by using tensor methods only.

The foundation of the concept of spinors is groups; spinors appear as representations of groups. This textbook expounds the relationship between spinors and representations of groups. As is well known, spinors and representations are both widely used in the theory of elementary particles.

The authors present the origin of spinors from representation theory, but nevertheless apply the theory of spinors to general relativity theory, and part of the book is devoted to curved space-time applications.

Based on lectures given at Ben Gurion University, this textbook is intended for advanced undergraduate and graduate students in physics and mathematics, as well as being a reference for researchers.

This book offers a comprehensive analysis of the social choice literature and shows, by applying fuzzy sets, how the use of fuzzy preferences, rather than that of strict ones, may affect the social choice theorems. To do this, the book explores the presupposition of rationality within the fuzzy framework and shows that the two conditions for rationality, completeness and transitivity, do exist with fuzzy preferences. Specifically, this book examines: the conditions under which a maximal set exists; the Arrow's theorem; the Gibbard-Satterthwaite theorem and the median voter theorem. After showing that a non-empty maximal set does exists for fuzzy preference relations, this book goes on to demonstrating the existence of a fuzzy aggregation rule satisfying all five Arrowian conditions, including non-dictatorship. While the Gibbard-Satterthwaite theorem only considers individual fuzzy preferences, this work shows that both individuals and groups can choose alternatives to various degrees, resulting in a social choice that can be both strategy-proof and non-dictatorial. Moreover, the median voter theorem is shown to hold under strict fuzzy preferences but not under weak fuzzy preferences. By providing a standard model of fuzzy social choice and by drawing the necessary connections between the major theorems, this book fills an important gap in the current literature and encourages future empirical research in the field.

This book is about the role of knowledge in information systems. Knowledge is usually articulated and exchanged through human language(s). In this sense, language can be seen as the most natural vehicle to convey our concepts, whose meanings are usually intermingled, grouped and organized according to shared criteria, from simple perceptions ( every tree has a stem ) and common sense ( unsupported objects fall ) to complex social conventions ( a tax is a fee charged by a government on a product, income, or activity ). But what is natural for a human being turns out to be extremely difficult for machines: machines need to be instilled with knowledge and suitably equipped with logical and statistical algorithms to reason over it. Computers can t represent the external world and communicate their representations as effectively as humans do: ontologies and NLP have been invented to face this problem: in particular, integrating ontologies with (possibly multi-lingual) computational lexical resources is an essential requirement to make human meanings understandable by machines. This book explores the advancements in this integration, from the most recent steps in building the necessary infrastructure, i.e. the Semantic Web, to the different knowledge contents that can be analyzed, encoded and transferred (multimedia, emotions, events, etc.) through it. The work aims at presenting the progress in the field of integrating ontologies and lexicons: together, they constitute the essential technology for adequately represent, elicit and exchange knowledge contents in information systems, web services, text processing and several other domains of application.

This book presents up-to-date results on abstract evolution equations and differential inclusions in infinite dimensional spaces. It covers equations with time delay and with impulses, and complements the existing literature in functional differential equations and inclusions. The exposition is devoted to both local and global mild solutions for some classes of functional differential evolution equations and inclusions, and other densely and non-densely defined functional differential equations and inclusions in separable Banach spaces or in Frechet spaces. The tools used include classical fixed points theorems and the measure-of non-compactness, and each chapter concludes with a section devoted to notes and bibliographical remarks. This monograph is particularly useful for researchers and graduate students studying pure and applied mathematics, engineering, biology and all other applied sciences.

This volume presents current research in functional analysis and its applications to a variety of problems in mathematics and mathematical physics. The book contains over forty carefully refereed contributions to the conference "Functional Analysis in Interdisciplinary Applications" (Astana, Kazakhstan, October 2017). Topics covered include the theory of functions and functional spaces; differential equations and boundary value problems; the relationship between differential equations, integral operators and spectral theory; and mathematical methods in physical sciences. Presenting a wide range of topics and results, this book will appeal to anyone working in the subject area, including researchers and students interested to learn more about different aspects and applications of functional analysis.

An original motivation for algebraic geometry was to understand curves and surfaces in three dimensions. Recent theoretical and technological advances in areas such as robotics, computer vision, computer-aided geometric design and molecular biology, together with the increased availability of computational resources, have brought these original questions once more into the forefront of research. One particular challenge is to combine applicable methods from algebraic geometry with proven techniques from piecewise-linear computational geometry (such as Voronoi diagrams and hyperplane arrangements) to develop tools for treating curved objects. These research efforts may be summarized under the term nonlinear computational geometry. This volume grew out of an IMA workshop on Nonlinear Computational Geometry in May/June 2007 (organized by I.Z. Emiris, R. Goldman, F. Sottile, T. Theobald) which gathered leading experts in this emerging field. The research and expository articles in the volume are intended to provide an overview of nonlinear computational geometry. Since the topic involves computational geometry, algebraic geometry, and geometric modeling, the volume has contributions from all of these areas. By addressing a broad range of issues from purely theoretical and algorithmic problems, to implementation and practical applications this volume conveys the spirit of the IMA workshop.

Based on the analytical methods and the computer programs presented in this book, all that may be needed to perform MRI tissue diagnosis is the availability of relaxometric data and simple computer program proficiency. These programs are easy to use, highly interactive and the data processing is fast and unambiguous. Laboratories (with or without sophisticated facilities) can perform computational magnetic resonance diagnosis with only T1 and T2 relaxation data. The results have motivated the use of data to produce data-driven predictions required for machine learning, artificial intelligence (AI) and deep learning for multidisciplinary and interdisciplinary research. Consequently, this book is intended to be very useful for students, scientists, engineers, the medical personnel and researchers who are interested in developing new concepts for deeper appreciation of computational magnetic resonance imaging for medical diagnosis, prognosis, therapy and management of tissue diseases.

Images are all around us The proliferation of low-cost, high-quality imaging devices has led to an explosion in acquired images. When these images are acquired from a microscope, telescope, satellite, or medical imaging device, there is a statistical image processing task: the inference of something--an artery, a road, a DNA marker, an oil spill--from imagery, possibly noisy, blurry, or incomplete. A great many textbooks have been written on image processing. However this book does not so much focus on images, per se, but rather on spatial data sets, with one or more measurements taken over a two or higher dimensional space, and to which standard image-processing algorithms may not apply. There are many important data analysis methods developed in this text for such statistical image problems. Examples abound throughout remote sensing (satellite data mapping, data assimilation, climate-change studies, land use), medical imaging (organ segmentation, anomaly detection), computer vision (image classification, segmentation), and other 2D/3D problems (biological imaging, porous media). The goal, then, of this text is to address methods for solving multidimensional statistical problems. The text strikes a balance between mathematics and theory on the one hand, versus applications and algorithms on the other, by deliberately developing the basic theory (Part I), the mathematical modeling (Part II), and the algorithmic and numerical methods (Part III) of solving a given problem. The particular emphases of the book include inverse problems, multidimensional modeling, random fields, and hierarchical methods.

The advent of rapid, reliable and cheap computing power over the last decades has transformed many, if not most, fields of science and engineering. The multidisciplinary field of optimization is no exception. First of all, with fast computers, researchers and engineers can apply classical optimization methods to problems of larger and larger size. In addition, however, researchers have developed a host of new optimization algorithms that operate in a rather different way than the classical ones, and that allow practitioners to attack optimization problems where the classical methods are either not applicable or simply too costly (in terms of time and other resources) to apply. This book is intended as a course book for introductory courses in stochastic optimization algorithms (in this book, the terms optimization method and optimization algorithm will be used interchangeably), and it has grown from a set of lectures notes used in courses, taught by the author, at the international master programme Complex Adaptive Systems at Chalmers University of Technology in Goteborg, Sweden.Thus, a suitable audience for this book are third and fourth-year engineering students, with a background in engineering mathematics (analysis, algebra, and probability theory) as well as some knowledge of computer programming.

Collecting together contributed lectures and mini-courses, this book details the research presented in a special semester titled "Geometric mechanics - variational and stochastic methods" run in the first half of 2015 at the Centre Interfacultaire Bernoulli (CIB) of the Ecole Polytechnique Federale de Lausanne. The aim of the semester was to develop a common language needed to handle the wide variety of problems and phenomena occurring in stochastic geometric mechanics. It gathered mathematicians and scientists from several different areas of mathematics (from analysis, probability, numerical analysis and statistics, to algebra, geometry, topology, representation theory, and dynamical systems theory) and also areas of mathematical physics, control theory, robotics, and the life sciences, with the aim of developing the new research area in a concentrated joint effort, both from the theoretical and applied points of view. The lectures were given by leading specialists in different areas of mathematics and its applications, building bridges among the various communities involved and working jointly on developing the envisaged new interdisciplinary subject of stochastic geometric mechanics.