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

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

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

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

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

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

Fast Obstacle Avoidance Based on Real-Time Sensing by Huber, Lukas, Slotine, Jean-Jacques, Billard, Aude

Get full text

Avoiding Dense and Dynamic Obstacles in Enclosed Spaces: Application to Moving in Crowds by Huber, Lukas, Slotine, Jean-Jacques, Billard, Aude

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

Avoidance of Concave Obstacles Through Rotation of Nonlinear Dynamics by Huber, Lukas, Slotine, Jean-Jacques, Billard, Aude

Get full text

Clio: Real-Time Task-Driven Open-Set 3D Scene Graphs by Maggio, Dominic, Chang, Yun, Hughes, Nathan, Trang, Matthew, Griffith, Dan, Dougherty, Carlyn, Cristofalo, Eric, Schmid, Lukas, Carlone, Luca

Get full text

Cross-modal retrieval: a review of methodologies, datasets, and future perspectives by Han, Zhichao, Azman, Azreen Bin, Rina Binti Mustaffa, Mas, Binti Khalid, Fatimah

Get full text

Uncertainty Quantification of Spatiotemporal Travel Demand With Probabilistic Graph Neural Networks by Wang, Qingyi, Wang, Shenhao, Zhuang, Dingyi, Koutsopoulos, Haris, Zhao, Jinhua

Get full text