This book presents the mathematical background underlying security modeling in the context of next-generation cryptography. By introducing new mathematical results in order to strengthen information security, while simultaneously presenting fresh insights and developing the respective areas of mathematics, it is the first-ever book to focus on areas that have not yet been fully exploited for cryptographic applications such as representation theory and mathematical physics, among others. Recent advances in cryptanalysis, brought about in particular by quantum computation and physical attacks on cryptographic devices, such as side-channel analysis or power analysis, have revealed the growing security risks for state-of-the-art cryptographic schemes. To address these risks, high-performance, next-generation cryptosystems must be studied, which requires the further development of the mathematical background of modern cryptography. More specifically, in order to avoid the security risks posed by adversaries with advanced attack capabilities, cryptosystems must be upgraded, which in turn relies on a wide range of mathematical theories. This book is suitable for use in an advanced graduate course in mathematical cryptography, while also offering a valuable reference guide for experts.

This work gathers a selection of outstanding papers presented at the 25th Conference on Differential Equations and Applications / 15th Conference on Applied Mathematics, held in Cartagena, Spain, in June 2017. It supports further research into both ordinary and partial differential equations, numerical analysis, dynamical systems, control and optimization, trending topics in numerical linear algebra, and the applications of mathematics to industry. The book includes 14 peer-reviewed contributions and mainly addresses researchers interested in the applications of mathematics, especially in science and engineering. It will also greatly benefit PhD students in applied mathematics, engineering and physics.

This open access book covers all facets of entity-oriented search-where "search" can be interpreted in the broadest sense of information access-from a unified point of view, and provides a coherent and comprehensive overview of the state of the art. It represents the first synthesis of research in this broad and rapidly developing area. Selected topics are discussed in-depth, the goal being to establish fundamental techniques and methods as a basis for future research and development. Additional topics are treated at a survey level only, containing numerous pointers to the relevant literature. A roadmap for future research, based on open issues and challenges identified along the way, rounds out the book. The book is divided into three main parts, sandwiched between introductory and concluding chapters. The first two chapters introduce readers to the basic concepts, provide an overview of entity-oriented search tasks, and present the various types and sources of data that will be used throughout the book. Part I deals with the core task of entity ranking: given a textual query, possibly enriched with additional elements or structural hints, return a ranked list of entities. This core task is examined in a number of different variants, using both structured and unstructured data collections, and numerous query formulations. In turn, Part II is devoted to the role of entities in bridging unstructured and structured data. Part III explores how entities can enable search engines to understand the concepts, meaning, and intent behind the query that the user enters into the search box, and how they can provide rich and focused responses (as opposed to merely a list of documents)-a process known as semantic search. The final chapter concludes the book by discussing the limitations of current approaches, and suggesting directions for future research. Researchers and graduate students are the primary target audience of this book. A general background in information retrieval is sufficient to follow the material, including an understanding of basic probability and statistics concepts as well as a basic knowledge of machine learning concepts and supervised learning algorithms.

How can we solve engineering problems while taking into account data characterized by different types of measurement and estimation uncertainty: interval, probabilistic, fuzzy, etc.? This book provides a theoretical basis for arriving at such solutions, as well as case studies demonstrating how these theoretical ideas can be translated into practical applications in the geosciences, pavement engineering, etc. In all these developments, the authors' objectives were to provide accurate estimates of the resulting uncertainty; to offer solutions that require reasonably short computation times; to offer content that is accessible for engineers; and to be sufficiently general - so that readers can use the book for many different problems. The authors also describe how to make decisions under different types of uncertainty. The book offers a valuable resource for all practical engineers interested in better ways of gauging uncertainty, for students eager to learn and apply the new techniques, and for researchers interested in processing heterogeneous uncertainty.

This book presents problems and solutions in calculus with curvilinear coordinates. Vector analysis can be performed in different coordinate systems, an optimal system considers the symmetry of the problem in order to reduce calculatory difficulty. The book presents the material in arbitrary orthogonal coordinates, and includes the discussion of parametrization methods as well as topics such as potential theory and integral theorems. The target audience primarily comprises university teachers in engineering mathematics, but the book may also be beneficial for advanced undergraduate and graduate students alike.

This book focuses on the recent development of methodologies and computation methods in mathematical and statistical modelling, computational science and applied mathematics. It emphasizes the development of theories and applications, and promotes interdisciplinary endeavour among mathematicians, statisticians, scientists, engineers and researchers from other disciplines. The book provides ideas, methods and tools in mathematical and statistical modelling that have been developed for a wide range of research fields, including medical, health sciences, biology, environmental science, engineering, physics and chemistry, finance, economics and social sciences. It presents original results addressing real-world problems. The contributions are products of a highly successful meeting held in August 2017 on the main campus of Wilfrid Laurier University, in Waterloo, Canada, the International Conference on Applied Mathematics, Modeling and Computational Science (AMMCS-2017). They make this book a valuable resource for readers interested not only in a broader overview of the methods, ideas and tools in mathematical and statistical approaches, but also in how they can attain valuable insights into problems arising in other disciplines.

This book is intended to make recent results on the derivation of higher order numerical schemes for random ordinary differential equations (RODEs) available to a broader readership, and to familiarize readers with RODEs themselves as well as the closely associated theory of random dynamical systems. In addition, it demonstrates how RODEs are being used in the biological sciences, where non-Gaussian and bounded noise are often more realistic than the Gaussian white noise in stochastic differential equations (SODEs). RODEs are used in many important applications and play a fundamental role in the theory of random dynamical systems. They can be analyzed pathwise with deterministic calculus, but require further treatment beyond that of classical ODE theory due to the lack of smoothness in their time variable. Although classical numerical schemes for ODEs can be used pathwise for RODEs, they rarely attain their traditional order since the solutions of RODEs do not have sufficient smoothness to have Taylor expansions in the usual sense. However, Taylor-like expansions can be derived for RODEs using an iterated application of the appropriate chain rule in integral form, and represent the starting point for the systematic derivation of consistent higher order numerical schemes for RODEs. The book is directed at a wide range of readers in applied and computational mathematics and related areas as well as readers who are interested in the applications of mathematical models involving random effects, in particular in the biological sciences.The level of this book is suitable for graduate students in applied mathematics and related areas, computational sciences and systems biology. A basic knowledge of ordinary differential equations and numerical analysis is required.

Cities have always played a prominent role in the prosperity of civilization. Indeed, every great civilization we can think of is associated with the prominence of one or more thriving cities. And so understanding cities -- their inhabitants, their institutions, their infrastructure -- what they are and how they work independently and together -- is of fundamental importance to our collective growth as a human civilization. Furthermore, the 21st century "smart" city, as a result global climate change and large-scale urbanization, will emerge as a societal grand challenge. This book focuses on the role of interdependent infrastructure systems in such smart cities especially as it relates to timely and poignant questions about resilience and sustainability. In particular, the goal of this book is to present, in one volume, a consistent Hetero-Functional Graph Theoretic (HFGT) treatment of interdependent smart city infrastructures as an overarching application domain of engineering systems. This work may be contrasted to the growing literature on multi-layer networks, which despite significant theoretical advances in recent years, has modeling limitations that prevent their real-world application to interdependent smart city infrastructures of arbitrary topology. In contrast, this book demonstrates that HFGT can be applied extensibly to an arbitrary number of arbitrarily connected topologies of interdependent smart city infrastructures. It also integrates, for the first time, all six matrices of HFGT in a single system adjacency matrix. The book makes every effort to be accessible to a broad audience of infrastructure system practitioners and researchers (e.g. electric power system planners, transportation engineers, and hydrologists, etc.). Consequently, the book has extensively visualized the graph theoretic concepts for greater intuition and clarity. Nevertheless, the book does require a common methodological base of its readers and directs itself to the Model-Based Systems Engineering (MBSE) community and the Network Science Community (NSC). To the MBSE community, we hope that HFGT will be accepted as a quantification of many of the structural concepts found in model-based systems engineering languages like SysML. To the NSC, we hope to present a new view as how to construct graphs with fundamentally different meaning and insight. Finally, it is our hope that HFGT serves to overcome many of the theoretical and modeling limitations that have hindered our ability to systematically understand the structure and function of smart cities.

This book presents cutting-edge developments in the advanced mathematical theories utilized in computer graphics research - fluid simulation, realistic image synthesis, and texture, visualization and digital fabrication. A spin-off book from the International Symposium on Mathematical Progress in Expressive Image Synthesis in 2016 and 2017 (MEIS2016/2017) held in Fukuoka, Japan, it includes lecture notes and an expert introduction to the latest research presented at the symposium. The book offers an overview of the emerging interdisciplinary themes between computer graphics and driven mathematic theories, such as discrete differential geometry. Further, it highlights open problems in those themes, making it a valuable resource not only for researchers, but also for graduate students interested in computer graphics and mathematics.

In this book international expert authors provide solutions for modern fundamental problems including the complexity of computing of critical points for set-valued mappings, the behaviour of solutions of ordinary differential equations, partial differential equations and difference equations, or the development of an abstract theory of global attractors for multi-valued impulsive dynamical systems. These abstract mathematical approaches are applied to problem-solving in solid mechanics, hydro- and aerodynamics, optimization, decision making theory and control theory. This volume is therefore relevant to mathematicians as well as engineers working at the interface of these fields.

This book provides practical applications of doubly classified models by using R syntax to generate the models. It also presents these models in symbolic tables so as to cater to those who are not mathematically inclined, while numerous examples throughout the book illustrate the concepts and their applications. For those who are not aware of this modeling approach, it serves as a good starting point to acquire a basic understanding of doubly classified models. It is also a valuable resource for academics, postgraduate students, undergraduates, data analysts and researchers who are interested in examining square contingency tables.

This book presents the latest findings on train operation theories and methods in the context of emergencies. It examines and assesses a range of aspects-including the definition of a railway emergency, transport organization modes in emergencies, calculating railway transport capacity in emergencies, line planning in emergencies, train re-pathing in emergencies and train re-scheduling in emergencies-that are urgently needed in the railway transportation field, which faces the serious challenge of dealing with emergencies worldwide. The book highlights the latest research results in an integrated and systematic way, and the methodology presented is oriented on real-world problems, allowing it to be used not only directly in railway operational management, but also as the point of departure for further applications or theoretical research. As such, the book will be of considerable interest to graduate students and researchers in the field of traffic and transportation engineering.>

This book focuses on the electromagnetic and thermal modeling and analysis of electrical machines, especially canned electrical machines for hydraulic pump applications. It addresses both the principles and engineering practice, with more weight placed on mathematical modeling and theoretical analysis. This is achieved by providing in-depth studies on a number of major topics such as: can shield effect analysis, machine geometry optimization, control analysis, thermal and electromagnetic network models, magneto motive force modeling, and spatial magnetic field modeling. For the can shield effect analysis, several cases are studied in detail, including classical canned induction machines, as well as state-of-the-art canned permanent magnet machines and switched reluctance machines. The comprehensive and systematic treatment of the can effect for canned electrical machines is one of the major features of this book, which is particularly suited for readers who are interested in learning about electrical machines, especially for hydraulic pumping, deep-sea exploration, mining and the nuclear power industry. The book offers a valuable resource for researchers, engineers, and graduate students in the fields of electrical machines, magnetic and thermal engineering, etc.

The International Conference on Engineering Research and Applications (ICERA 2018), which took place at Thai Nguyen University of Technology, Thai Nguyen, Vietnam on December 1-2, 2018, provided an international forum to disseminate information on latest theories and practices in engineering research and applications. The conference focused on original research work in areas including Mechanical Engineering, Materials and Mechanics of Materials, Mechatronics and Micro Mechatronics, Automotive Engineering, Electrical and Electronics Engineering, Information and Communication Technology. By disseminating the latest advances in the field, The Proceedings of ICERA 2018, Advances in Engineering Research and Application, helps academics and professionals alike to reshape their thinking on sustainable development.

This book presents recent research in the field of interaction between computational intelligence and mathematics. In the current technological age, we face the challenges of tackling very complex problems - in the usual sense, but also in the mathematical and theoretical computer science sense. However, even the most up-to-date results in mathematics, are unable to provide exact solutions of such problems, and no further technical advances will ever make it possible to find general and exact solutions. Constantly developing technologies (including social technologies) necessitate handling very complex problems. This has led to a search for acceptably "good" or precise solutions, which can be achieved by the combination of traditional mathematical techniques and computational intelligence tools, in order to solve the various problems emerging in many different areas to a satisfactory degree. Important funding programs, such as the European Commission's current framework programme for research and innovation - Horizon 2020 - are devoted to the development of new instruments to deal with the current challenges. Without doubt, research topics associated with the interactions between computational intelligence and traditional mathematics play a key role. Presenting contributions from engineers, scientists and mathematicians, this book offers a series of novel solutions for meaningful and real-world problems that connect those research areas.

This book discusses topics related to the topological structure and biological function of gene networks regulated by microRNAs. It focuses on analyzing the relation between topological structure and biological function, applying these theoretical results to gene networks involving microRNA, illustrating their biological mechanisms, and identifying the roles of microRNA in controlling various phenomena emerging from the networks. In addition, the book explains how to control the complex biological phenomena using mathematical tools and offers a new perspective on studying microRNA. It is a useful resource for graduate students and researchers who are working on or interested in microRNAs and gene network.

The conference proceeding LNCS 11346 constitutes the refereed proceedings of the 12th International Conference on Combinatorial Optimization and Applications, COCOA 2018, held in Atlanta, GA, USA, in December 2018. The 50 full papers presented were carefully reviewed and selected from 106 submissions. The papers cover most aspects of t graph algorithms, routing and network design problems, scheduling algorithms, network optimization, combinatorial algorithms, approximation algorithms, paths and connectivity problems and much more.

This book presents a comprehensive overview of fundamental issues and recent advances in graph data management. Its aim is to provide beginning researchers in the area of graph data management, or in fields that require graph data management, an overview of the latest developments in this area, both in applied and in fundamental subdomains. The topics covered range from a general introduction to graph data management, to more specialized topics like graph visualization, flexible queries of graph data, parallel processing, and benchmarking. The book will help researchers put their work in perspective and show them which types of tools, techniques and technologies are available, which ones could best suit their needs, and where there are still open issues and future research directions. The chapters are contributed by leading experts in the relevant areas, presenting a coherent overview of the state of the art in the field. Readers should have a basic knowledge of data management techniques as they are taught in computer science MSc programs.

This book presents, in a uniform way, several problems in applied mechanics, which are analysed using the matrix theory and the properties of eigenvalues and eigenvectors. It reveals that various problems and studies in mechanical engineering produce certain patterns that can be treated in a similar way. Accordingly, the same mathematical apparatus allows us to study not only mathematical structures such as quadratic forms, but also mechanics problems such as multibody rigid mechanics, continuum mechanics, vibrations, elastic and dynamic stability, and dynamic systems. In addition, the book explores a wealth of engineering applications.

This advanced textbook introduces the main concepts and advances in systems and control theory, and highlights the importance of geometric ideas in the context of possible extensions to the more recent developments in nonlinear systems theory. Although inspired by engineering applications, the content is presented within a strong theoretical framework and with a solid mathematical background, and the reference models are always finite dimensional, time-invariant multivariable linear systems. The book focuses on the time domain approach, but also considers the frequency domain approach, discussing the relationship between the two approaches, especially for single-input-single-output systems. It includes topics not usually addressed in similar books, such as a comparison between the frequency domain and the time domain approaches, bounded input bounded output stability (including a characterization in terms of canonical decomposition), and static output feedback stabilization for which a simple and original criterion in terms of generalized inverse matrices is proposed. The book is an ideal learning resource for graduate students of control theory and automatic control courses in engineering and mathematics, as well as a reference or self-study guide for engineers and applied mathematicians.

This book focuses on the recent development of methodologies and computation methods in mathematical and statistical modelling, computational science and applied mathematics. It emphasizes the development of theories and applications, and promotes interdisciplinary endeavour among mathematicians, statisticians, scientists, engineers and researchers from other disciplines. The book provides ideas, methods and tools in mathematical and statistical modelling that have been developed for a wide range of research fields, including medical, health sciences, biology, environmental science, engineering, physics and chemistry, finance, economics and social sciences. It presents original results addressing real-world problems. The contributions are products of a highly successful meeting held in August 2017 on the main campus of Wilfrid Laurier University, in Waterloo, Canada, the International Conference on Applied Mathematics, Modeling and Computational Science (AMMCS-2017). They make this book a valuable resource for readers interested not only in a broader overview of the methods, ideas and tools in mathematical and statistical approaches, but also in how they can attain valuable insights into problems arising in other disciplines.

This introductory textbook explains the concepts and methods of data and error analysis needed for laboratory experiment write-ups, especially physics and engineering experiments. The book contains the material needed for beginning students, e.g., first year university students, college students (enrolled on a certificate or diploma course) and even A-level students. Nevertheless, it also covers the required material for higher year university laboratories, including the final year. Only essential concepts and methods needed for the day-to-day performance of experiments and their subsequent analysis and presentation are included and, at the same time, presented as simply as possible. Non-essential detail is avoided. Chapter five is a stand-alone introduction to probability and statistics aimed at providing a theoretical background to the data and error analysis chapters one to four. Computer methods are introduced in Chapter six. The author hopes this book will serve as a constant reference.

This volume gathers contributions from participants of the Introductory School and the IHP thematic quarter on Numerical Methods for PDE, held in 2016 in Cargese (Corsica) and Paris, providing an opportunity to disseminate the latest results and envisage fresh challenges in traditional and new application fields. Numerical analysis applied to the approximate solution of PDEs is a key discipline in applied mathematics, and over the last few years, several new paradigms have appeared, leading to entire new families of discretization methods and solution algorithms. This book is intended for researchers in the field.

This edited volume on challenges in structural and bridge engineering brings together contributions to this important area of engineering research. The volume presents findings and case studies on fundamental and applied aspects of structural engineering, applied to buildings, bridges and infrastructures in general, and heritage patrimony. The scope of the volume focuses on the application of advanced experimental and numerical techniques and new technologies to the built environment. The volume is based on the best contributions to the 2nd GeoMEast International Congress and Exhibition on Sustainable Civil Infrastructures, Egypt 2018 - The official international congress of the Soil-Structure Interaction Group in Egypt (SSIGE).

This book contains three well-written research tutorials that inform the graduate reader about the forefront of current research in multi-agent optimization. These tutorials cover topics that have not yet found their way in standard books and offer the reader the unique opportunity to be guided by major researchers in the respective fields. Multi-agent optimization, lying at the intersection of classical optimization, game theory, and variational inequality theory, is at the forefront of modern optimization and has recently undergone a dramatic development. It seems timely to provide an overview that describes in detail ongoing research and important trends. This book concentrates on Distributed Optimization over Networks; Differential Variational Inequalities; and Advanced Decomposition Algorithms for Multi-agent Systems. This book will appeal to both mathematicians and mathematically oriented engineers and will be the source of inspiration for PhD students and researchers.