6 citations
2 papers
astro-ph.IM2020
Random Forests applied to High Precision Photometry Analysis with Spitzer IRAC
Jessica Krick, Jonathan Fraine, Jim Ingalls +1
We present a new method employing machine learning techniques for measuring astrophysical features by correcting systematics in IRAC high precision photometry using Random Forests.…
cs.LO2019★ 6 cited
Theorem and Algorithm Checking for Courses on Logic and Formal Methods
Wolfgang Schreiner
The RISC Algorithm Language (RISCAL) is a language for the formal modeling of theories and algorithms. A RISCAL specification describes an infinite class of models each of which ha…