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

Get full text

Requirement of dissonance in assisted optimal state discrimination by Zhang, Fu-Lin., Chen, Jing-Ling., Kwek, L. C., Vedral, Vlatko.

Get full text
Get full text

Mining software support tickets for assistive routing by Han, Jianglei

Get full text

Organic solvent-assisted control of hydrogel structures and properties by Zhou, Quan

Get full text

AudienceView: AI-Assisted Interpretation of Audience Feedback in Journalism by Brannon, William, Beeferman, Doug, Jiang, Hang, Heyward, Andrew, Roy, Deb

Get full text

FigurA11y: AI Assistance for Writing Scientific Alt Text by Singh, Nikhil, Wang, Lucy Lu, Bragg, Jonathan

Get full text

PANDALens: Towards AI-Assisted In-Context Writing on OHMD During Travels by Cai, Runze, Janaka, Nuwan, Chen, Yang, Wang, Lucia, Zhao, Shengdong, Liu, Can

Get full text

Stochastic optimisation of unmanned aerial vehicle assisted package delivery planning by Sawadsitang, Suttinee

Get full text

A length-adjustable vacuum-powered artificial muscle for wearable physiotherapy assistance in infants by Gollob, Samuel Dutra, Mendoza, Mijaíl Jaén, Koo, Bon Ho Brandon, Centeno, Esteban, Vela, Emir A., Roche, Ellen T.

Get full text

A promising deep learning-assistive algorithm for histopathological screening of colorectal cancer by Ho, Cowan, Zhao, Zitong, Chen, Xiu Fen, Sauer, Jan, Saraf, Sahil Ajit, Jialdasani, Rajasa, Taghipour, Kaveh, Sathe, Aneesh, Khor, Li-Yan, Lim, Kiat-Hon, Leow, Wei-Qiang

Get full text

Machine learning-assisted surrogate construction for full-core fuel performance analysis by Che, Yifeng, Yurko, Joseph, Seurin, Paul, Shirvan, Koroush

Get full text

Reading Between the Lines: Modeling User Behavior and Costs in AI-Assisted Programming by Mozannar, Hussein, Bansal, Gagan, Fourney, Adam, Horvitz, Eric

Get full text

Computer-assisted multistep chemoenzymatic retrosynthesis using a chemical synthesis planner by Sankaranarayanan, Karthik, Jensen, Klavs F

Get full text

Machine-Learning-Assisted Analysis of Visible Spectroscopy in Pulsed-Power-Driven Plasmas by Datta, Rishabh, Ahmed, Faez, Hare, Jack D.

Get full text

Intervention-Assisted Online Deep Reinforcement Learning for Stochastic Queuing Network Optimization by Wigmore, Jerrod, Shrader, Brooke, Modiano, Eytan

Get full text

Magnetic Resonance Imaging Assisted by Wireless Passive Implantable Fiducial e-Markers by Gokyar, Sayim, Alipour, Akbar, Unal, Emre, Atalar, Ergin, Demir, Hilmi Volkan

Get full text
Get full text

Combined ultrasound and photoacoustic imaging of blood clot during microbubble-assisted sonothrombolysis by Das, Dhiman, Pramanik, Manojit

Get full text
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

Evaluation of femtosecond laser-assisted anterior capsulotomy in the presence of ophthalmic viscoelastic devices (OVDs) by Mansoor, Hassan, Liu, Yu-Chi, Wong, Yoke Rung, Lwin, Nyein C., Seah, Xin Y., Mehta, Jodhbir Singh

Get full text

Towards a Multimodal Synchronized System for Quantifying Psychophysiological States in Canine Assisted Interactions by Holder, Timothy R. N., Nichols, Colt, Summers, Emily, Roberts, David L., Bozkurt, Alper

Get full text