Science
Science: physics, biology, chemistry, astronomy and space, neuroscience, and research explained.
-
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.
-
European Mathematical Society Magazine euromathsoc.org
The Magazine features announcements about meetings and conferences, articles outlining current trends in scientific development, reports on member societies, and many other informational items.
-
Error Correction Zoo errorcorrectionzoo.org
Maintained reference database of classical, quantum, and hybrid error-correcting codes, with definitions, relationships, and references.
-
Dexter Chua dec41.user.srcf.net
Harvard. 2013 ~ 2018. Covers Analysis, Probability, Linear Algebra, Complex Analysis, Numerical Analysis, Statistics, Optimization, Algebraic Topology, Quantum Field Theory, and more.
-
Quantum Field Theory davidtong.org
David Tong's Cambridge master's-level lecture notes, problem sheets, HTML text, and recorded lectures on classical fields, quantization, Dirac fields, and quantum electrodynamics.
-
Chaos: Classical and Quantum chaosbook.org
Maintained technical webbook on dynamical systems, periodic orbits, deterministic chaos, statistical mechanics, and quantum chaos.
-
Algebraic Statistics for Computational Biology cambridge.org
Paid textbook edited by Lior Pachter and Bernd Sturmfels.
-
Bulletin of the American Mathematical Society ams.org
Expository articles on contemporary mathematical research, written in a way that gives insight to mathematicians who may not be experts in the particular topic.
-
How to read and understand a scientific paper violentmetaphors.com
-
Best Paper Awards in Computer Science jeffhuang.com
-
-
Faith, Evolution, and Programming Languages youtube.com
-
Yale Institute for Network Science (YINS) yins.yale.edu
-
-
Network Science Research Centre, Swansea University swansea.ac.uk
-
-
NetSciEd - Network Science in Education sites.google.com
-
Revisiting the Foundations of Network Analysis science.sciencemag.org
-
Network Analysis in the Social Sciences science.sciencemag.org
-
Dynamic Scientific Co-Authorship Networks patrickdoreian.com
-
Northeastern University Network Science Institute networkscienceinstitute.org
-
Network Science Book - Network Datasets networksciencebook.com
-
Network Science networksciencebook.com
-
Network Science IGERT at the University of California at Santa Barbara (UCSB) networkscience.igert.ucsb.edu
- next page of items loading…
