Form-From: A Design Space of Social Media Systems by Zhang, Amy X., Bernstein, Michael S., Karger, David R., Ackerman, Mark S.

Get full text

Benchmarking Graph Transformers Toward Scalability for Large Graphs by Lim, Katherine S.

Get full text

Foundational Integration Verification of a Cryptographic Server by Erbsen, Andres, Philipoom, Jade, Jamner, Dustin, Lin, Ashley, Gruetter, Samuel, Pit-Claudel, Clément, Chlipala, Adam

Get full text

Talk2Care: An LLM-based Voice Assistant for Communication between Healthcare Providers and Older Adults by Yang, Ziqi, Xu, Xuhai, Yao, Bingsheng, Rogers, Ethan, Zhang, Shao, Intille, Stephen, Shara, Nawar, Gao, Guodong Gordon, Wang, Dakuo

Get full text

A Verified Compiler for a Functional Tensor Language by Liu, Amanda, Bernstein, Gilbert, Chlipala, Adam, Ragan-Kelley, Jonathan

Get full text

Towards Spatially Varying Gloss Reproduction for 3D Printing by Piovarci, Michal, Foshey, Michael, Babaei, Vahid, Rusinkiewicz, Szymon, Matusik, Wojciech, Didyk, Piotr

Get full text

A performance analysis of prediction techniques in handling high-dimensional uncertain data for the application of skyline query over data stream by Ahmed Mohamud, Mudathir, Ibrahim, Hamidah, Sidi, Fatimah, Mohd Rum, Siti Nurulain, Dzolkhifli, Zarina, Xiaowei, Zhang

Get full text

Bias in machine learning applications to address non-communicable diseases at a population-level: a scoping review by Birdi, Sharon, Rabet, Roxana, Durant, Steve, Patel, Atushi, Vosoughi, Tina, Shergill, Mahek, Costanian, Christy, Ziegler, Carolyn P., Ali, Shehzad, Buckeridge, David, Ghassemi, Marzyeh, Gibson, Jennifer, John-Baptiste, Ava, Macklin, Jillian, McCradden, Melissa, McKenzie, Kwame

Get full text

Study on the Low-Voltage Ride-Thorough Capability of Photovoltaic Grid-Connected Neutral-Point-Clamped Inverters with Active/Reactive Power Injection by Konstantinou, Georgios, Dehghani Tafti, Hossein, Iftekhar Maswood, Ali, Pou, Josep, Kandasamy, Karthik, Lim, Ziyou, Ooi, Gabriel Heo Peng

Get full text
Get full text
Get full text

SoK: Understanding Design Choices and Pitfalls of Trusted Execution Environments by Li, Mengyuan, Yang, Yuheng, Chen, Guoxing, Yan, Mengjia, Zhang, Yinqian

Get full text

SNARGs under LWE via Propositional Proofs by Jin, Zhengzhong, Kalai, Yael, Lombardi, Alex, Vaikuntanathan, Vinod

Get full text

GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control by Zhang, Songyuan, So, Oswin, Garg, Kunal, Fan, Chuchu

Get full text

Shaving Logs via Large Sieve Inequality: Faster Algorithms for Sparse Convolution and More by Jin, Ce, Xu, Yinzhan

Get full text

Squaring a Circle: To What Extent Are Traditional Circuit Analogies Impeding Synthetic Biology? by Ilia, Katherine, Del Vecchio, Domitilla

Get full text

A Soft Robotic Sleeve for Compression Therapy of the Lower Limb by Rosalia, Luca, Lamberti, Kimberly K., Landry, Madison K., Leclerc, Cecile M., Shuler, Franklin D., Hanumara, Nevan C., Roche, Ellen T.

Get full text

16.412J / 6.834J Cognitive Robotics, Spring 2004 by Williams, Brian C., Roy, Nicholas

Get full text

Transient Stability Guarantees for Ad Hoc DC Microgrids by Cavanagh, Kathleen, Belk, Julia A., Turitsyn, Konstantin

Get full text

Quantum algorithms for group convolution, cross-correlation, and equivariant transformations by Castelazo, Grecia, Nguyen, Quynh T, De Palma, Giacomo, Englund, Dirk, Lloyd, Seth, Kiani, Bobak T

Get full text

Computational discovery of microstructured composites with optimal stiffness-toughness trade-offs by Li, Beichen, Deng, Bolei, Shou, Wan, Oh, Tae-Hyun, Hu, Yuanming, Luo, Yiyue, Shi, Liang, Matusik, Wojciech

Get full text

A physics-inspired approach to the understanding of molecular representations and models by Dicks, Luke, Graff, David E, Jordan, Kirk E, Coley, Connor W, Pyzer-Knapp, Edward O

Get full text