Dataset Design for Building Models of Chemical Reactivity by Raghavan, Priyanka, Haas, Brittany C, Ruos, Madeline E, Schleinitz, Jules, Doyle, Abigail G, Reisman, Sarah E, Sigman, Matthew S, Coley, Connor W

Get full text

Individual Mobility Prediction in Mass Transit Systems Using Smart Card Data: An Interpretable Activity-Based Hidden Markov Approach by Mo, Baichuan, Zhao, Zhan, Koutsopoulos, Haris N, Zhao, Jinhua

Get full text

Probabilistic Programming with Programmable Variational Inference by Becker, McCoy R., Lew, Alexander K., Wang, Xiaoyan, Ghavami, Matin, Huot, Mathieu, Rinard, Martin C., Mansinghka, Vikash K.

Get full text

A data-driven approach to mapping multidimensional poverty at residential block level in Mexico by Zea-Ortiz, Marivel, Vera, Pablo, Salas, Joaquín, Manduchi, Roberto, Villaseñor, Elio, Figueroa, Alejandra, Suárez, Ranyart R.

Get full text

A Retractable Six-Prong Laparoscopic Grasper for Laparoscopic Myomectomy by Butters, Brenden, Fernández-Galiana, Álvaro, Wollin, Daniel, Traverso, Giovanni, Slocum, Alexander, Petrozza, John

Get full text

Examples out of Thin Air: AI-Generated Dynamic Context to Assist Program Comprehension by Example by Mattis, Toni, Krebs, Eva, Rinard, Martin C., Hirschfeld, Robert

Get full text

FraudGT: A Simple, Effective, and Efficient Graph Transformer for Financial Fraud Detection by Lin, Junhong, Guo, Xiaojie, Zhu, Yada, Mitchell, Samuel, Altman, Erik, Shun, Julian

Get full text

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

Identifying Money Laundering Subgraphs on the Blockchain by Song, Kiwhan, Dhraief, Mohamed Ali, Xu, Muhua, Cai, Locke, Chen, Xuhao, Mithal, Arvind, Chen, Jie

Get full text

Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, 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

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

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