Science
Science: physics, biology, chemistry, astronomy and space, neuroscience, and research explained.
-
HCI Research as Problem-Solving dl.acm.org
ACM SIGCHI'16, 2016. [All Versions]. This essay contributes a meta-scientific account of human-computer interaction (HCI) research as problem-solving. We build on the philosophy of Larry Laudan, who develops problem and solution as the foundational concepts of science. We argue…
-
Science of Science ctbergstrom.com
Science, 2018. [All Versions]. A comprehensive large-scale review on the science of science.
-
Machine-generated theories of human decision-making cpb-us-w2.wpmucdn.com
Science, 2021. [All Versions].
-
Constructing a hypothesis space from the Web for large-scale Bayesian word learning cocosci.princeton.edu
CogSci'12, 2012. [All Versions].
-
Bridging Levels of Analysis for Probabilistic Models of Cognition cocosci.princeton.edu
Current Directions in Psychological Science, 2012. [All Versions]. A Marr's paradigm account on probabilistic models.
-
Cognitive Science as a Source of Forward and Inverse Models of Human Decisions for Robotics and Control cocosci.princeton.edu
Annual Review of Control, Robotics, and Autonomous Systems, 2022. [All Versions]. The review focuses on how cognitive science can provide forward models of human decision-making and inverse models of how humans think about others’ decision-making. The authors highlight relevant…
-
Using large-scale experiments and machine learning to discover theories of human decision-making cocosci.princeton.edu
Science, 2021. [All Versions]. A piece of evidence for the merits brought by large-scale behavioral studies in social science.
-
Eye-tracking causality cocolab.stanford.edu
Psychological Science, 2017. [All Versions].
-
Hierarchical reasoning by neural circuits in the frontal cortex cnbc.cmu.edu
Science, 2019. [All Versions]. Neuroscience evidence supporting rule switch.
-
On The Emergence Of Compositionality citeseerx.ist.psu.edu
Proceedings of the Evolution of Language Conference'06, 2006. [All Versions]. The original paper on the emergence of compositionality.
-
A 4-Space Model of Scientific Discovery citeseerx.ist.psu.edu
CogSci'95, 1995. [All Versions]. Extending the dual space search.
-
A global geometric framework for nonlinear dimensionality reduction citeseerx.ist.psu.edu
Science, 2000. [All Versions]. The original paper on spectrum clustering.
-
Galex: Exploring the evolution and intersection of disciplines cic.tju.edu.cn
IEEE Transactions on Visualization and Computer Graphics, 2019. [All Versions].
-
The Child as Hacker cell.com
Trends in Cognitive Sciences, 2020. [All Versions]. The scope of human learning and development poses a radical challenge for cognitive science. The authors propose that developmental theories can address this challenge by adopting perspectives from computer science. Many of…
-
Balancing act: when to flex and when to stay fixed cell.com
Trends in Chemistry, 2023. [All Versions]. This perspective article provides essential insights into the decision-making process for choosing automation platforms, highlighting the suitability of fixed automation for standardized tasks and the strategic use of flexible…
-
Probabilistic models of cognition: Conceptual foundations cell.com
Trends in Cognitive Sciences, 2006. [All Versions]. Remarkable progress in the mathematics and computer science of probability has led to a revolution in the scope of probabilistic models. In particular, ‘sophisticated’ probabilistic methods apply to structured relational…
-
Generalization, similarity, and Bayesian inference cambridge.org
Behavioral and Brain Sciences, 2001. [All Versions]. [Preprint]. Shepard has argued that a universal law should govern generalization across different domains of perception and cognition, as well as across organisms from different species or even different planets. Starting…
-
Why Imaginary Worlds? The psychological foundations and cultural evolution of fictions with imaginary worlds cambridge.org
Behavioral and Brain Sciences, 2021. [All Versions]. Imaginary worlds are extremely successful. The most popular fictions produced in the last few decades contain such a fictional world. They can be found in all fictional media, from novels (e.g., Lord of The Rings and Harry…
-
Organizational Principles of Abstract Words in the Human Brain bilab.bnu.edu.cn
Cerebral Cortex, 2018. [All Versions].
-
Levels of Analysis for Machine Learning baicsworkshop.github.io
ICLR'20 Bridging AI and Cognitive Science Workshop, 2020. [All Versions]. A Marr's paradigm account on machine learning.
-
Reducing the dimensionality of data with neural networks asset-pdf.scinapse.io
Science, 2006. [All Versions]. The original paper on Variational Autoencoder.
-
The Impact of Large Language Models on Scientific Discovery: a Preliminary Study using GPT-4 arxiv.org
Microsoft Research AI4Science, 2023. [All Versions]. [Project]. A survey on the performance of LLMs within the context of scientific discovery, focusing on GPT-4.
-
Human Comprehensible Active Learning of Genome-Scale Metabolic Networks arxiv.org
AAAI Spring Symposium Series 2023 on Computational Scientific Discovery, 2023. [All Versions]. [Extended Abstract]. [Slides]. This work introduces a novel machine learning framework ILP-iML1515 based on Inductive Logic Programming (ILP) that performs abductive logical reasoning…
-
Automated Biodesign Engineering by Abductive Meta-Interpretive Learning arxiv.org
AAAI Spring Symposium Series 2021 on Artificial Intelligence for Synthetic Biology, 2021. [All Versions]. This work proposes an automated biodesign engineering framework empowered by Abductive Meta-Interpretive Learning (MetaAbd), a novel machine learning approach that combines…
-
SciBERT: A Pretrained Language Model for Scientific Text aclanthology.org
EMNLP'19, 2019. [All Versions]. Searching and synthesizing scientific literature, aiding researchers in hypothesis generation, and assisting with experimental design, making scientific knowledge more accessible.
-
AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints aclanthology.org
ACL'24, 2024. [All Versions]. [Preprint]. [Project]. The original paper on the automated design of DSLs, referred to as AutoDSL. Accurate representation of procedures in restricted scenarios, such as non-standardized scientific experiments, requires precise depiction of…
-
BioPlanner: Automatic Evaluation of LLMs on Protocol Planning in Biology aclanthology.org
EMNLP'23, 2023. [All Versions]. [Project]. This paper presents an automatic evaluation framework for the task of planning experimental protocols, and introduces BioProt: a dataset of biology protocols with corresponding pseudocode representations.
-
PersLEARN: Research Training through the Lens of Perspective Cultivation aclanthology.org
ACL'23, 2023. [All Versions]. Scientific research is inherently shaped by its authors’ perspectives, influenced by various factors such as their personality, community, or society. Junior researchers often face challenges in identifying the perspectives reflected in the…
-
ESRA: Explainable Scientific Research Assistant aclanthology.org
ACL'21 Demo Track, 2021. [All Versions]. A tool for constructing and visualizing the knowledge graph of a query keyword in literature retrieving.
-
How large language models need symbolism academic.oup.com
National Science Review, 2025. [All Versions]. Advances in artificial intelligence (AI), particularly large language models (LLMs), have achieved remarkable success. This progress stems from ‘scaling laws’---performance improves with greater computation, data and model size…
-
Scaling up search engine audits: Practical insights for algorithm auditing journals.sagepub.com
(Journal of Information Science) (Code) Audits multiple search engines using simulated browsing behavior with virtual agents.
-
The Fair Game: Auditing & debiasing AI algorithms overtime cambridge.org
(Cambridge Forum on AI: Law and Governance) Aims to simulate the evolution of ethical and legal frameworks in the society by creating an auditor which sends feedback to a debiasing algorithm deployed around an ML system.
-
Newman, M. E. J. (2010). Networks: an introduction. Oxford; New York: Oxford University Press. worldcat.org
A comprehensive introduction to network science.
-
Gros, C. (2015). Complex and adaptive dynamical systems: a primer. Cham: Springer. worldcat.org
Technical and accessible introduction to a number of important concepts in complex systems science.
-
Mitchell, S. D. (2013). Unsimple truths: science, complexity, and policy. Chicago: Univ. of Chicago Press. worldcat.org
The book introduces the perspective of integrative puralism as a way of understanding and studying the world.
-
Developmental Systems Theory en.wikipedia.org
Theoretical perspective on biological development, heredity, and evolution.
-
Complexity en.wikipedia.org
The subject of complex systems science.
-
Attractor en.wikipedia.org
A trajectory in the state space of a system in which it tends to evolve towards.
-
Complex Systems Society cssociety.org
Scientific society for the study of complex systems.
-
Map of Complex systems History art-sciencefactory.com
An impressive overview of the evolution of complex systems thinking.
-
Lecture Notes on Operator Algebras web.pdx.edu
Free graduate notes by John M. Erdman on Hilbert-space operators, Banach algebras, spectral theory, C*-algebras, compact operators, and K-theory.
-
AI for Mathematics and Theoretical Computer Science simons.berkeley.edu
Simons Institute and SLMath workshop archive with recorded talks on proof assistants, automated reasoning, machine learning, and mathematical discovery.
-
Quanta Magazine quantamagazine.org
Features latest research breakthroughs in an accessible style for non-experts.
-
Mathematics for Computer Science ocw.mit.edu
Free MIT OpenCourseWare course with an open textbook, videos, notes, problem sets, and exams on proofs, discrete structures, counting, graphs, modular arithmetic, and discrete probability.
-
nLab ncatlab.org
Collaborative research-level notes and expositions in category theory, homotopy theory, mathematical physics, and related areas.
-
Applied Stochastic Processes in science and engineering math.uwaterloo.ca
Matt Scott (University of Waterloo).
-
Category Theory for Computing Science math.mcgill.ca
Michael Barr, Charles Wells.
-
Mathematical Biology math.hkust.edu.hk
Jeffrey Chasnov.
-
Isabelle isabelle.in.tum.de
General-purpose interactive theorem prover with higher-order logic and set-theory environments for formalizing mathematics and computer science.
-
Archive of Formal Proofs isa-afp.org
Refereed collection of Isabelle proof libraries, examples, and scientific developments maintained against current Isabelle releases.
- next page of items loading…
