Bücher veröffentlicht von now publishers Inc

Details the interplay between proof systems and efficient algorithm design and surveys the state-of-the-art for two of the most important semi-algebraic proof systems: Sherali-Adams and Sum-of-Squares. The book provides the readers with a rigorous treatment of these systems both as proof systems, and as a general family of optimization algorithms.

Provides a tutorial review of the Lattice-Reduction-Aided and Integer-Forcing approaches to equalization in MIMO communications. The authors highlight the similarities and differences of both approaches while summarizing the various criteria for selecting the integer linear combinations available in the literature in a unified way.

Provides a disciplinary perspective on the role of innovation. In particular, this volume offers several distinct disciplinary perspectives including from the academic discipline of finance, from the entrepreneurship discipline, from the management perspective, and from the marketing discipline.

The focus of this book is on the non-adaptive setting of group testing. In this setting, the test pools are designed in advance enabling them to be implemented in parallel. The book gives a comprehensive and thorough treatment of the subject from an information theoretic perspective, and covers several related developments.

Presents a wide swath of biomedical image reconstruction algorithms under a single framework. The book offers a brief survey of six decades of research. The underpinning theory of the techniques are described and practical considerations for designing reconstruction algorithms for use in biomedical systems form the central theme of each chapter.

Provides a comprehensive survey of intelligent tools for analysis and design that take fundamental steps towards achieving resilient operation in Cyber-Physical Systems. The authors investigate the challenges of achieving reliable control and estimation over networks, particularly in the face of uncertainty and resource constraints.

Reviews several recent compressed sensing advancements in wireless networks with the aim of improving the quality of signal reconstruction or detection while reducing the use of energy, radio, and computation resources.

Explores the operations management (OM) literature in national culture and organisational culture and points the way for increasing the breadth of the OM field by incorporating this perspective. In addition to being a guide for research, this monograph provides substantive examples for teaching the importance of culture in OM.

Surveys recent progress in using spectral methods, including matrix and tensor decomposition techniques, to learn many popular latent variable models. The focus is on a special type of tensor decomposition called CP decomposition. The authors cover a wide range of algorithms to find the components of such tensor decomposition.

Presents and integrates various cutting-edge theoretical frameworks and methodologies from the operations management and organisational research literatures to use diverse methodologies in order to help organisations excel in reliability, performance, and innovation.

Presents an introduction to the framework of variational autoencoders (VAEs) that provides a principled method for jointly learning deep latent-variable models and corresponding inference models using stochastic gradient descent.

Sequential Monte Carlo is a technique for solving statistical inference problems recursively. This book shows how this powerful technique can be applied to machine learning problems such as probabilistic programming, variational inference and inference evaluation.

Provides an introductory history of the rise of sovereign wealth, from its early precursors in the United States to the large and more recently created funds of natural resource-rich countries. The book also provides a discussion of how sovereign wealth funds have been defined by both observers and the funds themselves.

Focuses on strategic planning processes which use structured conflict to aid in elicitating and exposing management's underlying assumptions and how to stimulate management to adopt a broader view of the planning problem. The objective is to examine whether structured conflict procedures are superior to expert or consensus-oriented procedures.

Reviews research on investment funding to extract and classify the factors that have traditionally impacted investment decisions, and to identify emerging investment issues. The result is a set of six factors, each of which has multiple dimensions and characteristics that are described.

Provides a textbook like treatment of multi-armed bandits. The work on multi-armed bandits can be partitioned into a dozen or so directions. Each chapter tackles one line of work, providing a self-contained introduction and pointers for further reading.

Evaluates the net social benefits of advanced encryption standards. This is one of many areas where the National Institute for Standards and Technology has promoted innovation and industrial competitiveness to ensure that public and private computer systems can protect the confidentiality, availability, and integrity of digital information.

Provides an introduction to the field of higher-order Fourier analysis with an emphasis on its applications to theoretical computer science. Higher-order Fourier analysis is an extension of the classical Fourier analysis.

Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The book emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.

Technology has played a crucial part in supporting and enriching food-related practices, beginning from how we grow, to how we cook, eat and dispose of food. This book provides an overview of the existing research in this space and a guide to further its exploration.

Provides a detailed guide to the mathematical theory and computer algorithms for line drawing of 3D objects. The book focuses on the curves known as contours as they are the most important curves for line drawing of 3D surfaces. The authors describe the different algorithms required to compute and render these curves.

In this concise history of the early years of information retrieval, Donna Harman, one of the pioneers of the field, provides the reader with a plethora of insights into the important work that led us to where we are today. Written in a chronological order, this book lays out how each contribution built on what went before.

Explores the history and adoption of qualitative and critical research in Information Systems and contrasts it with the growth of similar methods in Human Computer Interaction and Computer Supported Collaborative Work. The supposition behind the comparison was that the areas overlap in subject matter and would overlap in methods and authors.

Explores the continuing contribution of MIT alumni to innovation and entrepreneurship in the United States and worldwide. This update is particularly salient given the burgeoning interest in the role of universities in economic growth and the fact that students who graduated between 2004 and 2014 faced a more difficult economic climate.

Presents an overview of the main theoretical insights that support the practical effectiveness of OT before explaining how to turn these insights into fast computational schemes. This book will be a valuable reference for researchers and students wishing to get a thorough understanding of computational optimal transport.

Tracing the roots of Multi-Agent Systems (MAS) back more than 50 years, this book provides the reader with an in-depth and comprehensive survey of the research in MAS. The book introduces the basic concepts and definitions to the reader before going on to describe how MAS has been used in most forms of systems.

Presents the first comprehensive and coherent review of all aspects of on-chip run-time resource management designed to facilitate understanding of recent trends in dynamic and adaptive strategies. The authors provide the reader with a framework within which they can navigate both existing, as well as evolving research efforts.

Reviews the literature on value creation in buyout investments and proposes an overall framework for mapping the heterogeneous opportunities to create value. Based on this literature review, the authors identify seven distinct value creation drivers: financial, operational, strategic, governance, cultural, commercial, and institutional.

Provides an overview of bandit algorithms inspired by various aspects of Information Retrieval (IR), such as click models, online ranker evaluation, personalization or the cold-start problem. Using a survey style, each chapter focuses on a specific IR problem and explains how it was addressed with various bandit approaches.

Provides a structured overview of costing system research to explain the co-existence of different costing practices. This body of research has come to prescriptive conclusions, which will of be valuable and insightful to practitioners designing costing systems and managers using reported cost data.