This book constitutes the refereed proceedings of the 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, held in Milan, Italy, in March 2015. The 11 full papers presented together with 5 short papers were carefully reviewed and selected from 41 submissions. The symposium features the following topics: formal methods; cloud passwords; machine learning; measuremen…
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. It addresses mathematical methods of algebra, applied matrix analysis, operator analysis, probability theory and stochastic processes, geome…
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 …
The present volume provides a fascinating overview of geometrical ideas and perceptions from the earliest cultures to the mathematical and artistic concepts of the 20th century. It is the English translation of the 3rd edition of the well-received German book “5000 Jahre Geometrie,” in which geometry is presented as a chain of developments in cultural history and their interaction with arch…
Paul M. Geffert analyses the interplay of noise and time delay in non-excitable nonlinear systems and the modulation of stochastic effects. In particular, the author studies coherence resonance, which is a constructive effect of noise that occurs in nonlinear systems, and demonstrates that it can be modulated by time-delayed feedback. Analytical methods for the investigation of stochastic delay…
This book describes a large number of open problems in the theory of stochastic neural systems, with the aim of enticing probabilists to work on them. This includes problems arising from stochastic models of individual neurons as well as those arising from stochastic models of the activities of small and large networks of interconnected neurons. The necessary neuroscience background to these p…
This volume presents the results of Computational Fluid Dynamics (CFD) analysis that can be used for conceptual studies of product design, detail product development, process troubleshooting. It demonstrates the benefit of CFD modeling as a cost saving, timely, safe and easy to scale-up methodology.
This book is devoted to current advances in the field of nonlinear mathematical physics and modeling of critical phenomena that can lead to catastrophic events. Pursuing a multidisciplinary approach, it gathers the work of scientists who are developing mathematical and computational methods for the study and analysis of nonlinear phenomena and who are working actively to apply these tools and c…
This work presents a series of experiments with ultracold one-dimensional Bose gases, which establish said gases as an ideal model system for exploring a wide range of non-equilibrium phenomena. With the help of newly developed tools, like full distributions functions and phase correlation functions, the book reveals the emergence of thermal-like transient states, the light-cone-like emergence …
The purpose of these notes is to provide an introduction to the Malliavin calculus and its recent application to quantitative results in normal approximations, in combination with Stein’s method. The basic differential operators of the Malliavin calculus and their main properties are presented. We explain the connection of these operators with the Wiener chaos expansion and the Ornstein-Uh…