This book discusses recent developments in semigroup theory and its applications in areas such as operator algebras, operator approximations and category theory.
This book covers the latest advances in playful user interfaces – interfaces that invite social and physical... Læs mere
The aim of thesymposium was to provide a unique venue where various issues in computergraphics (CG) application fields could be discussed by mathematicians, CGresearchers, and practitioners.
This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers.
This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their... Læs mere
Taking inspiration from self-awareness in humans, this book introduces the new notion of computational self-awareness as a fundamental concept for designing and operating computing systems.
Recent results on non-convex multi-objective optimization problems and methods are presented in this book, with particular attention to expensive black-box objective functions.
This textbook gives a systematized and compact summary, providing the most essential types of modern models for languages and computation together with their properties and applications.
The book constitutes the proceedings of the 24th International Conference... Læs mere
This book constitutes the proceedings of the 6th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2015, held in Warsaw, Poland, in June/July 2015. image processing; image retrieval; image tracking; data mining techniques for large scale data;