FairSquare: probabilistic verification of program fairness von Albarghouthi, Aws, D'Antoni, Loris, Drews, Samuel, Nori, Aditya V.

Volltext

Active label cleaning for improved dataset quality under resource constraints von Bernhardt, Mélanie, Castro, Daniel C., Tanno, Ryutaro, Schwaighofer, Anton, Tezcan, Kerem C., Monteiro, Miguel, Bannur, Shruthi, Lungren, Matthew P., Nori, Aditya, Glocker, Ben, Alvarez-Valle, Javier, Oktay, Ozan

Volltext

Deep learning for the prediction of clinical outcomes in internet-delivered CBT for depression and anxiety von Prasad, Niranjani, Chien, Isabel, Regan, Tim, Enrique, Angel, Palacios, Jorge, Keegan, Dessie, Munir, Usman, Tanno, Ryutaro, Richardson, Hannah, Nori, Aditya, Richards, Derek, Doherty, Gavin, Belgrave, Danielle, Thieme, Anja

Volltext

Enabling large-scale screening of Barrett’s esophagus using weakly supervised deep learning in histopathology von Bouzid, Kenza, Sharma, Harshita, Killcoyne, Sarah, Castro, Daniel C., Schwaighofer, Anton, Ilse, Max, Salvatelli, Valentina, Oktay, Ozan, Murthy, Sumanth, Bordeaux, Lucas, Moore, Luiza, O’Donovan, Maria, Thieme, Anja, Nori, Aditya, Gehrung, Marcel, Alvarez-Valle, Javier

Volltext

Autosegmentation of prostate anatomy for radiation treatment planning using deep decision forests of radiomic features von Macomber, Meghan W, Phillips, Mark, Tarapov, Ivan, Jena, Rajesh, Nori, Aditya, Carter, David, Folgoc, Loic Le, Criminisi, Antonio, Nyflot, Matthew J

Volltext

A Data Driven Approach for Algebraic Loop Invariants von Sharma, Rahul, Gupta, Saurabh, Hariharan, Bharath, Aiken, Alex, Liang, Percy, Nori, Aditya V.

Volltext

Proofs from Tests von Beckman, N E, Nori, A V, Rajamani, S K, Simmons, R J, Tetali, S D, Thakur, A V

Volltext

Automating Software Testing Using Program Analysis von Godefroid, P., de Halleux, P., Nori, A.V., Rajamani, S.K., Schulte, W., Tillmann, N., Levin, M.Y.

Volltext

Probabilistic Lipschitz Analysis of Neural Networks von Mangal, Ravi, Sarangmath, Kartik, Nori, Aditya V., Orso, Alessandro

Volltext

Bottom-Up Shape Analysis using LISF von GULAVANI, Bhargav S, CHAKRABORTY, Supratik, RAMALINGAM, G, NORI, Aditya V

Volltext

Verification as Learning Geometric Concepts von Sharma, Rahul, Gupta, Saurabh, Hariharan, Bharath, Aiken, Alex, Nori, Aditya V.

Volltext

Unifying Views of Tail-Biting Trellis Constructions for Linear Block Codes von Nori, A.V., Shankar, P.

Volltext

Proceedings Fourth Workshop on Synthesis: Probabilistic Programming: Algorithms, Implementation and Synthesis von Nori, Aditya

Volltext

Refining abstract interpretations von Gulavani, Bhargav S., Chakraborty, Supratik, Nori, Aditya V., Rajamani, Sriram K.

Volltext

Unsupervised Domain Adaptation in Brain Lesion Segmentation with Adversarial Networks von Niethammer, Marc

Volltext

DeepMedic for Brain Tumor Segmentation von Kamnitsas, Konstantinos, Ferrante, Enzo, Parisot, Sarah, Ledig, Christian, Nori, Aditya V., Criminisi, Antonio, Rueckert, Daniel, Glocker, Ben

Volltext

Making the Most of Text Semantics to Improve Biomedical Vision–Language Processing von Boecking, Benedikt, Usuyama, Naoto, Bannur, Shruthi, Castro, Daniel C., Schwaighofer, Anton, Hyland, Stephanie, Wetscherek, Maria, Naumann, Tristan, Nori, Aditya, Alvarez-Valle, Javier, Poon, Hoifung, Oktay, Ozan

Volltext

A Machine Learning Approach to Understanding Patterns of Engagement With Internet-Delivered Mental Health Interventions von Chien, Isabel, Enrique, Angel, Palacios, Jorge, Regan, Tim, Keegan, Dessie, Carter, David, Tschiatschek, Sebastian, Nori, Aditya, Thieme, Anja, Richards, Derek, Doherty, Gavin, Belgrave, Danielle

Volltext

Autofocus Layer for Semantic Segmentation von Qin, Yao, Kamnitsas, Konstantinos, Ancha, Siddharth, Nanavati, Jay, Cottrell, Garrison, Criminisi, Antonio, Nori, Aditya

Volltext

Evaluation of Deep Learning to Augment Image-Guided Radiotherapy for Head and Neck and Prostate Cancers von Oktay, Ozan, Nanavati, Jay, Schwaighofer, Anton, Carter, David, Bristow, Melissa, Tanno, Ryutaro, Jena, Rajesh, Barnett, Gill, Noble, David, Rimmer, Yvonne, Glocker, Ben, O'Hara, Kenton, Bishop, Christopher, Alvarez-Valle, Javier, Nori, Aditya

Volltext