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 34 papers with an AI index.
25 citations
- Aarhus University HospitalDK3 papers
- University of TurkuFI3 papers
- Astronomical Observatory of CapodimonteIT2 papers
- Brera Astronomical ObservatoryIT2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- GSI Helmholtz Centre for Heavy Ion ResearchDE2 papers
- Monash UniversityAU2 papers
- Osservatorio Astrofisico di CataniaIT2 papers
- Osservatorio Astronomico di PadovaIT2 papers
- Queen's University BelfastGB2 papers
- Technische Universität DarmstadtDE2 papers
- Turku Centre for Computer ScienceFI2 papers
Showing math.PRShow all
2 papers · 1 filter
math.PR2026
Spectral bounds and heat kernel upper estimates for Dirichlet forms
Aobo Chen, Zhenyu Yu
We use a Harnack-type inequality on exit times and spectral bounds to characterize upper bounds of the heat kernel associated with any regular Dirichlet form without killing part,…
math.PR2026★ 1 cited
Efficient Rare-Event Simulation for Random Geometric Graphs via Importance Sampling
Sarat Moka, Christian Hirsch, Volker Schmidt +1
Random geometric graphs defined on Euclidean subspaces, also called Gilbert graphs, are widely used to model spatially embedded networks across various domains. In such graphs, nod…