Showing 1–20 of 23 results
/ Date/ Name
Apr 20, 2022Differentiable Collision Avoidance Using Collision PrimitivesNov 30, 2018Optimizing the LSST Observing Strategy for Dark Energy Science: DESC Recommendations for the Wide-Fast-Deep SurveyApr 12, 2021The Impact of Observing Strategy on Cosmological Constraints with LSSTFeb 4, 2018On Higher Inductive Types in Cubical Type TheoryOct 30, 2017The univalence axiom in cubical setsJul 14, 2016Canonicity for Cubical Type TheoryFeb 18, 2019Canonicity and homotopy canonicity for cubical type theoryJun 17, 2023On the Applicability of Network Coordinate Systems for Fog ComputingApr 23, 2024Detecting unresolved lensed SNe Ia in LSST using blended light curvesNov 7, 2016Cubical Type Theory: a constructive interpretation of the univalence axiomDec 7, 2023Detecting strongly-lensed type Ia supernovae with LSSTMay 2, 2022Measuring DNS over TCP in the Era of Increasing DNS Response Sizes: A View from the EdgeJan 29, 2019A Modular Benchmarking Infrastructure for High-Performance and Reproducible Deep LearningMar 27, 2024JWST Spectroscopy of SN H0pe: Classification and Time Delays of a Triply-imaged Type Ia Supernova at z = 1.78Dec 15, 2024Budget-optimal multi-robot layout design for box sortingAug 19, 2020HOLISMOKES -- III. Achromatic Phase of Strongly Lensed Type Ia SupernovaeJan 13, 2021HOLISMOKES -- V. Microlensing of type II supernovae and time-delay inference through spectroscopic phase retrievalMay 11, 2018Impact of the 3D source geometry on time-delay measurements of lensed type-Ia SupernovaeFeb 27, 2019Strongly lensed SNe Ia in the era of LSST: observing cadence for lens discoveries and time-delay measurementsAug 7, 2024HOLISMOKES -- XIV. Time-delay and differential dust extinction determination with lensed type II supernova color curves