papers
Publications (6)
cs.PL2019
Multiparty Session Type-safe Web Development with Static Linearity
Jonathan King, Nicholas Ng, Nobuko Yoshida
hep-ex2018
Quantum Sensing for High Energy Physics
Zeeshan Ahmed, Yuri Alexeev, Giorgio Apollinari +113
quant-ph2017
Multi-spin-assisted optical pumping of bulk 13C nuclear spin polarization in diamond
Daniela Pagliero, K. R. Koteswara Rao, Pablo R. Zangara +11
physics.app-ph2018
Limiting optical diodes enabled by the phase transition of vanadium dioxide
Chenghao Wan, Erik Horak, Jonathan King +8
physics.ins-det2017
Performance of a MICROMEGAS-based TPC in a high-energy neutron beam
Lucas Snyder, Brett Manning, Nathaniel S. Bowden +27
math.DS1996
A zero-one law for dynamical properties
Eli Glasner, Jonathan King