Computing Reviews - New Reviews

Fast, slow, and metacognitive thinking in AI from npj Artificial Intelligence

Mon, 25 May 2026 12:00:00 PST

Humans face extremely difficult decisions when navigating adversarial situations. But can artificial intelligence (AI) enhance human judgment in order to avoid negative outcomes? Ganasini et al. argue that current AI initiatives have limited proficiency

The sustainability gap for computing: Quo vadis? from Communications of the ACM

Thu, 21 May 2026 12:00:00 PST

When a plug is inserted into an electrical socket, somewhere a generator is producing electrons to power the connected device. Generating electricity has environmental consequences. Although an individual computer or tablet may

Certificates in AI: learn but verify from Communications of the ACM

Mon, 18 May 2026 12:00:00 PST

As artificial intelligence (AI) systems are increasingly used to generate code and support decision-making, questions of trust and verification become critical. This article addresses that issue by proposing a framework for certifiable machine learning (CML) in which

Fast, slow, and metacognitive thinking in AI from npj Artificial Intelligence

Thu, 14 May 2026 12:00:00 PST

This paper was inspired by Daniel Kahneman’s Thinking, fast and slow [1], with due credit given. Kahneman’s book explores ?how humans think,” and this paper extends the

Constructing the Lie algebra of smooth vector fields on a Lie group in Isabelle/HOL from Journal of Automated Reasoning

Mon, 04 May 2026 12:00:00 PST

This paper formalizes core structures of linear algebra, differential geometry, and Lie theory within Isabelle/higher-order logic (HOL). Building on Immler and Zhan’s smooth manifolds library [1], Schmoetten and Fleuriot define tangent bundles

Combating misinformation in the Arab world: challenges and opportunities from Communications of the ACM

Mon, 20 Apr 2026 12:00:00 PST

The prevention of misinformation across societies remains a daunting and provocative task. In the presence of rapidly available mass media and technologies like artificial intelligence (AI) for information dissemination, how might

Generative AI as economic agents from ACM SIGecom Exchanges

Wed, 15 Apr 2026 12:00:00 PST

Generative artificial intelligence (GenAI) isn’t just a tool. In fact, it’s starting to look like a main player in economics. This paper argues that AI should be modeled as an agent, with its own information, preferences, and incentives, reshaping how economists think about decision-making and strategy. For general

Mapping the evolution of data governance scientific research from Data & Policy

Mon, 13 Apr 2026 12:00:00 PST

Simply put, data governance is the management of information within an organization to ensure it is accurate, secure, and available. Over the past few decades, organizations have begun to increasingly focus on the inherent

Mindful design: a survival guide for responsible product designers (2nd ed.)

Thu, 28 May 2026 12:00:00 PST

Though computer-related technologies have progressed quite a bit over the past decades, and the provisions for a user to interact with these devices have also grown from keyboard to speech and gestures, the user experience (UX) provisioned by software leaves much to be

An introduction to parallel programming (2nd ed.)

Mon, 11 May 2026 12:00:00 PST

Natural phenomena like climate change have complicated behaviors. In order to explicate and predict their variations, advanced analyses are required. These systems regualrly gather huge amounts of data, which demand great computational power in order to work with and extract the concerned information

Human?computer interaction and U.S. law

Thu, 07 May 2026 12:00:00 PST

This book offers an ambitious, timely, and much needed treatment of the deep and increasingly consequential relationship between human?computer interaction (HCI) and US law. Written by four scholars who collectively hold doctorates in HCI with formal legal training, the book succeeds in addressing a longstanding gap

Appropriating technology: how we make digital tools our own

Thu, 30 Apr 2026 12:00:00 PST

Pierre Tchounikine’s Appropriating technology offers a clear and carefully argued examination of the ways individuals and communities adapt, reinterpret, and repurpose digital technologies in everyday life. Rather than focusing on innovation from the perspective of designers or corporations, the book turns its

A modern introduction to probability and statistics: understanding statistical principles in the age of the computer

Tue, 28 Apr 2026 12:00:00 PST

Graham J. G. Upton’s A modern introduction to probability and statistics presents a contemporary and pedagogically structured approach to the foundational disciplines of probability and statistical inference. The text is explicitly

Ethical assemblages of artificial intelligence: Controversies, uncertainties, and networks

Thu, 23 Apr 2026 12:00:00 PST

Ethical assemblages of artificial intelligence: controversies, uncertainties, and networks, by Helena Machado and Susana Silva, presents a sociotechnical examination of how artificial intelligence (AI) systems are shaped by the ethical discourses, institutional arrangements, contested values, and material

Data science and machine learning: mathematical and statistical methods (2nd ed.)

Fri, 17 Apr 2026 12:00:00 PST

The authors’ intention is to provide a comprehensive handbook on data science and machine learning for anyone interested in the mathematical foundations of relevant algorithms. This book is designed for those who do not want to focus solely on tuning

Computational modelling of robot personhood and relationality

Mon, 06 Apr 2026 12:00:00 PST

If humans and robots were able to roam around the same spaces, mutually recognizing each other for what they are, how would those interactions go? How can we model such interactions in a way that we can reason about and understand the implications of a