Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

Get full text

Work-Efficient Parallel Derandomization II: Optimal Concentrations via Bootstrapping by Ghaffari, Mohsen, Grunau, Christoph

Get full text

Limitations of the Impagliazzo–Nisan–Wigderson Pseudorandom Generator Against Permutation Branching Programs by Hoza, William M., Pyne, Edward, Vadhan, Salil

Get full text

Block-encoding dense and full-rank kernels using hierarchical matrices: applications in quantum numerical linear algebra by Nguyen, Quynh T., Kiani, Bobak T., Lloyd, Seth

Get full text

Non-linear Log-Sobolev Inequalities for the Potts Semigroup and Applications to Reconstruction Problems by Gu, Yuzhou, Polyanskiy, Yury

Get full text

Using magnetic resonance relaxometry to evaluate the safety and quality of induced pluripotent stem cell-derived spinal cord progenitor cells by Tan, Jerome, Chen, Jiahui, Roxby, Daniel, Chooi, Wai H., Nguyen, Tan D., Ng, Shi Y., Han, Jongyoon, Chew, Sing Y.

Get full text

Tunable metasurfaces for active nanophotonics by Omar Abdelrahman Mohamed Abdelraouf

Get full text

Memory Checking Requires Logarithmic Overhead by Boyle, Elette, Komargodski, Ilan, Vafa, Neekon

Get full text

Free-electron crystals for enhanced X-ray radiation by Wong, Wesley Lee Wei, Shi, Xihang, Karnieli, Aviv, Lim, Jeremy, Kumar, Suraj, Carbajo, Sergio, Kaminer, Ido, Wong, Liang Jie

Get full text

From External to Swap Regret 2.0: An Efficient Reduction for Large Action Spaces by Dagan, Yuval, Daskalakis, Constantinos, Fishelson, Maxwell, Golowich, Noah

Get full text

Compact x-ray source based on burst-mode inverse Compton scattering at 100 kHz by Bessuille, J., Brown, P., Carbajo, S., Dolgashev, Valery A., Lin, H., Murari, K., Resta, G., Tantawi, S., Zapata, L. E., Graves, William S., Hong, Kyung-Han, Ihloff, Ernest E., Khaykovich, Boris, Nanni, Emilio Alessandro, Kaertner, Franz X., Moncton, David E.

Get full text
Get full text
Get full text
Get full text
Get full text

Sampling from convex sets with a cold start using multiscale decompositions by Narayanan, Hariharan, Rajaraman, Amit, Srivastava, Piyush

Get full text

Exploring the Dynamics of Canine-Assisted Interactions: A Wearable Approach to Understanding Interspecies Well-Being by Holder, Timothy R. N., Nichols, Colt, Summers, Emily, Roberts, David L., Bozkurt, Alper

Get full text

Energy transfer driven brightening of MoS2 by ultrafast polariton relaxation in microcavity MoS2/hBN/WS2 heterostructures by Hu, Zehua, Krisnanda, Tanjung, Fieramosca, Antonio, Zhao, Jiaxin, Sun, Qianlu, Chen, Yuzhong, Liu, Haiyun, Luo, Yuan, Su, Rui, Wang, Junyong, Watanabe, Kenji, Taniguchi, Takashi, Eda, Goki, Wang, Renshaw Xiao, Ghosh, Sanjib, Dini, Kevin, Sanvitto, Daniele, Liew, Timothy Chi Hin, Xiong, Qihua

Get full text

Harnessing Geothermal Energy Potential from High-Level Nuclear Waste Repositories by Sarsenbayev, Dauren, Zheng, Liange, Ermakova, Dinara, Sharipov, Rashid, Wainwright, Haruko M.

Get full text

Selective sulfidation of metal compounds by Stinn, Caspar, Allanore, Antoine

Get full text