Advances in Computer Science for Engineering and Education III


Book Description

This book comprises high-quality refereed research papers presented at the Third International Conference on Computer Science, Engineering and Education Applications (ICCSEEA2020), held in Kyiv, Ukraine, on 21–22 January 2020, organized jointly by National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute”, National Aviation University, and the International Research Association of Modern Education and Computer Science. The topics discussed in the book include state-of-the-art papers in computer science, artificial intelligence, engineering techniques, genetic coding systems, deep learning with its medical applications, and knowledge representation with its applications in education. It is an excellent source of references for researchers, graduate students, engineers, management practitioners, and undergraduate students interested in computer science and their applications in engineering and education.







IUTAM Symposium on Solver-Coupling and Co-Simulation


Book Description

This is the Proceedings of the IUTAM Symposium on Solver Coupling and Co-Simulation that was held in Darmstadt, Germany, September 18-20, 2017. The symposium focused on recent advances in the development of numerical methods for solver coupling, like new explicit, implicit and semi-implicit co-simulation methods, new approaches for realizing variable communication-time grids, and advances in the stability and convergence analysis of solver coupling methods. Recent developments in the practical application of co-simulation methods, for instance new fields of application for solver coupling approaches, new developments in the parallelization of dynamic models with co-simulation techniques, and standardization of co-simulation interfaces, i.e. standardization of data and model exchange were also discussed. The book brings together the research results of leading scientists in applied mathematics, mechanics, and engineering science, thus contributing to further develop numerical methods for coupled simulations.




Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems


Book Description

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.







Foundations of Discrete Mathematics with Algorithms and Programming


Book Description

Discrete Mathematics has permeated the whole of mathematics so much so it has now come to be taught even at the high school level. This book presents the basics of Discrete Mathematics and its applications to day-to-day problems in several areas. This book is intended for undergraduate students of Computer Science, Mathematics and Engineering. A number of examples have been given to enhance the understanding of concepts. The programming languages used are Pascal and C.




Python for Finance


Book Description

The financial industry has recently adopted Python at a tremendous rate, with some of the largest investment banks and hedge funds using it to build core trading and risk management systems. Updated for Python 3, the second edition of this hands-on book helps you get started with the language, guiding developers and quantitative analysts through Python libraries and tools for building financial applications and interactive financial analytics. Using practical examples throughout the book, author Yves Hilpisch also shows you how to develop a full-fledged framework for Monte Carlo simulation-based derivatives and risk analytics, based on a large, realistic case study. Much of the book uses interactive IPython Notebooks.




Interpolatory Methods for Model Reduction


Book Description

Dynamical systems are a principal tool in the modeling, prediction, and control of a wide range of complex phenomena. As the need for improved accuracy leads to larger and more complex dynamical systems, direct simulation often becomes the only available strategy for accurate prediction or control, inevitably creating a considerable burden on computational resources. This is the main context where one considers model reduction, seeking to replace large systems of coupled differential and algebraic equations that constitute high fidelity system models with substantially fewer equations that are crafted to control the loss of fidelity that order reduction may induce in the system response. Interpolatory methods are among the most widely used model reduction techniques, and Interpolatory Methods for Model Reduction is the first comprehensive analysis of this approach available in a single, extensive resource. It introduces state-of-the-art methods reflecting significant developments over the past two decades, covering both classical projection frameworks for model reduction and data-driven, nonintrusive frameworks. This textbook is appropriate for a wide audience of engineers and other scientists working in the general areas of large-scale dynamical systems and data-driven modeling of dynamics.




Fivefold Symmetry


Book Description

Fivefold symmetry is common in flowers, fruits, molecules, logos, and buildings, but it is a forbidden symmetry in the world of crystals. A few years ago, the so-called quasicrystals were discovered displaying fivefold symmetry, and it caused a minirevolution in crystallography. There has been increased awareness of fivefold symmetry in all domains of human interest ever since. The present book brings together authors and ideas on a common theme from mathematics, the sciences, design, and anthropology to history, literature, and the arts. Its 29 chapters are an offering by scientists and humanists from 13 countries to a broad readership of professionals and laypersons about fivefold symmetry and the areas that are being bridged by this unique concept.




Surveys in Differential-Algebraic Equations IV


Book Description

The present volume comprises survey articles on various fields of Differential-Algebraic Equations (DAEs) which have widespread applications in controlled dynamical systems, especially in mechanical and electrical engineering and a strong relation to (ordinary) differential equations. The individual chapters provide reviews, presentations of the current state of research and new concepts in - History of DAEs - DAE aspects of mechanical multibody systems - Model reduction of DAEs - Observability for DAEs - Numerical Analysis for DAEs The results are presented in an accessible style, making this book suitable not only for active researchers but also for graduate students (with a good knowledge of the basic principles of DAEs) for self-study.