Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking by Aaditya Prakash Chouhan, Gourinath Banda

Get full text

Autonomous Intersection Management: A Heuristic Approach by Aaditya Prakash Chouhan, Gourinath Banda

Get full text

A Cooperative Algorithm for Lane Sorting of Autonomous Vehicles by Aaditya Prakash Chouhan, Gourinath Banda, Kanishkar Jothibasu

Get full text

The dosimetric comparison between tandem-ovoid and tandemring applicator in cervical cancer brachytherapy by Aaditya Prakash, Kaustav Mandal, Neelima Pokala, Govinda Rao Amanapu

Get full text

Human-interpretable image features derived from densely mapped cancer pathology slides predict diverse molecular phenotypes by James A. Diao, Jason K. Wang, Wan Fung Chui, Victoria Mountain, Sai Chowdary Gullapally, Ramprakash Srinivasan, Richard N. Mitchell, Benjamin Glass, Sara Hoffman, Sudha K. Rao, Chirag Maheshwari, Abhik Lahiri, Aaditya Prakash, Ryan McLoughlin, Jennifer K. Kerner, Murray B. Resnick, Michael C. Montalto, Aditya Khosla, Ilan N. Wapinski, Andrew H. Beck, Hunter L. Elliott, Amaro Taylor-Weiner

Get full text