Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study Buy a hardcover copy for $21.00. [620 pages, 6″ × 9″ size, hard…
A complete introduction to economics and the economy taught in undergraduate economics and masters courses in public policy.
CORE’s approach to teaching economics is student-centred and motivated by real-world problems and real-world data.
Smart Biology | Animated Textbooks for Biology Education
3D, scientifically accurate, pedagogical animated textbooks for biology higher education. Realistic animations, interactive 3D structures, assessment quizzes, and more. All protein structures, interactions, and conformational changes depicted accurately according to published literature.
Nonstandard Analysis Applied to Advanced Undergraduate Mathematics...
This is a Research and Instructional Development Project from the U. S. Naval
Academy. In this monograph, the basic methods of nonstandard analysis for
n-dimensional Euclidean spaces are...
Temporal Type Theory: A topos-theoretic approach to systems and behavior
This book introduces a temporal type theory, the first of its kind as far as
we know. It is based on a standard core, and as such it can be formalized in a
proof assistant such as Coq or Lean by...
ArchBook is an online, open-access knowledge base of textual features that illustrate technologies and human practices for transmitting knowledge in textual form.
According to the author, the world did not need another introductory text in mass communication. But the world did need another kind of introductory text in mass communication, and that is how Understanding Media and Culture: An Introduction to Mass Communication was birthed.
This book is for people who make things out of people: people who make social networks, organizational policies and processes, clubs, events, monasteries, recommender systems, classroom exercises, and so on. It's about a new way to design these things.
The COVID-19 pandemic showed the world the dire consequences of ignoring science and its predictions of global crises. But the pandemic was just a rehearsal for the climate disasters humanity will face – unless we act now. In his new book, Rewiring America, Saul Griffith, PhD argues that we can still address the threat of climate change, but only if we respond with a massive war-time mobilization effort to transform the fossil fuel economy into a fully electrified one, run on wind, solar, and other renewable energy sources. Based on the vast data about energy flows in the U.S. economy that his company, Otherlab, has mapped, Griffith details how to not only save us from climate disaster, but to help us enjoy a cleaner, healthier, and more prosperous future. Griffith–physicist, inventor, engineer, and a father who wants to preserve the planet for his children–offers not only a plan for a cleaner, healthier future, but how to pay for it. It’s a plan that will work. Now.