The papers in this volume present an overview of the general aspects and practical applications of dynamic inverse methods, through the interaction of several topics, ranging from classical and advanced inverse problems in vibration, isospectral systems, dynamic methods for structural identification, active vibration control and damage detection, imaging shear stiffness in biological tissues, wave propagation, to computational and experimental aspects relevant for engineering problems.

This book employs homogeneous coordinate notation to compute the first- and second-order derivative matrices of various optical quantities. It will be one of the important mathematical tools for automatic optical design. The traditional geometrical optics is based on raytracing only. It is very difficult, if possible, to compute the first- and second-order derivatives of a ray and optical path length with respect to system variables, since they are recursive functions. Consequently, current commercial software packages use a finite difference approximation methodology to estimate these derivatives for use in optical design and analysis. Furthermore, previous publications of geometrical optics use vector notation, which is comparatively awkward for computations for non-axially symmetrical systems.

This volume covers selected topics addressed and discussed during the workshop "PDE models for multi-agent phenomena," which was held in Rome, Italy, from November 28th to December 2nd, 2016. The content mainly focuses on kinetic equations and mean field games, which provide a solid framework for the description of multi-agent phenomena. The book includes original contributions on the theoretical and numerical study of the MFG system: the uniqueness issue and finite difference methods for the MFG system, MFG with state constraints, and application of MFG to market competition. The book also presents new contributions on the analysis and numerical approximation of the Fokker-Planck-Kolmogorov equations, the isotropic Landau model, the dynamical approach to the quantization problem and the asymptotic methods for fully nonlinear elliptic equations. Chiefly intended for researchers interested in the mathematical modeling of collective phenomena, the book provides an essential overview of recent advances in the field and outlines future research directions.

This volume gathers contributions reflecting topics presented during an INDAM workshop held in Rome in May 2016. The event brought together many prominent researchers in both Mathematical Analysis and Numerical Computing, the goal being to promote interdisciplinary collaborations. Accordingly, the following thematic areas were developed: 1. Lagrangian discretizations and wavefront tracking for synchronization models; 2. Astrophysics computations and post-Newtonian approximations; 3. Hyperbolic balance laws and corrugated isometric embeddings; 4. "Caseology" techniques for kinetic equations; 5. Tentative computations of compressible non-standard solutions; 6. Entropy dissipation, convergence rates and inverse design issues. Most of the articles are presented in a self-contained manner; some highlight new achievements, while others offer snapshots of the "state of the art" in certain fields. The book offers a unique resource, both for young researchers looking to quickly enter a given area of application, and for more experienced ones seeking comprehensive overviews and extensive bibliographic references.

One of the most notable features of nanometer scale CMOS technology is the increasing magnitude of variability of the key device parameters affecting performance of integrated circuits. The growth of variability can be attributed to multiple factors, including the difficulty of manufacturing control, the emergence of new systematic variation-generating mechanisms, and most importantly, the increase in atomic-scale randomness, where device operation must be described as a stochastic process. In addition to wide-sense stationary stochastic device variability and temperature variation, existence of non-stationary stochastic electrical noise associated with fundamental processes in integrated-circuit devices represents an elementary limit on the performance of electronic circuits. In an attempt to address these issues, Stochastic Process Variation in Deep-Submicron CMOS: Circuits and Algorithms offers unique combination of mathematical treatment of random process variation, electrical noise and temperature and necessary circuit realizations for on-chip monitoring and performance calibration. The associated problems are addressed at various abstraction levels, i.e. circuit level, architecture level and system level. It therefore provides a broad view on the various solutions that have to be used and their possible combination in very effective complementary techniques for both analog/mixed-signal and digital circuits. The feasibility of the described algorithms and built-in circuitry has been verified by measurements from the silicon prototypes fabricated in standard 90 nm and 65 nm CMOS technology.

Recent advances in the fields of knowledge representation, reasoning and human-computer interaction have paved the way for a novel approach to treating and handling context. The field of research presented in this book addresses the problem of contextual computing in artificial intelligence based on the state of the art in knowledge representation and human-computer interaction. The author puts forward a knowledge-based approach for employing high-level context in order to solve some persistent and challenging problems in the chosen showcase domain of natural language understanding. Specifically, the problems addressed concern the handling of noise due to speech recognition errors, semantic ambiguities, and the notorious problem of underspecification. Consequently the book examines the individual contributions of contextual composing for different types of context. Therefore, contextual information stemming from the domain at hand, prior discourse, and the specific user and real world situation are considered and integrated in a formal model that is applied and evaluated employing different multimodal mobile dialog systems. This book is intended to meet the needs of readers from at least three fields - AI and computer science; computational linguistics; and natural language processing - as well as some computationally oriented linguists, making it a valuable resource for scientists, researchers, lecturers, language processing practitioners and professionals as well as postgraduates and some undergraduates in the aforementioned fields. "The book addresses a problem of great and increasing technical and practical importance - the role of context in natural language processing (NLP). It considers the role of context in three important tasks: Automatic Speech Recognition, Semantic Interpretation, and Pragmatic Interpretation. Overall, the book represents a novel and insightful investigation into the potential of contextual information processing in NLP." Jerome A Feldman, Professor of Electrical Engineering and Computer Science, UC Berkeley, USA http://dm.tzi.de/research/contextual-computing/

This monograph tackles three challenges. First, show a mathematics-based meta-model that matches known elementary particles. Second, apply models, based on the meta-model, to match other known physics data. Third, predict future physics data. The math features solutions to isotropic pairs of isotropic quantum harmonic oscillators. This monograph matches some solutions to known elementary particles. Matched properties include spin, types of interactions in which the particles partake, and (for elementary bosons) approximate masses. Other solutions point to possible elementary particles. This monograph applies the models and the extended particle list. Results narrow gaps between physics data and theory. Results pertain to elementary particles, astrophysics, and cosmology. For example, this monograph predicts properties for beyond-the-Standard-Model elementary particles, proposes descriptions of dark matter and dark energy, provides new relationships between known physics constants (including masses of some elementary particles), includes theory that dovetails with the ratio of dark matter to ordinary matter, includes math that dovetails with the number of elementary-fermion generations, suggests forces that govern the rate of expansion of the universe, and suggests additions to and details for the cosmology timeline.

Features mathematical modeling techniques and real-world processes with applications in diverse fields Mathematical Modeling with Multidisciplinary Applications details the interdisciplinary nature of mathematical modeling and numerical algorithms. The book combines a variety of applications from diverse fields to illustrate how the methods can be used to model physical processes, design new products, find solutions to challenging problems, and increase competitiveness in international markets. Written by leading scholars and international experts in the field, the book presents new and emerging topics in areas including finance and economics, theoretical and applied mathematics, engineering and machine learning, physics, chemistry, ecology, and social science. In addition, the book thoroughly summarizes widely used mathematical and numerical methods in mathematical modeling and features: * Diverse topics such as partial differential equations (PDEs), fractional calculus, inverse problems by ordinary differential equations (ODEs), semigroups, decision theory, risk analysis, Bayesian estimation, nonlinear PDEs in financial engineering, perturbation analysis, and dynamic system modeling * Case studies and real-world applications that are widely used for current mathematical modeling courses, such as the green house effect and Stokes flow estimation * Comprehensive coverage of a wide range of contemporary topics, such as game theory, statistical models, and analytical solutions to numerical methods * Examples, exercises with select solutions, and detailed references to the latest literature to solidify comprehensive learning * New techniques and applications with balanced coverage of PDEs, discrete models, statistics, fractional calculus, and more Mathematical Modeling with Multidisciplinary Applications is an excellent book for courses on mathematical modeling and applied mathematics at the upper-undergraduate and graduate levels. The book also serves as a valuable reference for research scientists, mathematicians, and engineers who would like to develop further insights into essential mathematical tools.

Reliability and Safety of Complex Technical Systems and Processes offers a comprehensive approach to the analysis, identification, evaluation, prediction and optimization of complex technical systems operation, reliability and safety. Its main emphasis is on multistate systems with ageing components, changes to their structure, and their components reliability and safety parameters during the operation processes. Reliability and Safety of Complex Technical Systems and Processes presents integrated models for the reliability, availability and safety of complex non-repairable and repairable multistate technical systems, with reference to their operation processes and their practical applications to real industrial systems. The authors consider variables in different operation states, reliability and safety structures, and the reliability and safety parameters of components, as well as suggesting a cost analysis for complex technical systems. Researchers and industry practitioners will find information on a wide range of complex technical systems in Reliability and Safety of Complex Technical Systems and Processes. It may prove an easy-to-use guide to reliability and safety evaluations of real complex technical systems, both during their operation and at the design stages.

The non-Gaussianity in the primordial density fluctuations is a key feature to clarify the early Universe and it has been probed with the Cosmic Microwave Background (CMB) bispectrum. In recent years, we have treated the novel-type CMB bispectra, which originate from the vector- and tensor-mode perturbations and include the violation of the rotational or parity invariance. On the basis of our current works, this thesis provides the general formalism for the CMB bispectrum sourced by the non-Gaussianity in the scalar, vector and tensor-mode perturbations. Applying this formalism, we calculate the CMB bispectra from the two scalars and a graviton correlation and primordial magnetic fields, and then outline new constraints on these magnitudes. Furthermore, this formalism can be easily extended to the cases where the rotational or parity invariance is broken. We also compute the CMB bispectra from the scalar-mode non-Gaussianities with a preferred direction and the tensor-mode non-Gaussianities induced by the parity-violating Weyl cubic terms. Here, we show that these bispectra include unique signals, which any symmetry-invariant models can never produce.

This book sheds new light on the development and use of quantitative models to describe the process of skin permeation. It critically reviews the development of quantitative predictive models of skin absorption and discusses key recommendations for model development. Topics presented include an introduction to skin physiology; the underlying theories of skin absorption; the physical laboratory-based processes used to generate skin absorption data, which is in turn used to construct mathematical models describing the skin permeation process; algorithms of skin permeability including quantitative structure-activity (or permeability) relationships (QSARs or QSPRs); relationships between permeability and molecular properties; the development of formulation-focused approaches to models of skin permeability prediction; the use of artificial membranes, e.g. polydimethylsiloxane as alternatives to mammalian skin; and lastly, the use of novel Machine Learning methods in developing the next generation of predictive skin permeability models. The book will be of interest to all researchers in academia and industry working in pharmaceutical discovery and development, as well as readers from the field of occupational exposure and risk assessment, especially those whose work involves agrochemicals, bulk chemicals and cosmetics.

This book is a continuation of the previous volumes of our series on Advanced Computational Intelligence Paradigms in Healthcare. The recent advances in computational intelligence paradigms have highlighted the need of intelligent systems in healthcare. This volume provides the reader a glimpse of the current state of the art in intelligent support system design in the field of healthcare. The book reports a sample of recent advances in: * Clinical Decision Support Systems * Rehabilitation Decision Support Systems * Technology Acceptance in Medical Decision Support Systems The book is directed to the researchers, professors, practitioner and students interested to design and develop intelligent decision support systems.

Analysis and Control of Boolean Networks presents a systematic new approach to the investigation of Boolean control networks. The fundamental tool in this approach is a novel matrix product called the semi-tensor product (STP). Using the STP, a logical function can be expressed as a conventional discrete-time linear system. In the light of this linear expression, certain major issues concerning Boolean network topology - fixed points, cycles, transient times and basins of attractors - can be easily revealed by a set of formulae. This framework renders the state-space approach to dynamic control systems applicable to Boolean control networks. The bilinear-systemic representation of a Boolean control network makes it possible to investigate basic control problems including controllability, observability, stabilization, disturbance decoupling etc.

Chemical Modelling: Applications and Theory comprises critical literature reviews of all aspects of molecular modelling. Molecular modelling in this context refers to modelliing the structure, properties and reactions of atoms, molecules and materials. Each chapter provides a selective review of recent literature, incorporating sufficient historical perspective for the non-specialist to gain an understanding. With chemical modelling covering such a wide range of subjects, this Specialist Periodical Report serves as the first port of call to any chemist, biochemist, materials scientist or molecular physicist needing to acquaint themselves with major developments in the area.

The idea of modeling the behaviour of phenomena at multiple scales has become a useful tool in both pure and applied mathematics. Fractal-based techniques lie at the heart of this area, as fractals are inherently multiscale objects; they very often describe nonlinear phenomena better than traditional mathematical models. In many cases they have been used for solving inverse problems arising in models described by systems of differential equations and dynamical systems.

"Fractal-Based Methods in Analysis" draws together, for the first time in book form, methods and results from almost twenty years of research in this topic, including new viewpoints and results in many of the chapters. For each topic the theoretical framework is carefully explained using examples and applications.

The second chapter on basic iterated function systems theory is designed to be used as the basis for a course and includes many exercises. This chapter, along with the three background appendices on topological and metric spaces, measure theory, and basic results from set-valued analysis, make the book suitable for self-study or as a source book for a graduate course. The other chapters illustrate many extensions and applications of fractal-based methods to different areas. This book is intended for graduate students and researchers in applied mathematics, engineering and social sciences.

Herb Kunze is a professor of mathematics at the University of Guelph in Ontario. Davide La Torre is an associate professor of mathematics in the Department of Economics, Management and Quantitative Methods of the University of Milan. Franklin Mendivil is a professor of mathematics at Acadia University in Nova Scotia. Edward Vrscay is a professor in the department of Applied Mathematics at the University of Waterloo in Ontario. The major focus of their research is on fractals and the applications of fractals.

"

This work concerns the computational modelling of the dynamics of partially ionized gases, with emphasis on electrodischarge processes. Understanding gas discharges is fundamental for many processes in mechanics, manufacturing, materials science, and aerospace engineering. This second edition has been expanded to include the latest developments in the field, especially regarding the drift-diffusion model and rarefied hypersonic flow.

KES International (KES) is a worldwide organisation that provides a professional community and association for researchers, originally in the discipline of Knowledge Based and Intelligent Engineering Systems, but now extending into other related areas. Through this, KES provides its members with opportunities for publication and beneficial interaction. The focus of KES is research and technology transfer in the area of Intelligent S- tems, i.e. computer-based software systems that operate in a manner analogous to the human brain, in order to perform advanced tasks. Recently KES has started to extend its area of interest to encompass the contribution that intelligent systems can make to sustainability and renewable energy, and also the knowledge transfer, innovation and enterprise agenda. Involving several thousand researchers, managers and engineers drawn from u- versities and companies world-wide, KES is in an excellent position to facilitate - ternational research co-operation and generate synergy in the area of artificial intel- gence applied to real-world 'Smart' systems and the underlying related theory. The KES annual conference covers a broad spectrum of intelligent systems topics and attracts several hundred delegates from a range of countries round the world. KES also organises symposia on specific technical topics, for example, Agent and Multi Agent Systems, Intelligent Decision Technologies, Intelligent Interactive M- timedia Systems and Services, Sustainability in Energy and Buildings and Innovations through Knowledge Transfer. KES is responsible for two peer-reviewed journals, the International Journal of Knowledge based and Intelligent Engineering Systems, and Intelligent Decision Technologies: an International Journal.

The book introduces possibly the most compact, simple and physically understandable tool that can describe, explain, predict and design the widest set of phenomena in time-variant and nonlinear oscillations. The phenomena described include parametric resonances, combined resonances, instability of forced oscillations, synchronization, distributed parameter oscillation and flatter, parametric oscillation control, robustness of oscillations and many others. Although the realm of nonlinear oscillations is enormous, the book relies on the concept of minimum knowledge for maximum understanding. This unique tool is the method of stationarization, or one frequency approximation of parametric resonance problem analysis in linear time-variant dynamic systems. The book shows how this can explain periodic motion stability in stationary nonlinear dynamic systems, and reveals the link between the harmonic stationarization coefficients and describing functions. As such, the book speaks the language of control: transfer functions, frequency response, Nyquist plot, stability margins, etc. An understanding of the physics of stability loss is the basis for the design of new oscillation control methods for, several of which are presented in the book. These and all the other findings are illustrated by numerical examples, which can be easily reproduced by readers equipped with a basic simulation package like MATLAB with Simulink. The book offers a simple tool for all those travelling through the world of oscillations, helping them discover its hidden beauty. Researchers can use the method to uncover unknown aspects, and as a reference to compare it with other, for example, abstract mathematical means. Further, it provides engineers with a minimalistic but powerful instrument based on physically measurable variables to analyze and design oscillatory systems.

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 explores various renewal processes in the context of probability theory, uncertainty theory and chance theory. It also covers the applications of these renewal processes in maintenance models and insurance risk models. The methods used to derive the limit of the renewal rate, the reward rate, and the availability rate are of particular interest, as they can easily be extended to the derivation of other models. Its comprehensive and systematic treatment of renewal processes, renewal reward processes and the alternating renewal process is one of the book's major features, making it particularly valuable for readers who are interested in learning about renewal theory. Given its scope, the book will benefit researchers, engineers, and graduate students in the fields of mathematics, information science, operations research, industrial engineering, etc.

This book presents recent developments in our systematic studies of hydrodynamics and heat and mass transfer in laminar free convection, accelerating film boiling and condensation of Newtonian fluids, as well as accelerating film flow of non-Newtonian power-law fluids (FFNF). These new developments provided in this book are (i) novel system of analysis models based on the developed New Similarity Analysis Method; (ii) a system of advanced methods for treatment of gas temperature- dependent physical properties, and liquid temperature- dependent physical properties; (iii) the organically combined models of the governing mathematical models with those on treatment model of variable physical properties; (iv) rigorous approach of overcoming a challenge on accurate solution of three-point boundary value problem related to two-phase film boiling and condensation; and (v) A pseudo-similarity method of dealing with thermal boundary layer of FFNF for greatly simplifies the heat-transfer analysis and numerical calculation. A system of practical application equations on heat and mass transfer are provided in each chapter, which are formulated based on the rigorous numerical solutions with consideration of variable physical properties. In addition, in the second edition, other new research developments are further included on resolving an even big challenge associated with investigations of laminar free film condensation of vapour-gas mixture. They involve the novel methods for treatment of concentration- and temperature- dependent physical properties of vapour-gas mixture, and for rigorous solution of interfacial vapour saturation temperature, which have lead to rigorous analysis and calculation results on two-phase film flow velocity, temperature, and concentration fields, as well as condensate heat and mass transfer.

This volume is dedicated to Harold Widom, a distinguished mathematician and renowned expert in the area of Toeplitz, Wiener-Hopf and pseudodifferential operators, on the occasion of his sixtieth birthday. The book opens with biographical material and a list of the mathematician's publications, this being followed by two papers based on Toeplitz lectures which he delivered at Tel Aviv University in March, 1993. The rest of the book consists of a selection of papers containing some recent achievements in the following areas: SzegA-Widom asymptotic formulas for determinants of finite sections of Toeplitz matrices and their generalizations, the Fisher-Hartwig conjecture, random matrices, analysis of kernels of Toeplitz matrices, projectional methods and eigenvalue distribution for Toeplitz matrices, the Fredholm theory for convolution type operators, the Nehari interpolation problem with generalizations and applications, and Toeplitz-Hausdorff type theorems. The book will appeal to a wide audience of pure and applied mathematicians.