You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
None
At present, concerning intensive development of computer hardware and software, computer-based methods for modeling of difficult problems have become the main technique for theoretical and applied investigations. Many unsolved tasks for evolutionary systems (ES) are an important class of such problems. ES relate to economic systems on the whole and separate branches and businesses, scientific and art centers, ecological systems, populations, separate species of animals and plants, human organisms, different subsystems of organisms, cells of animals and plants, and soon. Available methods for modeling of complex systems have received considerable attention and led to significant results. No l...
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007. The 14 revised full papers presented were carefully selected and are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.
None
This monograph presents a modern treatment of (1) stochastic differential equations and (2) diffusion and jump-diffusion processes. The simultaneous treatment of diffusion processes and jump processes in this book is unique: Each chapter starts from continuous processes and then proceeds to processes with jumps.In the first part of the book, it is shown that solutions of stochastic differential equations define stochastic flows of diffeomorphisms. Then, the relation between stochastic flows and heat equations is discussed. The latter part investigates fundamental solutions of these heat equations (heat kernels) through the study of the Malliavin calculus. The author obtains smooth densities for transition functions of various types of diffusions and jump-diffusions and shows that these density functions are fundamental solutions for various types of heat equations and backward heat equations. Thus, in this book fundamental solutions for heat equations and backward heat equations are constructed independently of the theory of partial differential equations.Researchers and graduate student in probability theory will find this book very useful.
This monograph presents necessary and sufficient conditions for completeness of the linear span of eigenvectors and generalized eigenvectors of operators that admit a characteristic matrix function in a Banach space setting. Classical conditions for completeness based on the theory of entire functions are further developed for this specific class of operators. The classes of bounded operators that are investigated include trace class and Hilbert-Schmidt operators, finite rank perturbations of Volterra operators, infinite Leslie operators, discrete semi-separable operators, integral operators with semi-separable kernels, and period maps corresponding to delay differential equations. The classes of unbounded operators that are investigated appear in a natural way in the study of infinite dimensional dynamical systems such as mixed type functional differential equations, age-dependent population dynamics, and in the analysis of the Markov semigroup connected to the recently introduced zig-zag process.
This is the second volume of a two-volume graduate text in set theory. The first volume covered the basics of modern set theory and was addressed primarily to beginning graduate students. The second volume is intended as a bridge between introductory set theory courses such as the first volume and advanced monographs that cover selected branches of set theory. The authors give short but rigorous introductions to set-theoretic concepts and techniques such as trees, partition calculus, cardinal invariants of the continuum, Martin's Axiom, closed unbounded and stationary sets, the Diamond Principle, and the use of elementary submodels. Great care is taken to motivate concepts and theorems presented.