Bücher veröffentlicht von now publishers Inc

Reviews the theory of low-rank semidefinite programming, presenting theorems that guarantee the existence of a low-rank solution, heuristics for computing low-rank solutions, and algorithms for finding low-rank approximate solutions. The book then presents applications of the theory to trust-region problems and signal processing.

Focuses on a case study of a newly constructed passive cooled four-story building in a composite (monsoon) climate. The total initial embodied energy, CO2 emissions, annual energy saving and CO2 credit of the building were evaluated as part of the case study.

Bioresources are becoming increasingly important and topical as the world is faced with growing food demand as well as increased pressure to provide energy and materials. This monograph discusses the current flows of bioresources, their inherent properties and the services that these resources may provide in a sustainable biobased economy.

Provides the motivation for opportunistic routing, and presents several different algorithms which achieve better performance, in most scenarios, than conventional shortest path routing. This comprehensive survey provides a starting point for researchers and students wishing to learn the background and technical details of opportunistic routing.

Presents the many different dimensions to national corporate governance regimes, encompassing the legal, the political, the economic, and the social behaviour. While there is much debate within the literature as to which is the most important aspect of each, this monograph provides a basis to evaluate this burgeoning literature.

Complements existing introductory literature to game semantics, which highlight the then new structural components necessary to model higher-order computation; for example, arenas, justification pointers, and innocence. In contrast, this monograph focuses on explaining the nominal content of our games.

Provides a broad overview of the activities in the field of smart connected building design automation that attempts to make the vision a reality. The overarching range of such activities includes developing simulation tools for modelling and the design of buildings, and control algorithms to make buildings smarter and more efficient.

Reviews prior studies and proposes new research directions for the corporate governance of China's listed firms. The primary focus is to investigate the underlying relation between China's institutional environment and its listed firms' corporate governance, and show how formal and informal governance mechanisms actually work within these firms.

Identifies unifying principles, patterns, and intuitions for scaling Bayesian inference. This book examines how these techniques can be scaled up to larger problems and scaled out across parallel computational resources, and reviews existing work on utilizing computing resources with both MCMC and variational approximation techniques.

Modern random access protocols using the principles of successive interference cancellation have opened up a wealth of new applications. This tutorial style monograph explores the main ideas and design principles that are behind some of these novel schemes.

Takes a broad view of spatial econometrics and introduces some of the basic concepts. After an introduction, the book introduces methods for the spatial econometric analysis of regional data, explores the new emerging field of microeconometrics, and applies the general SARAR paradigm to the case of spatial interaction models.

Discusses recent advances in coding for non-volatile memories, covering topics such as error correction coding based on novel algebraic and graph-based methods, rank modulation, rewriting codes, and constrained coding. This book illuminates the advantages - as well as challenges - associated with modern NVMs.

Presents, in a uniform and complete fashion, moment matching techniques for nonlinear systems. This includes extensive sections on nonlinear time-delay systems; moment matching from input/output data and the limitations of the characterization of moment based on a signal generator described by differential equations.

Written in a tutorial style, this monograph reviews and places in context how the continuous and the discrete dynamics, as well as their interactions, intervene in the observability property of a quite general class of hybrid systems: linear hybrid systems called H-systems.

Focuses on the verification of specifications of protocols in the symbolic model. ProVerif is an automatic symbolic protocol verifier. This survey presents an overview of the research on ProVerif and is the most comprehensive text available on the topic.

Provides a foundational review of the field of psychophysiology to serve as a primer for the novice, enabling rapid familiarisation with the core concepts, or as a quick-reference resource for advanced readers. The book places special emphasis on everyday human-computer interface applications.

Provides researchers who are working on query auto completion or related problems in the field of information retrieval with a good overview and analysis of state-of-the-art QAC approaches. This book also offers a comprehensive perspective on QAC approaches by presenting a taxonomy of existing solutions.

Focuses on optimization as a process. This book is intended to serve as a reference for a self-contained course on online convex optimization and the convex optimization approach to machine learning for the educated graduate student in computer science/electrical engineering/operations research/statistics and related fields.

Focuses on the information-economics theoretic framework of brand equity. The authors posit that consumer-based brand equity is the value of a brand as a credible signal of a product's positioning. In their framework, the content, clarity, and credibility of the brand signal creates intangible benefits, and enhances perceived quality.

Provides an overview of many of the known results concerning quantum proofs, computational models based on this concept, and properties of the complexity classes they define. In particular, the book discusses non-interactive proofs and the complexity class QMA, and single-prover quantum interactive proof systems and the complexity class QIP.

Surveys most of the major developments in lattice cryptography over the past ten years. The main focus is on the foundational short integer solution and learning with errors problems, their provable hardness assuming the worst-case intractability of standard lattice problems, and their many cryptographic applications.

Owner-Level Taxes and Business Activity examines advances in both theoretical and empirical research that paint a clearer picture of the effects of owner-level taxation on business activity.

Marketing Dynamics: A Primer on Estimation and Control provides an introduction to the estimation and control of dynamic marketing models. It introduces dynamic models in discrete- and continuous- time, scalar and multivariate settings, with observed outcomes and unobserved states, as well as random and/or time-varying parameters.

Three Essential Analytical Techniques for the Behavioral Marketing Researcher reviews several topics that are essential complementary analytics that enable behavioral marketing researchers to test theories and hypotheses, and thereby advance their respective literatures and contribute to knowledge bases.

Offers a gentle and novel introduction to Reproducing Kernel Hilbert Spaces theory. The book also presents several classical applications, and concludes by focusing on recent developments in the machine learning literature concerning embeddings of random variables.

Uses an implantable cardiac pacemaker as a working example to show how model-based design can help improve the safety and efficacy of medical device software. The book demonstrates the application of model-based design in several design activities during the development process, from the perspective of the manufacturer's design validation team.

Discusses models and methods for Bayesian inference in the simple single-step Bandit model. The book then reviews the extensive recent literature on Bayesian methods for model-based RL, where prior information can be expressed on the parameters of the Markov model.

Provides an updated and comprehensive review of China's financial system and compares it with financial systems in other countries. The book reviews what has worked and what has not within the markets and intermediaries in China, and further considers the effects of the recent development of China's financial system on the real economy.

Explores the extent to which knowledge transferred from a university to a firm or group of firms through a research partnership results in short-term private gains to a firm as well as to long-term public gains to society.

Provides a comprehensive survey of the models, algorithms, analysis, and methodologies using a Perron-Frobenius theoretic framework to solve wireless utility maximization problems. This approach overcomes the notorious non-convexity barriers in these problems.