Theory of Random Sets

Theory of Random Sets

Author: Ilya Molchanov

Publisher: Springer Science & Business Media

Published: 2005-11-28

Total Pages: 501

ISBN-13: 1846281504

DOWNLOAD EBOOK

This is the first systematic exposition of random sets theory since Matheron (1975), with full proofs, exhaustive bibliographies and literature notes Interdisciplinary connections and applications of random sets are emphasized throughout the book An extensive bibliography in the book is available on the Web at http://liinwww.ira.uka.de/bibliography/math/random.closed.sets.html, and is accompanied by a search engine


All About Maude - A High-Performance Logical Framework

All About Maude - A High-Performance Logical Framework

Author: Manuel Clavel

Publisher: Springer

Published: 2007-07-19

Total Pages: 799

ISBN-13: 3540719997

DOWNLOAD EBOOK

Maude is a language and system based on rewriting logic. In this comprehensive account, you’ll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude.


Matrix and Tensor Factorization Techniques for Recommender Systems

Matrix and Tensor Factorization Techniques for Recommender Systems

Author: Panagiotis Symeonidis

Publisher: Springer

Published: 2017-01-29

Total Pages: 101

ISBN-13: 3319413570

DOWNLOAD EBOOK

This book presents the algorithms used to provide recommendations by exploiting matrix factorization and tensor decomposition techniques. It highlights well-known decomposition methods for recommender systems, such as Singular Value Decomposition (SVD), UV-decomposition, Non-negative Matrix Factorization (NMF), etc. and describes in detail the pros and cons of each method for matrices and tensors. This book provides a detailed theoretical mathematical background of matrix/tensor factorization techniques and a step-by-step analysis of each method on the basis of an integrated toy example that runs throughout all its chapters and helps the reader to understand the key differences among methods. It also contains two chapters, where different matrix and tensor methods are compared experimentally on real data sets, such as Epinions, GeoSocialRec, Last.fm, BibSonomy, etc. and provides further insights into the advantages and disadvantages of each method. The book offers a rich blend of theory and practice, making it suitable for students, researchers and practitioners interested in both recommenders and factorization methods. Lecturers can also use it for classes on data mining, recommender systems and dimensionality reduction methods.


Topology and Physics

Topology and Physics

Author: Zhenghan Wang

Publisher: World Scientific

Published: 2008

Total Pages: 466

ISBN-13: 9812819118

DOWNLOAD EBOOK

This unique volume, resulting from a conference at the Chern Institute of Mathematics dedicated to the memory of Xiao-Song Lin, presents a broad connection between topology and physics as exemplified by the relationship between low-dimensional topology and quantum field theory.The volume includes works on picture (2+1)-TQFTs and their applications to quantum computing, Berry phase and YangOCoBaxterization of the braid relation, finite type invariant of knots, categorification and Khovanov homology, GromovOCoWitten type invariants, twisted Alexander polynomials, Faddeev knots, generalized Ricci flow, CalabiOCoYau problems for CR manifolds, Milnor''s conjecture on volume of simplexes, Heegaard genera of 3-manifolds, and the (A, B)-slice problem. It also includes five unpublished papers of Xiao-Song Lin and various speeches related to the memorial conference