You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features original research from over 30 well-known experts.
This book deals with averaging dynamics, a paradigmatic example of network based dynamics in multi-agent systems. The book presents all the fundamental results on linear averaging dynamics, proposing a unified and updated viewpoint of many models and convergence results scattered in the literature. Starting from the classical evolution of the powers of a fixed stochastic matrix, the text then considers more general evolutions of products of a sequence of stochastic matrices, either deterministic or randomized. The theory needed for a full understanding of the models is constructed without assuming any knowledge of Markov chains or Perron–Frobenius theory. Jointly with their analysis of the...
Semidefinite and conic optimization is a major and thriving research area within the optimization community. Although semidefinite optimization has been studied (under different names) since at least the 1940s, its importance grew immensely during the 1990s after polynomial-time interior-point methods for linear optimization were extended to solve semidefinite optimization problems. Since the beginning of the 21st century, not only has research into semidefinite and conic optimization continued unabated, but also a fruitful interaction has developed with algebraic geometry through the close connections between semidefinite matrices and polynomial optimization. This has brought about importan...
This book presents a unique collection of up-to-date applications of graphene for water science. Because water is an invaluable resource and the intelligent use and maintenance of water supplies is one of the most important and crucial challenges that stand before mankind, new technologies are constantly being sought to lower the cost and footprint of processes that make use of water resources as potable water as well as water for agriculture and industry, which are always in desperate demand. Much research is focused on graphene for different water treatment uses. Graphene, whose discovery won the 2010 Nobel Prize in physics, has been a shining star in the material science in the past few y...
This book brings together an international group of literacy studies scholars who have investigated mobile literacies in a variety of educational settings. Approaching mobility from diverse theoretical perspectives, the book makes a significant contribution to how mobile literacies, and tablets in particular, are being conceptualised in literacy research. The book focuses on tablets, and particularly the iPad, as a prime example of mobile literacies, setting this within the broader context of literacy and mobility. The book provides inspiration and direction for future research in mobile literacies, based upon 16 chapters that investigate the relationship between tablets and literacy in diverse ways. Together they address the complex and multiple forces associated with the distribution of the technologies themselves and the texts they mediate, and consider how apps, adults and children work together as iPads enter the mesh of practices and material arrangements that constitute the institutional setting.
The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during October 23–27, 2022. The 1645 papers presented in these proceedings were carefully reviewed and selected from a total of 5804 submissions. The papers deal with topics such as computer vision; machine learning; deep neural networks; reinforcement learning; object recognition; image classification; image processing; object detection; semantic segmentation; human pose estimation; 3d reconstruction; stereo vision; computational photography; neural networks; image coding; image reconstruction; object recognition; motion estimation.