A–Z index of research and partners.

Sciences

A source-backed overview of agriculture through data: satellite yield monitoring, machine-learning crop models, and what remains uncertain.

Publisher: NIH All of Us Research Program

Health, survey and genomic data from a large US participant cohort, analysed in a cloud workbench.

• Medicine
• Genetics

Publisher: U.S. Census Bureau

Annual survey data on population, housing, education, work and income, with tables, microdata samples and API access.

• Sociology
• Economics

Sciences

A source-backed overview of anthropology through data and AI: digital ethnography, data ethics, Indigenous data governance and comparing societies.

Sciences

A source-backed overview of archaeology through remote sensing, lidar and machine learning, with attention to reproducibility and geographic imbalance.

Publisher: Archive of Formal Proofs (Isabelle community)

A library of machine-checked proof developments for the Isabelle proof assistant.

• Formal Methods
• Computer Science

Publisher: Argo programme (international; data page hosted at UC San Diego)

Temperature and salinity profiles from a global array of autonomous profiling floats, plus gridded products.

• Ocean Science

Technology

What augmented reality is, how devices track the world and place digital content in it, and what the research literature says about usability and perception.

Sciences

A source-backed overview of computational biology: protein structure prediction, single-cell atlases and whole-cell models, and what is still unresolved.

Labs

A plain-language, source-backed overview of biometric sensing with everyday cameras and sensors, and of sensing from small drones and the rules that govern it.

Publisher: U.S. Bureau of Labor Statistics (BLS)

Time series on employment, prices, wages and productivity from the BLS.

• Economics

Publisher: U.S. Census Bureau

Programmatic access to Census Bureau statistics, including the American Community Survey and economic surveys.

• Sociology
• Economics

Publisher: CERN

Particle-physics datasets and software released by the LHC experiments.

• Physics

Publisher: EMBL-EBI

Curated bioactivity data for drug-like molecules and their targets.

• Chemistry
• Biology

Sciences

A source-backed overview of chemistry through computation: quantum-chemistry data, machine-learned potentials, reaction prediction and benchmarks.

An INSTAR Lab research brief on how AI can improve patient safety and clinical workflows, and why safety evaluation and human oversight come before deployment.

Labs

A source-backed overview of how language models are described, tested and shaped: personas, human feedback, and the limits of psychology-style tests.

Sciences

A source-backed overview of computational cognitive science: formal models of the mind, language models as subjects, and open questions about evidence.

Publisher: Common Crawl

A large, openly available archive of web crawl data.

• Data Science
• Natural Language Processing

Technology

A plain-language, source-backed overview of computer science: its theoretical foundations, quantum computing, and the open problems in the field.

Publisher: Free Law Project

Bulk files of US court opinions, dockets and related legal records.

• Law

Named on the homepage partner network and on the consortium route.

Register statusUnverified

The INSTAR Lab research portfolio across AI, quantum, HPC, health, energy, space, and the sciences. Program status, outputs, and schedules are not listed here.

Publisher: D-PLACE project team (Database of Places, Language, Culture and Environment)

Cross-cultural data on societies, languages and environments for comparative research.

• Anthropology
• Linguistics

Technology

A plain-language, source-backed overview of data science: how evidence is drawn from data, how findings are checked, and what remains open.

Publisher: Data.gov, the U.S. federal government open data site

Catalogue that points to datasets from federal and some non-federal sources.

• Data Science

Publisher: NCBI, National Library of Medicine, NIH

Archive of studies that investigate how human genotype and phenotype interact.

• Genetics
• Medicine

Named on the homepage partner network and on the consortium route.

Register statusUnverified

Sciences

A source-backed overview of economics through data and AI: machine learning, causal inference, replication and satellite-based measurement.

Publisher: U.S. Energy Information Administration (EIA)

Energy statistics on electricity, fuels, prices and consumption through an API and downloads.

• Energy
• Economics

Sciences

A source-backed overview of energy through data and modelling: grid and system models, solar and demand data, forecasting and machine learning.

Publisher: Food and Agriculture Organization of the United Nations (FAO)

Global statistics on food and agriculture maintained by the FAO.

• Agriculture
• Economics

Review how INSTAR Lab approaches federal research funding, sponsored programs, and STTR partnerships across NSF, NASA, DOE, USDA, and other mission-driven organizations.

Named on the homepage partner network and on the consortium route.

Register statusUnverified

Publisher: USDA Agricultural Research Service

Food composition and nutrient data covering foundation, branded and survey foods.

• Agriculture
• Medicine

Technology

How mathematical proof is used to show that software and hardware behave as specified, where it works in practice, and what remains hard.

An INSTAR Lab research brief on formal verification for safety-critical and high-assurance software—and why testing alone cannot establish correctness.

Publisher: Federal Reserve Bank of St. Louis

Hundreds of thousands of economic time series aggregated from many sources.

• Economics

Publisher: NCBI, National Library of Medicine, NIH

Annotated public collection of DNA sequences, exchanged daily with the DDBJ and ENA.

• Genetics
• Biology

Sciences

A source-backed overview of computational genetics: reference genomes, biobanks, variant interpretation and sequence-based prediction, with open questions.

Sciences

A source-backed overview of geology through data: seismic catalogues, machine-learning phase picking, and open questions in earthquake science.

Named on the homepage partner network and on the consortium route.

Register statusUnverified

Publisher: Glottolog editors (Hammarström, Forkel, Haspelmath, Bank)

A reference catalogue of the world's languages, families and dialects with bibliographic sources.

• Linguistics
• Anthropology

Publisher: U.S. Government Publishing Office (GPO)

Machine-readable collections of federal publications such as the Federal Register and the Code of Federal Regulations.

• Law

Publisher: GW Open Science Center

Public strain data and event catalogues from gravitational-wave detectors.

• Physics
• Outer Space

Publisher: OpenAI (GitHub: openai/grade-school-math)

About 8,500 grade-school math word problems for testing multi-step reasoning.

• Machine Intelligence
• Natural Language Processing

An INSTAR Lab research brief on GPU-accelerated computing, sovereign on-premises AI infrastructure, and the applied systems work behind frontier capability.

Publisher: Human Connectome Project

Brain imaging and behavioural data from healthy young adults.

• Neuroscience

Publisher: OpenAI (GitHub: openai/human-eval)

Hand-written programming problems with an evaluation harness for testing code generation.

• Machine Intelligence
• Computer Science

Publisher: International Genome Sample Resource, EMBL-EBI

Open human genome variation data from the 1000 Genomes Project and later IGSR collections.

• Genetics

INSTAR’s network of affiliated organizations. Each affiliation’s verification status is listed in the public record.

Sciences

A source-backed overview of computational kinesiology: motion capture, pose estimation, musculoskeletal simulation and accelerometer-based measurement.

Sciences

A source-backed overview of law and AI: legal prediction, language models, hallucination evidence, and the EU, OECD and NIST governance texts.

An INSTAR Lab research brief on how legal and regulatory systems govern fast-moving technologies such as AI, biotechnology, and quantum computing.

Sciences

A source-backed overview of linguistics in the age of language models: language diversity, endangered-language documentation and what models learn.

Technology

A plain-language, source-backed overview of machine intelligence: how learning systems work, how they are evaluated, and what remains unresolved.

Publisher: Materials Project (US Department of Energy effort)

Computed properties of inorganic materials, available through an API and AWS Open Data.

• Materials Science
• Chemistry

Sciences

A source-backed overview of materials science through data: open computed databases, machine-learning discovery and autonomous synthesis.

An INSTAR Lab research brief on the materials science behind energy storage and generation, and why atomic-scale discovery to a durable system is the hard part.

Sciences

A source-backed overview of clinical AI: how medical algorithms are built, regulated and evaluated, including the FDA's AI-enabled device guidance.

Publisher: PhysioNet

De-identified hospital health records for research on clinical care.

• Medicine
• Physiology

Publisher: U.S. Geological Survey (USGS)

Worldwide records of metallic and nonmetallic mineral deposits with location, commodity, geology and reserves.

• Geology

Publisher: Hendrycks et al. (GitHub: hendrycks/test)

A multiple-choice benchmark of questions across many academic subjects for testing language models.

• Machine Intelligence
• Natural Language Processing

Publisher: Munich Quantum Toolkit, Technical University of Munich

A library of quantum benchmark circuits at several abstraction levels.

• Quantum Computing

Publisher: NASA Earth Science Data Systems (ESDS)

Gateway to NASA Earth observation data and services from satellites, aircraft and field campaigns.

• Outer Space
• Geology
• Ocean Science

Publisher: NASA Exoplanet Archive, operated by Caltech under contract with NASA

Catalogues of confirmed exoplanets, host stars and related survey data.

• Outer Space
• Physics

Publisher: NASA Planetary Data System

Long-term archive of data products returned from NASA planetary missions, organised by discipline nodes.

• Outer Space
• Geology

Publisher: U.S. Geological Survey (USGS)

Catalogue and viewers for geologic maps, a geologic names lexicon, historical topographic maps and map standards.

• Geology

Technology

A plain-language, source-backed overview of natural language processing: how computers handle human language, how it is tested, and what is unresolved.

Publisher: National Cancer Institute, NIH

Cancer genomic and clinical data with an open-access tier and a controlled-access tier.

• Medicine
• Genetics

Sciences

A source-backed overview of computational neuroscience: open neuroimaging data, brain-wide association studies, connectomes and brain models.

Publisher: National Institute of Standards and Technology (NIST)

Reference thermochemical, spectral and other property data for chemical species.

• Chemistry
• Physics

Publisher: National Institute of Standards and Technology (NIST)

Recommended values of the fundamental physical constants with uncertainties and correlations.

• Physics

Publisher: NOAA Center for Operational Oceanographic Products and Services (CO-OPS)

API for water levels, tide predictions, currents and coastal meteorological observations from CO-OPS stations.

• Ocean Science

Publisher: NOMAD (managed by MPCDF and FHI for the Max Planck Society)

Platform for hosting and sharing materials-science data and calculations.

• Materials Science
• Physics

Sciences

A source-backed overview of ocean science through data: profiling floats, global observing systems, and machine learning for marine data.

Publisher: Open Context

Open-access archaeological research data published with project documentation.

• Archaeology
• Anthropology

A curated, searchable reference list of third-party public datasets from federal portals, science agencies and repositories, organized by research area. INSTAR-published datasets: none yet.

Why transparent datasets, reproducible methods, and clear limits matter to credible nonprofit research.

Publisher: U.S. Department of Energy programs and national laboratories

Catalogue of energy datasets from DOE programs, offices and national laboratories.

• Energy

Publisher: Google LLC

About 9 million images with labels, bounding boxes, segmentation masks and relationships.

• Machine Intelligence
• Data Science

Publisher: U.S. Food and Drug Administration (FDA)

Public FDA data on drugs, devices, foods and adverse events through an API.

• Medicine

Publisher: OpenNeuro

A platform for sharing brain-imaging datasets.

• Neuroscience

Publisher: U.S. Department of Energy Office of Scientific and Technical Information (OSTI)

Search portal for DOE-funded research results, including reports, articles and datasets.

• Energy
• Physics

Review how INSTAR Lab frames research questions, selects methods, examines evidence, and documents limitations before sharing a result.

Sciences

A source-backed overview of outer space science through data: exoplanet surveys, public archives, sky surveys and machine learning in astronomy.

Sciences

A source-backed overview of physics through computation: simulation, machine learning, particle-physics data and gravitational-wave detection.

Sciences

A source-backed overview of computational physiology: open signal archives, heart rate variability, ECG deep learning and wearable sensor accuracy.

An INSTAR Lab research brief on sensor networks, remote sensing, and soil microbiome research in precision agriculture, and why open datasets matter.

Publisher: RCSB PDB, member of the worldwide PDB (wwPDB)

Experimentally determined 3D structures of proteins, nucleic acids and complexes.

• Biology
• Chemistry

Sciences

A source-backed overview of psychology as a data science: replication, preregistration, prediction and who is actually studied.

Publisher: PhysioNet (dataset authors: Wagner, Strodthoff, Bousseljot, Samek, Schaeffter)

A large public collection of 12-lead clinical ECG recordings with diagnostic annotations.

• Physiology
• Medicine

Publisher: Pacific Northwest National Laboratory (Battelle Memorial Institute)

A suite of low-level OpenQASM circuits for evaluating and simulating near-term quantum computers.

• Quantum Computing

Technology

A plain-language look at quantum computing: what has been demonstrated, why error correction is the central obstacle, and why cryptography is already changing.

An INSTAR Lab research perspective on advances in qubit coherence, quantum error correction, and the path toward practical quantum sensing and computation.

The owner has confirmed the affiliation. The site describes drone-sensing work developed with Ravonics LLC, a HUBZone defense contractor in West Virginia, and names the organization in the research and record-room copy.

Register statusOwner confirmed

Review the laboratory, compute, sensing, and collaboration infrastructure that supports INSTAR Lab research programs and sponsored work.

INSTAR Lab develops research at the frontier of AI, quantum science, HPC, health, energy, and space, with methods and outputs that can move to applied programs.

Engagement opportunities at INSTAR Lab: collaborative programs, STTR partnerships, co-investigation, fellowship, and sponsored research pathways.

Every INSTAR Lab output in one filterable list: research briefs, field overviews, the capability statement, the dataset catalogue, the funders page and public code. Peer-reviewed publications: none yet.

INSTAR Lab has no peer-reviewed publications yet, a measured zero attested by its chief executive officer. The research briefs it has published are listed here with citations.

Publisher: NCBI, National Library of Medicine, NIH

Repository of raw high-throughput sequencing data from all branches of life.

• Genetics
• Biology

Sciences

A source-backed overview of computational sociology: digital data, text as data, prediction limits and language models in social research.

Labs

A source-backed overview of protecting AI model weights and training data on controlled infrastructure: threats, confidential computing and risk frameworks.

Publisher: Stanford NLP Group

Reading-comprehension questions about Wikipedia articles, including questions that cannot be answered.

• Natural Language Processing
• Machine Intelligence

Publisher: Stack Exchange, Inc. (hosted on the Internet Archive)

Public dumps of questions and answers from the Stack Exchange network.

• Natural Language Processing
• Computer Science

Publisher: SoSy-Lab (SV-COMP)

Verification tasks used by the International Competition on Software Verification.

• Formal Methods
• Computer Science

Named on the homepage partner network and on the consortium route.

Register statusUnverified

Publisher: U.S. Geological Survey (USGS)

Downloadable topographic and GIS data layers: elevation, hydrography, place names, boundaries, structures and transportation.

• Geology

Publisher: Universal Dependencies community

Consistently annotated grammar treebanks for many languages, released twice a year.

• Linguistics
• Natural Language Processing

Publisher: USDA National Agricultural Statistics Service (NASS)

Query tool and API for US agricultural statistics such as crops, livestock and farm economics.

• Agriculture
• Economics

Publisher: U.S. Geological Survey (USGS)

Searchable catalogue of earthquakes with downloadable event lists.

• Geology

An INSTAR Lab research brief on how wrist wearables estimate heart rate, how close their readings come to an ECG, where they drift, and what a heart-rhythm alert means.

An INSTAR Lab research brief on how language-model benchmarks work, where their scores can mislead, and the questions to ask before trusting one.

Publisher: Wikimedia Foundation

Downloadable full-text and metadata dumps of Wikipedia and other Wikimedia projects.

• Natural Language Processing
• Data Science

Publisher: The World Bank Group

Development indicators and datasets covering countries worldwide.

• Economics
• Sociology

Named on the homepage partner network and on the consortium route.

Register statusUnverified

Publisher: NOAA National Centers for Environmental Information (NCEI)

Gridded climatological fields of ocean properties built from the World Ocean Database.

• Ocean Science

Publisher: NOAA National Centers for Environmental Information (NCEI)

A large collection of quality-controlled ocean profile measurements such as temperature, salinity, oxygen and nutrients.

• Ocean Science