Books & Writing
Books and writing: reading lists, essays, authors, the craft of writing, and literature.
-
Joe Armstrong - A week with Elixir joearms.github.io
-
Exercism.io exercism.org
-
Active Essays on the Web tinlizzie.org
-
Algorithm Wiki by Will Thimbleby will.thimbleby.net
-
-
Mental Representations: A Dual Coding Approach zh.pb1lib.org
Oxford University Press, 1990. [All Versions]. The original book on dual coding theory, in the neuroscience account of mental representation.
-
The structure of scientific revolutions www-inst.eecs.berkeley.edu
University of Chicago Press: Chicago, 1970. [All Versions]. Thomas Kuhn's original book on the emergence and the shift of scientific paradigms.
-
Vision: A Computational Investigation into the Human Representation and Processing of Visual Information usa1lib.org
MIT Press, 1982. [All Versions]. David Marr's original book on the levels of analysis.
-
A Study of Thinking taylorfrancis.com
Routledge, 1956. [All Versions]. This book is a pioneering account of how human beings achieve a measure of rationality in spite of the constraints imposed by time and ignorance.
-
Bayesian Data Analysis taylorfrancis.com
Chapman and Hall/CRC, 1995. [All Versions]. Don Rubin's introductory book on Bayesian models.
-
Interpretation as abduction sciencedirect.com
Artificial Intelligence, 1993. [All Versions]. Abduction is inference to the best explanation. The authors have developed an approach to abductive inference, called “weighted abduction”, that has resulted in a significant simplification of how the problem of interpreting texts…
-
Qualitative Simulation sciencedirect.com
Artificial Intelligence, 1986. [All Versions]. [Preprint]. This paper presents a precise definition of qualitative structure and behavior descriptions as abstractions of differential equations and continuously differentiable functions. The authors present a new algorithm for…
-
Representations of Commonsense Knowledge sciencedirect.com
Morgan Kaufmann, 1990. [All Versions]. A classic book on commonsense knowledge.
-
Digitization and validation of a chemical synthesis literature database in the ChemPU science.org
Science, 2022. [All Versions]. [Preprint]. This paper presents an automatically executable chemical reaction database of 100 molecules representative of the range of reactions found in contemporary organic synthesis. The chemical reaction codes or χDLs for the reactions have…
-
A universal system for digitization and automatic execution of the chemical synthesis literature science.org
Science, 2020. [All Versions]. [Preprint]. [XDL Documentation]. [XDL Schema Database]. This paper reports a software platform that uses natural language processing to translate the organic chemistry literature directly into editable code, which in turn can be compiled to drive…
-
DreamCoder: growing generalizable, interpretable knowledge with wake–sleep Bayesian program learning royalsocietypublishing.org
Philosophical Transactions of the Royal Society A, 2023. [All Versions]. [Preprint]. This paper presents DreamCoder, a system that learns to solve problems by writing programs. It builds expertise by creating domain-specific programming languages for expressing domain concepts…
-
Automation isn't automatic pubs.rsc.org
Chemical Science, 2021. [All Versions]. This perspective provides an overview of the current state of automation of synthetic chemistry at the benchtop scale with a particular emphasis on core considerations and the ensuing challenges of deploying a system. The authors aim to…
-
A Logic Programming Language for Computational Nucleic Acid Devices pubs.acs.org
ACS Synthetic Biology, 2018. [All Versions]. This paper presents a logic programming language that allows a broad range of computational nucleic acid systems to be designed and analyzed. The language extends standard logic programming with a novel equational theory to express…
-
Best, second-best, and good-enough explanations: How they matter to reasoning psycnet.apa.org
Journal of Experimental Psychology, 2018. [All Versions]. There is a wealth of evidence that people’s reasoning is influenced by explanatory considerations. Three experiments investigate the descriptive adequacy of a precise proposal to be found in the philosophical literature…
-
Gestalt theory psycnet.apa.org
A source book of Gestalt psychology, 1938. [All Versions]. The original book on Gestalt psychology.
-
Exploring science: The cognition and development of discovery processes psycnet.apa.org
MIT Press, 2000. [All Versions]. In this book, D. Klahr sets out to describe the cognitive and developmental processes that have enabled scientists to make the discoveries that comprise the body of information we call "scientific knowledge." Over the past decade, Klahr and his…
-
Word learning as Bayesian inference psycnet.apa.org
Psychological Review, 2007. [All Versions]. [Preprint]. The authors present a Bayesian framework for understanding how adults and children learn the meanings of words. The theory explains how learners can generalize meaningfully from just one or a few positive examples of a…
-
A Theory of Generative ConvNet proceedings.mlr.press
ICML'16, 2016. [All Versions]. The authors show that a generative random field model, which they call generative ConvNet, can be derived from the commonly used discriminative ConvNet, by assuming a ConvNet for multi-category classification and assuming one of the category is a…
-
ImageBind: One Embedding Space To Bind Them All openaccess.thecvf.com
CVPR'23, 2023. [All Versions]. [Project]. This work presents ImageBind, an approach to learn a joint embedding across six different modalities - images, text, audio, depth, thermal, and IMU data. The authors show that all combinations of paired data are not necessary to train…
-
Computational Models of Emotion Inference in Theory of Mind: A Review and Roadmap onlinelibrary.wiley.com
Topics in Cognitive Science, 2019. [All Versions]. This paper proposes an intuitive theory framework to studying affective cognition—how humans reason about emotions—and derive a taxonomy of inferences within affective cognition. Using this taxonomy, the authors review formal…
-
Universal chemical programming language for robotic synthesis repeatability nature.com
Nature Synthesis, 2024. [All Versions]. [Preprint]. The amount of chemical synthesis literature is growing quickly; however, it takes a long time to share and evaluate new processes among laboratories. This paper presents an approach that uses a universal chemical programming…
-
Balancing autonomy and expertise in autonomous synthesis laboratories nature.com
Nature Computational Science, 2025. [All Versions]. Autonomous synthesis laboratories promise to streamline the plan–make–measure–analyze iteration loop. Here, the authors comment on the barriers in the field, the promise of a human on-the-loop approach, and strategies for…
-
Large language models for scientific discovery in molecular property prediction nature.com
Nature Machine Intelligence, 2025. [All Versions]. Large language models (LLMs) are a form of artificial intelligence system encapsulating vast knowledge in the form of natural language. These systems are adept at numerous complex tasks including creative writing, storytelling…
-
Meta-analysis of the functional neuroimaging literature with probabilistic logic programming nature.com
Scientific Reports, 2022. [All Versions]. Inferring reliable brain-behavior associations requires synthesizing evidence from thousands of functional neuroimaging studies through meta-analysis. However, existing meta-analysis tools are limited to investigating simple…
-
Design of metalloproteins and novel protein folds using variational autoencoders nature.com
Scientific Reports, 2018. [All Versions]. The design of novel proteins has many applications but remains an attritional process with success in isolated cases. Meanwhile, deep learning technologies have exploded in popularity in recent years and are increasingly applicable to…
-
Language is primarily a tool for communication rather than thought nature.com
Nature, 2024. [All Versions]. This perspective brings recent evidence from neuroscience and allied disciplines to argue that in modern humans, language is a tool for communication, contrary to a prominent view that we use language for thinking. The authors begins by introducing…
-
An autonomous laboratory for the accelerated synthesis of novel materials nature.com
Nature, 2023. [All Versions]. This paper introduces the A-Lab, an autonomous laboratory for the solid-state synthesis of inorganic powders. This platform uses computations, historical data from the literature, machine learning (ML) and active learning to plan and interpret the…
-
Nature Communications, 2025. [All Versions]. [Project]. Functional proteomics provides critical insights into cancer mechanisms, facilitating the discovery of novel biomarkers and therapeutic targets. The authors have developed a comprehensive cancer functional proteomics…
-
Five keys to writing a reproducible lab protocol nature.com
Nature, 2021. [All Versions]. This interviewing paper introduces five ways to increase the reproducibility of experimental protocols: (i) documenting protocols as the experiment goes; (ii) providing video illustrations in addition to written protocols; (iii) using electronic…
-
Improvisation through Physical Understanding: Using Novel Objects as Tools with Visual Foresight m.roboticsproceedings.org
RSS'19, 2019. [All Versions].
-
An introduction to Kolmogorov complexity and its applications link.springer.com
Springer, 2008. [All Versions]. The introductory book for Algorithmic Information Theory, especially the Kolmogorov complexity theory.
-
Action Languages, Answer Sets, and Planning link.springer.com
The Logic Programming Paradigms, 1999. [All Versions]. [Preprint]. This is a discussion of some of the achievements and challenges related to representing actions and the design of planners from the perspective of logic programming. The authors talk about recent work on action…
-
Abductive Reasoning and Learning link.springer.com
Springer, 2000. [All Versions]. This book contains leading survey papers on the various aspects of Abduction, both logical and numerical approaches.
-
From intention to implementation: automating biomedical research via LLMs link.springer.com
Science China Information Sciences, 2025. [All Versions]. Conventional biomedical research is increasingly labor-intensive due to the exponential growth of scientific literature and datasets. Artificial intelligence (AI), particularly large language models (LLMs), has the…
-
Words, thoughts, and theories library.lol
MIT Press, 1997. [All Versions]. Alison Gopnik's book that articulates and defends the "theory theory" of cognitive and semantic development, the idea that infants and young children, like scientists, learn about the world by forming and revising theories-a view of the origins…
-
The uses and complexity of argument structures in expert and student persuasive writing journals.sagepub.com
Written Communication, 1998. [All Versions]. A behaviorial study revealing the argument structures exploited by people in argumentative writing.
-
Analysis of Langevin Monte Carlo via Convex Optimization jmlr.org
Journal of Machine Learning Research, 2019. [All Versions]. This paper provides new insights on the Unadjusted Langevin Algorithm. The authors show that this method can be formulated as the first order optimization algorithm for an objective functional defined on the…
-
From Skills to Symbols: Learning Symbolic Representations for Abstract High-Level Planning jair.org
Journal of Artificial Intelligence Research, 2018. [All Versions]. This work considers the problem of constructing abstract representations for planning in high-dimensional, continuous environments. The authors assume an agent equipped with a collection of high-level actions…
-
LogiCode: An LLM-Driven Framework for Logical Anomaly Detection ieeexplore.ieee.org
IEEE Transactions on Automation Science and Engineering, 2024. [All Versions]. This paper presents LogiCode, a novel framework that leverages Large Language Models (LLMs) for identifying logical anomalies in industrial settings, moving beyond the traditional focus on structural…
-
VMC: A Grammar for Visualizing Statistical Model Checks ieeexplore.ieee.org
IEEE Transactions on Visualization and Computer Graphics, 2024. [All Versions]. Visualizations play a critical role in validating and improving statistical models. However, the design space of model check visualizations is not well understood, making it difficult for authors to…
-
Knowledge-Based Embodied Question Answering ieeexplore.ieee.org
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2023. [All Versions]. This paper proposes a novel Knowledge-based Embodied Question Answering (K-EQA) task, in which the agent intelligently explores the environment to answer various questions with the knowledge…
-
Scientific discovery: Computational explorations of the creative processes hk1lib.org
MIT Press, 1987. [All Versions]. The book is divided into four parts. Part I introduces the subject of discovery, defines the scope of our work, and discusses some of the issues that have surrounded and still surround our topic. Parts II and III contain the main body of our…
-
The Origin of Concepts hk1lib.org
Oxford University Press, 2009. [All Versions]. Susan Carey's extended book on the theory theory of concepts in child development.
-
Conceptual Change in Childhood hk1lib.org
MIT Press, 1985. [All Versions]. Susan Carey's book on the theory theory of concepts in child development.
-
Models of Discovery: And Other Topics in the Methods of Science hk1lib.org
Springer, 1977. [All Versions]. The original book on search as scientific thinking.
- next page of items loading…
