Nisarg Patel

Smart Approach for Identification of Pneumonia Using Real-Time Convolutional Neural Networks

Darshankumar C. Dalwadi, Yagnik Mehta, Neel Macwan, 2020, Communications in Computer and Information Science.

Overview of the COMPASS results

David Tskhakaya, Vadim Yanovskiy, Petr Kulhánek, 2021, Nuclear Fusion.

Automated Verification of Concurrent Search Structures

Dennis Shasha, Thomas Wies, Siddharth Krishna, 2021, Synthesis Lectures on Computer Science.

Smart Approach to Optical Character Recognition and Ubiquitous Speech Synthesis Using Real-Time Deep Learning Algorithms

Bhargav C. Goradiya, Yagnik Mehta, Neel Macwan, 2021 .

Verifying concurrent multicopy search structures

Thomas Wies, Dennis Shasha, Nisarg Patel, 2021, Proc. ACM Program. Lang..