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

Get full text

High p16 expression and heterozygous RB1 loss are biomarkers for CDK4/6 inhibitor resistance in ER+ breast cancer by Palafox, Marta, Monserrat, Laia, Bellet, Meritxell, Villacampa, Guillermo, Gonzalez-Perez, Abel, Oliveira, Mafalda, Brasó-Maristany, Fara, Ibrahimi, Nusaibah, Kannan, Srinivasaraghavan, Mina, Leonardo, Herrera-Abreu, Maria Teresa, Òdena, Andreu, Sánchez-Guixé, Mònica, Capelán, Marta, Azaro, Analía, Bruna, Alejandra, Rodríguez, Olga, Guzmán, Marta, Grueso, Judit, Viaplana, Cristina, Hernández, Javier, Su, Faye, Lin, Kui, Clarke, Robert B., Caldas, Carlos, Arribas, Joaquín, Michiels, Stefan, García-Sanz, Alicia, Turner, Nicholas C., Prat, Aleix, Nuciforo, Paolo, Dienstmann, Rodrigo, Verma, Chandra Shekhar, Lopez-Bigas, Nuria, Scaltriti, Maurizio, Arnedos, Monica, Saura, Cristina, Serra, Violeta

Get full text

Inductance and resistance measurement method for vessel detection and coil powering in all-surface inductive heating systems composed of outer squircle coils by Kilic, Veli Tayfun, Unal, Emre, Demir, Hilmi Volkan

Get full text
Get full text

The combined activation of KCa3.1 and inhibition of Kv11.1/hERG1 currents contribute to overcome Cisplatin resistance in colorectal cancer cells by Pillozzi, Serena, D'Amico, Massimo, Bartoli, Gianluca, Gasparoli, Luca, Petroni, Giulia, Crociani, Olivia, Marzo, Tiziano, Guerriero, Angela, Messori, Luigi, Severi, Mirko, Udisti, Roberto, Wulff, Heike, Chandy, Kanianthara George, Becchetti, Andrea, Arcangeli, Annarosa

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

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

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

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 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

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

Get full text