This book presents the most recent advances in the research of machines and mechanisms. It collects 54 reviewed papers presented at the XII International Conference on the Theory of Machines and mechanisms (TMM 2016) held in Liberec, Czech Republic, September 6-8, 2016. This volume offers an international selection of the most important new results and developments, grouped in six different parts, representing a well-balanced overview, and spanning the general theory of machines and mechanisms, through analysis and synthesis of planar and spatial mechanisms, linkages and cams, robots and manipulators, dynamics of machines and mechanisms, rotor dynamics, computational mechanics, vibration and noise in machines, optimization of mechanisms and machines, mechanisms of textile machines, mechatronics to the control and monitoring systems of machines. This conference is traditionally organised every four year under the auspices of the international organisation IFToMM and the Czech Society for Mechanics.

This monograph studies optimization problems for rigid punches in elastic media and for high-speed penetration of rigid strikers into deformed elastoplastic, concrete, and composite media using variational calculations, tools from functional analysis, and stochastic and min-max (guaranteed) optimization approaches with incomplete data. The book presents analytical and numerical results developed by the authors during the last ten years.

Uncertainty Quantification (UQ) is a relatively new research area which describes the methods and approaches used to supply quantitative descriptions of the effects of uncertainty, variability and errors in simulation problems and models. It is rapidly becoming a field of increasing importance, with many real-world applications within statistics, mathematics, probability and engineering, but also within the natural sciences. Literature on the topic has up until now been largely based on polynomial chaos, which raises difficulties when considering different types of approximation and does not lead to a unified presentation of the methods. Moreover, this description does not consider either deterministic problems or infinite dimensional ones. This book gives a unified, practical and comprehensive presentation of the main techniques used for the characterization of the effect of uncertainty on numerical models and on their exploitation in numerical problems. In particular, applications to linear and nonlinear systems of equations, differential equations, optimization and reliability are presented. Applications of stochastic methods to deal with deterministic numerical problems are also discussed. Matlab (R) illustrates the implementation of these methods and makes the book suitable as a textbook and for self-study.

The goal of this book is to present Stochastic Calculus at an introductory level and not at its maximum mathematical detail. The author aims to capture as much as possible the spirit of elementary deterministic Calculus, at which students have been already exposed. This assumes a presentation that mimics similar properties of deterministic Calculus, which facilitates understanding of more complicated topics of Stochastic Calculus.

This book presents a collection of selected papers that represent the current variety of research on the teaching and learning of probability. The respective chapters address a diverse range of theoretical, empirical and practical aspects underpinning the teaching and learning of probability, curricular issues, probabilistic reasoning, misconceptions and biases, as well as their pedagogical implications. These chapters are divided into THREE main sections, dealing with: TEACHING PROBABILITY, STUDENTS' REASONING AND LEARNING AND EDUCATION OF TEACHERS. In brief, the papers presented here include research dealing with teachers and students at different levels and ages (from primary school to university) and address epistemological and curricular analysis, as well as the role of technology, simulations, language and visualisation in teaching and learning probability. As such, it offers essential information for teachers, researchers and curricular designers alike.

This book introduces the basic fundamentals, models, emulators and analyses of mem-elements in the circuit theory with applications. The book starts reviewing the literature on mem-elements, models and their recent applications. It presents mathematical models, numerical results, circuit simulations, and experimental results for double-loop hysteresis behavior of mem-elements. The authors introduce a generalized memristor model in the fractional-order domain under different input and different designs for emulator-based mem-elements, with circuit and experimental results. The basic concept of memristive-based relaxation-oscillators in the circuit theory is also covered. The reader will moreover find in this book information on memristor-based multi-level digital circuits, memristor-based multi-level multiplier and memcapacitor-based oscillators and synaptic circuits.

This work is concerned with combinatorial aspects arising in the theory of exactly solvable models and representation theory. Recent developments in integrable models reveal an unexpected link between representation theory and statistical mechanics through combinatorics. For example, Young tableaux, which describe the basis of irreducible representations, appear in the Bethe Ansatz method in quantum spin chains as labels for the eigenstates for Hamiltonians.

Taking into account the various criss-crossing among mathematical subject, Physical Combinatorics presents new results and exciting ideas from three viewpoints; representation theory, integrable models, and combinatorics.

This volume will be of interest to mathematical physicists and graduate students in the the above-mentioned fields.

Contributors to the volume: T.H. Baker, O. Foda, G. Hatayama, Y. Komori, A. Kuniba, T. Nakanishi, M. Okado, A. Schilling, J. Suzuki, T. Takagi, D. Uglov, O. Warnaar, T.A. Welsh, A. Zabrodin

This book offers a timely overview of fractional calculus applications, with a special emphasis on fractional derivatives with Mittag-Leffler kernel. The different contributions, written by applied mathematicians, physicists and engineers, offers a snapshot of recent research in the field, highlighting the current methodological frameworks together with applications in different fields of science and engineering, such as chemistry, mechanics, epidemiology and more. It is intended as a timely guide and source of inspiration for graduate students and researchers in the above-mentioned areas.

This book highlights the latest advances in engineering mathematics with a main focus on the mathematical models, structures, concepts, problems and computational methods and algorithms most relevant for applications in modern technologies and engineering. In particular, it features mathematical methods and models of applied analysis, probability theory, differential equations, tensor analysis and computational modelling used in applications to important problems concerning electromagnetics, antenna technologies, fluid dynamics, material and continuum physics and financial engineering. The individual chapters cover both theory and applications, and include a wealth of figures, schemes, algorithms, tables and results of data analysis and simulation. Presenting new methods and results, reviews of cutting-edge research, and open problems for future research, they equip readers to develop new mathematical methods and concepts of their own, and to further compare and analyse the methods and results discussed.The book consists of contributed chapters covering research developed as a result of a focused international seminar series on mathematics and applied mathematics and a series of three focused international research workshops on engineering mathematics organised by the Research Environment in Mathematics and Applied Mathematics at Malardalen University from autumn 2014 to autumn 2015: the International Workshop on Engineering Mathematics for Electromagnetics and Health Technology; the International Workshop on Engineering Mathematics, Algebra, Analysis and Electromagnetics; and the 1st Swedish-Estonian International Workshop on Engineering Mathematics, Algebra, Analysis and Applications.It serves as a source of inspiration for a broad spectrum of researchers and research students in applied mathematics, as well as in the areas of applications of mathematics considered in the book.

This book focuses on the theory of the Zakharov system in the context of plasma physics. It has been over 40 years since the system was first derived by V. E. Zakharov - and in the course of those decades, many innovative achievements with major impacts on other research fields have been made. The book represents a first attempt to highlight the mathematical theories that are most important to researchers, including the existence and unique problems, blow-up, low regularity, large time behavior and the singular limit. Rather than attempting to examine every aspect of the Zakharov system in detail, it provides an effective road map to help readers access the frontier of studies on this system.

This thesis presents the first isotope-shift measurement of bound-electron g-factors of highly charged ions and determines the most precise value of the electron mass in atomic mass units, which exceeds the value in the literature by a factor of 13. As the lightest fundamental massive particle, the electron is one of nature's few central building blocks. A precise knowledge of its intrinsic properties, such as its mass, is mandatory for the most accurate tests in physics - the Quantum Electrodynamics tests that describe one of the four established fundamental interactions in the universe. The underlying measurement principle combines a high-precision measurement of the Larmor-to-cyclotron frequency ratio on a single hydrogen-like carbon ion studied in a Penning trap with very accurate calculations of the so-called bound-electron g-factor. For the isotope-shift measurement, the bound-electron g-factors of two lithium-like calcium isotopes have been measured with relative uncertainties of a few 10^{-10}, constituting an as yet unrivaled level of precision for lithium-like ions.

This book introduces readers to one of the first methods developed for the numerical treatment of boundary value problems on polygonal and polyhedral meshes, which it subsequently analyzes and applies in various scenarios. The BEM-based finite element approaches employs implicitly defined trial functions, which are treated locally by means of boundary integral equations. A detailed construction of high-order approximation spaces is discussed and applied to uniform, adaptive and anisotropic polytopal meshes. The main benefits of these general discretizations are the flexible handling they offer for meshes, and their natural incorporation of hanging nodes. This can especially be seen in adaptive finite element strategies and when anisotropic meshes are used. Moreover, this approach allows for problem-adapted approximation spaces as presented for convection-dominated diffusion equations. All theoretical results and considerations discussed in the book are verified and illustrated by several numerical examples and experiments. Given its scope, the book will be of interest to mathematicians in the field of boundary value problems, engineers with a (mathematical) background in finite element methods, and advanced graduate students.

Parallel CFD 2000, the Twelfth in an International series of meetings featuring computational fluid dynamics research on parallel computers, was held May 22-25, 2000 in Trondheim, Norway.
Following the trend of the past conferences, areas such as numerical schemes and algorithms, tools and environments, load balancing, as well as interdisciplinary topics and various kinds of industrial applications were all well represented in the work presented. In addition, for the first time in the Parallel CFD conference series, the organizing committee chose to draw special attention to certain subject areas by organizing a number of special sessions.
We feel the emphasis of the papers presented at the conference reflect the direction of the research within parallel CFD at the beginning of the new millennium. It seems to be a clear tendency towards increased industrial exploitation of parallel CFD. Several presentations also demonstrated how new insight is being achieved from complex simulations, and how powerful parallel computers now make it possible to use CFD within a broader interdisciplinary setting.
Obviously, successful application of parallel CFD still rests on the underlying fundamental principles. Therefore, numerical algorithms, development tools, and parallelization techniques are still as important as when parallel CFD was in is infancy. Furthermore, the novel concepts of affordable parallel computing as well as metacomputing show that exciting developments are still taking place.
As is often pointed out however, the real power of parallel CFD comes from the combination of all the disciplines involved: Physics, mathematics, and computer science. This is probably one of the principal reasons for the continued popularity of the Parallel CFD Conferences series, as well as the inspiration behind much of the excellent work carried out on the subject. We hope that the papers in this book, both on an individual basis and as a whole, will contribute to that inspiration. Further details of Parallel CFD'99, as well as other conferences in this series, are available at http: //www.parcfd.org

During the last two decades, structural equation modelling (SEM) has emerged as a powerful multivariate data analysis tool in social science research settings, especially in the fields of sociology, psychology, and education. Social science researchers and students benefit greatly from acquiring knowledge and skills in SEM, since the methods can provide a bridge between the theoretical and empirical aspects of behavioural research. Ramlall explains in a rigorous, concise, and practical manner all the vital components embedded in structural equation modelling (SEM). Focusing on R and Stata to implement and perform various structural equation models, Ramlall examines the types, benefits, and drawbacks of SEM, delving into model specifications and identifications, fit evaluations, and path diagrams.

This book presents an upper level text on semilinear evolutionary partial differential equations aimed at the graduate and postgraduate level. Cazenave and Haraux present in a self-contained way, the typical basic properties of solutions to semi-linear evolutionary partial differential equations, with special emphasis on global properties. The main objective of this book is to provide a didactic approach to the subject , and the main readership will be graduate students in mathematical analysis, as well as professional applied mathematicians.

Including contributions from leading experts in the field, this book covers applications and developments of heuristic search methods for solving complex optimization problems. The book covers various local search strategies including genetic algorithms, simulated annealing, tabu search and hybrids thereof. These methods have proved extraordinarily successful by solving some of the most difficult, real-world problems. At the interface between Artificial Intelligence and Operational Research, research in this exciting area is progressing apace spurred on by the needs of industry and commerce. The introductory chapter provides a clear overview of the basic techniques and useful pointers to further reading and to current research. The second section of the book covers some of the most recent and exciting developments of the basic techniques, with suggestions not only for extending and improving these but also for hybridizing and incorporating automatic adaption. The third section contains a number of case studies, surveys and comparative studies which span a wide range of application areas ranging from the classic Steiner tree problem to more practical problems arising in telecommunications and data analysis. The coverage of the latest research and the illustrative case studies will ensure that the book is invaluable for researchers and professionals with an interest in heuristic search methods.

This book covers original research and the latest advances in symbolic, algebraic and geometric computation; computational methods for differential and difference equations, symbolic-numerical computation; mathematics software design and implementation; and scientific and engineering applications based on features, invited talks, special sessions and contributed papers presented at the 9th (in Fukuoka, Japan in 2009) and 10th (in Beijing China in 2012) Asian Symposium on Computer Mathematics (ASCM). Thirty selected and refereed articles in the book present the conference participants' ideas and views on researching mathematics using computers.

This textbook intends to be a comprehensive and substantially self-contained two-volume book covering performance, reliability, and availability evaluation subjects. The volumes focus on computing systems, although the methods may also be applied to other systems. The first volume covers Chapter 1 to Chapter 14, whose subtitle is ``Performance Modeling and Background". The second volume encompasses Chapter 15 to Chapter 25 and has the subtitle ``Reliability and Availability Modeling, Measuring and Workload, and Lifetime Data Analysis". This text is helpful for computer performance professionals for supporting planning, design, configuring, and tuning the performance, reliability, and availability of computing systems. Such professionals may use these volumes to get acquainted with specific subjects by looking at the particular chapters. Many examples in the textbook on computing systems will help them understand the concepts covered in each chapter. The text may also be helpful for the instructor who teaches performance, reliability, and availability evaluation subjects. Many possible threads could be configured according to the interest of the audience and the duration of the course. Chapter 1 presents a good number of possible courses programs that could be organized using this text.

Computational Methods and Experimental Measurements XIX In its 19th year the International Conference on Computational Methods and Experimental Measurements continues to provide highest quality research which forms this book. This volume examines a wide variety of topics related to new experimental and computational methods. The continuous improvement in computer efficiency, coupled with diminishing costs and the rapid development of numerical procedures have generated an ever-increasing expansion of computational simulations that permeate all fields of science and technology. As these procedures continue to grow in magnitude and complexity, it is essential to validate their results to be certain of their reliability. This can be achieved by performing dedicated and accurate experiments, which have undergone a constant and enormous development. At the same time, current experimental techniques have become more complex and sophisticated so that they require the intensive use of computers, both for running experiments as well as acquiring and processing the resulting data. Some of the subject areas covered are: Computational and experimental methods; Fluid flow; Structural and stress analysis; Electromagnetic problems; Structural integrity; Destructive and non-destructive testing; Heat transfer and thermal processes; Advances in computational methods; Automotive and Aerospace applications; Applications in industry; Ocean engineering and marine structures; Fluid structure interaction; Bio-electromagnetics; Hybrid methods; Process simulations; Validation of computer modelling; Virtual testing and verification; Simulation and forecasting; Measurements in engineering. Earthquake Resistant Engineering Structures XII Major earthquakes and associated effects continue to stress the need to carry out more research and a better understanding of these phenomena in order to design earthquake resistant buildings and to carry out risk assessments. This volume combines the latest leading research as presented on the 12th edition of the ERES conference. As the world's population has concentrated in urban areas resulting in buildings in regions of high seismic vulnerability, we have seen the consequences of natural disasters take an ever higher toll on human existence. Protecting the built environment in earthquake-prone regions involves not only the optimal design and construction of new facilities, but also the upgrading and rehabilitation of existing structures including heritage buildings. The type of highly specialized retrofitting employed to protect the built heritage is an important area of research. The research papers included in this volume cover: Seismic isolation and energy dissipation; Building performance during earthquakes; Numerical analysis; Performance based design; Experimental studies; Seismic hazards and tsunamis; Safety engineering; Liquefaction; Innovative technologies; Paraseismic devices and Lifelines and resilience.

This thesis describes the stand-alone discovery and measurement of the Higgs boson in its decays to two W bosons using the Run-I ATLAS dataset. This is the most precise measurement of gluon-fusion Higgs boson production and is among the most significant results attained at the LHC. The thesis provides an exceptionally clear exposition on a complicated analysis performed by a large team of researchers. Aspects of the analysis performed by the author are explained in detail; these include new methods for evaluating uncertainties on the jet binning used in the analysis and for estimating the background due to associated production of a W boson and an off-shell photon. The thesis also describes a measurement of the WW cross section, an essential background to Higgs boson production. The primary motivation of the LHC was to prove or disprove the existence of the Higgs boson. In 2012, CERN announced this discovery and the resultant ATLAS publication contained three decay channels: gg, ZZ, and WW.

To ensure the security and economy of future power system operation in the context of a high degree of renewable energy penetration, this thesis proposes a new distributed algorithm called generalized master-slave-splitting (G-MSS) theory and a new transmission-distribution coordinated energy management (TDCEM) method that is based on the G-MSS theory. The thesis studies the mathematical properties of the G-MSS theory in detail. Based on the G-MSS theory, a distributed TDCEM method - which involves distributed security analysis, distributed voltage stability analysis, distributed economic dispatch and distributed optimal power flow for an integrated transmission-distribution system - is then developed for the first time. The thesis demonstrates that the proposed TDCEM method significantly contributes to more reliable and optimal operation in power systems. The book will benefit researchers, scientists and engineers in the field of power system operation and optimization.

This book contains the elaborated and updated versions of the 24 lectures given at the 43rd Saas-Fee Advanced Course. Written by four eminent scientists in the field, the book reviews the physical processes related to star formation, starting from cosmological down to galactic scales. It presents a detailed description of the interstellar medium and its link with the star formation. And it describes the main numerical computational techniques designed to solve the equations governing self-gravitating fluids used for modelling of galactic and extra-galactic systems. This book provides a unique framework which is needed to develop and improve the simulation techniques designed for understanding the formation and evolution of galaxies. Presented in an accessible manner it contains the present day state of knowledge of the field. It serves as an entry point and key reference to students and researchers in astronomy, cosmology, and physics.

This thesis develops a nested sampling algorithm into a black box tool for directly calculating the partition function, and thus the complete phase diagram of a material, from the interatomic potential energy function. It represents a significant step forward in our ability to accurately describe the finite temperature properties of materials. In principle, the macroscopic phases of matter are related to the microscopic interactions of atoms by statistical mechanics and the partition function. In practice, direct calculation of the partition function has proved infeasible for realistic models of atomic interactions, even with modern atomistic simulation methods. The thesis also shows how the output of nested sampling calculations can be processed to calculate the complete PVT (pressure-volume-temperature) equation of state for a material, and applies the nested sampling algorithm to calculate the pressure-temperature phase diagrams of aluminium and a model binary alloy.