A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems-and of programming languages from a type-theoretic perspective-has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introd...

A comprehensive introduction to using the tools and techniques of neuroscience to understand how consumers make decisions about purchasing goods and services. Contrary to the assumptions of economists, consumers are not always rational actors who make decisions in their own best interests. The new field of behavioral economics draws on the insights of psychology to study non-rational decision making. The newer field of consumer neuroscience draws on the findings, tools, and techniques of neur...

An impassioned look at games and game design that offers the most ambitious framework for understanding them to date.

Machine learning is often used to build predictive models by extracting patterns from large datasets. These models are used in predictive data analytics applications including price prediction, risk assessment, predicting customer behavior, and document classification. This introductory textbook offers a detailed and focused treatment of the most important machine learning approaches used in predictive data analytics, covering both theoretical concepts and practical applications. Technical an...

A synthesis of biomechanics and neural control that draws on recent advances in robotics to address control problems solved by the human sensorimotor system. This book proposes a transdisciplinary approach to investigating human motor control that synthesizes musculoskeletal biomechanics and neural control. The authors argue that this integrated approach-which uses the framework of robotics to understand sensorimotor control problems-offers a more complete and accurate description than either...

A new edition of a graduate-level machine learning textbook that focuses on the analysis and theory of algorithms. This book is a general introduction to machine learning that can serve as a textbook for graduate students and a reference for researchers. It covers fundamental modern topics in machine learning while providing the theoretical basis and conceptual tools needed for the discussion and justification of algorithms. It also describes several key aspects of the application of these al...

Public economics studies how government taxing and spending activities affect the economy―economic efficiency and the distribution of income and wealth. This comprehensive text on public economics covers the core topics of market failure and taxation as well as recent developments in both policy and the academic literature. It is unique not only in its broad scope but in its balance between public finance and public choice and its combination of theory and relevant empirical evidence.

The b...

How lessons from kindergarten can help everyone develop the creative thinking skills needed to thrive in today's society. In kindergartens these days, children spend more time with math worksheets and phonics flashcards than building blocks and finger paint. Kindergarten is becoming more like the rest of school.

In Lifelong Kindergarten, learning expert Mitchel Resnick argues for exactly the opposite: the rest of school (even the rest of life) should be more like kindergarten. To thrive in to...

A comprehensive update of the leading algorithms text, with new material on matchings in bipartite graphs, online algorithms, machine learning, and other topics.

Some books on algorithms are rigorous but incomplete; others cover masses of material but lack rigor. Introduction to Algorithms uniquely combines rigor and comprehensiveness. It covers a broad range of algorithms in depth, yet makes their design and analysis accessible to all levels of readers, with self-contained chapters and algor...