Publications (15)
JWST Spectroscopy of SN H0pe: Classification and Time Delays of a Triply-imaged Type Ia Supernova at z = 1.78
Wenlei Chen, Patrick L. Kelly, Brenda L. Frye +19
SN H0pe is a triply imaged supernova (SN) at redshift discovered using the James Webb Space Telescope (JWST). In order to classify the SN spectroscopically and measure the…
Detecting unresolved lensed SNe Ia in LSST using blended light curves
Satadru Bag, Simon Huber, Sherry H. Suyu +10
Strongly gravitationally lensed supernovae (LSNe) are promising probes for providing absolute distance measurements using gravitational-lens time delays. Spatially unresolved LSNe…
Budget-optimal multi-robot layout design for box sorting
Peiyu Zeng, Yijiang Huang, Simon Huber +1
Robotic systems are routinely used in the logistics industry to enhance operational efficiency, but the design of robot workspaces remains a complex and manual task, which limits t…
On Higher Inductive Types in Cubical Type Theory
Thierry Coquand, Simon Huber, Anders Mörtberg
Cubical type theory provides a constructive justification to certain aspects of homotopy type theory such as Voevodsky's univalence axiom. This makes many extensionality principles…
Measuring DNS over TCP in the Era of Increasing DNS Response Sizes: A View from the Edge
Mike Kosek, Trinh Viet Doan, Simon Huber +1
The Domain Name System (DNS) is one of the most crucial parts of the Internet. Although the original standard defined the usage of DNS over UDP (DoUDP) as well as DNS over TCP (DoT…
The univalence axiom in cubical sets
Marc Bezem, Thierry Coquand, Simon Huber
In this note we show that Voevodsky's univalence axiom holds in the model of type theory based on symmetric cubical sets. We will also discuss Swan's construction of the identity t…
A Modular Benchmarking Infrastructure for High-Performance and Reproducible Deep Learning
Tal Ben-Nun, Maciej Besta, Simon Huber +3
We introduce Deep500: the first customizable benchmarking infrastructure that enables fair comparison of the plethora of deep learning frameworks, algorithms, libraries, and techni…
Optimizing the LSST Observing Strategy for Dark Energy Science: DESC Recommendations for the Wide-Fast-Deep Survey
Michelle Lochner, Daniel M. Scolnic, Humna Awan +33
Cosmology is one of the four science pillars of LSST, which promises to be transformative for our understanding of dark energy and dark matter. The LSST Dark Energy Science Collabo…
Detecting strongly-lensed type Ia supernovae with LSST
Nikki Arendse, Suhail Dhawan, Ana Sagués Carracedo +8
Strongly-lensed supernovae are rare and valuable probes of cosmology and astrophysics. Upcoming wide-field time-domain surveys, such as the Vera C. Rubin Observatory's Legacy Surve…
Cubical Type Theory: a constructive interpretation of the univalence axiom
Cyril Cohen, Thierry Coquand, Simon Huber +1
This paper presents a type theory in which it is possible to directly manipulate -dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent…
On the Applicability of Network Coordinate Systems for Fog Computing
Simon Huber, Tobias Pfandzelter, David Bermbach
Identifying the closest fog node is crucial for mobile clients to benefit from fog computing. Relying on geographical location alone us insufficient for this as it ignores real obs…
Differentiable Collision Avoidance Using Collision Primitives
Simon Zimmermann, Matthias Busenhart, Simon Huber +2
A central aspect of robotic motion planning is collision avoidance, where a multitude of different approaches are currently in use. Optimization-based motion planning is one method…
Canonicity and homotopy canonicity for cubical type theory
Thierry Coquand, Simon Huber, Christian Sattler
Cubical type theory provides a constructive justification of homotopy type theory. A crucial ingredient of cubical type theory is a path lifting operation which is explained comput…
The Impact of Observing Strategy on Cosmological Constraints with LSST
Michelle Lochner, Dan Scolnic, Husni Almoubayyed +24
The generation-defining Vera C. Rubin Observatory will make state-of-the-art measurements of both the static and transient universe through its Legacy Survey for Space and Time (LS…
Canonicity for Cubical Type Theory
Simon Huber
Cubical type theory is an extension of Martin-Löf type theory recently proposed by Cohen, Coquand, Mörtberg and the author which allows for direct manipulation of -dimensional…