algorithm debugging 1astrobiology 1chemical evolution 1counterexample shrinking 1dwarf galaxies 1galactic archaeology 1interstellar ice 1magnesium isotopes 1parametric timed automata 1peptide formation 1prebiotic molecules 1quantitative automata 1
From the 3 of 14 papers with an AI index.
5 citations
- Centre National de la Recherche ScientifiqueFR2 papers
- Monash UniversityAU2 papers
- University of OxfordGB2 papers
- Aarhus University HospitalDK1 paper
- Anhui University of Science and TechnologyCN1 paper
- ARC Centre of Excellence for All-sky AstrophysicsAU1 paper
- ASTRO-3DAU1 paper
- Astronomical Observatory of CapodimonteIT1 paper
- Astrophysique, Instrumentation et ModélisationFR1 paper
- Australian National UniversityAU1 paper
- Austrian Academy of SciencesAT1 paper
- Brera Astronomical ObservatoryIT1 paper
Showing cond-mat.mtrl-sciShow all
1 paper · 1 filter