Semantic labeling of 3d point clouds for indoor scenes H Koppula, A Anand, T Joachims, A Saxena Advances in neural information processing systems 24, 2011 | 468 | 2011 |
Weather forecasting model using artificial neural network K Abhishek, MP Singh, S Ghosh, A Anand Procedia Technology 4, 311-318, 2012 | 380 | 2012 |
Contextually guided semantic labeling and search for three-dimensional point clouds A Anand, HS Koppula, T Joachims, A Saxena The International Journal of Robotics Research 32 (1), 19-34, 2013 | 258 | 2013 |
Review of hierarchical control strategies for DC microgrid A Abhishek, A Ranjan, S Devassy, B Kumar Verma, SK Ram, AK Dhakar IET Renewable Power Generation 14 (10), 1631-1640, 2020 | 141 | 2020 |
CertiCoq: A verified compiler for Coq A Anand, A Appel, G Morrisett, Z Paraskevopoulou, R Pollack, ... The third international workshop on Coq for programming languages (CoqPL), 2017 | 136 | 2017 |
Document-level sentiment classification using hybrid machine learning approach A Tripathy, A Anand, SK Rath Knowledge and Information Systems 53, 805-831, 2017 | 134 | 2017 |
The metacoq project M Sozeau, A Anand, S Boulier, C Cohen, Y Forster, F Kunze, G Malecha, ... Journal of automated reasoning 64 (5), 947-999, 2020 | 114 | 2020 |
Three new estimates of India's all-cause excess mortality during the COVID-19 pandemic A Anand, J Sandefur, A Subramanian Center for Global Development, 2021 | 109 | 2021 |
Endophytes and epiphytes from the grapevine leaf microbiome as potential biocontrol agents against phytopathogens S Bruisson, M Zufferey, F L’Haridon, E Trutmann, A Anand, A Dutartre, ... Frontiers in microbiology 10, 2726, 2019 | 81 | 2019 |
Contribution of Hydrogen Cyanide to the Antagonistic Activity of Pseudomonas Strains Against Phytophthora infestans A Anand, D Chinchilla, C Tan, L Mène-Saffrané, F L’Haridon, L Weisskopf Microorganisms 8 (8), 1144, 2020 | 75 | 2020 |
Evaluation of Bacillus subtilis R0179 on gastrointestinal viability and general wellness: a randomised, double-blind, placebo-controlled trial in healthy adults A Hanifi, T Culpepper, V Mai, A Anand, AL Ford, M Ukhanova, ... Beneficial microbes 6 (1), 19-28, 2015 | 75 | 2015 |
Towards Certified Meta-Programming with Typed Template-Coq A Anand, S Boulier, C Cohen, M Sozeau, N Tabareau International Conference on Interactive Theorem Proving, 20-39, 2018 | 64 | 2018 |
The National COVID Cohort Collaborative: clinical characterization and early severity prediction TD Bennett, RA Moffitt, JG Hajagos, B Amor, A Anand, MM Bissell, ... MedRxiv, 2021 | 61 | 2021 |
Circulating Tumor Cell cluster phenotype allows monitoring response to treatment and predicts survival A Balakrishnan, D Koppaka, A Anand, B Deb, G Grenci, V Viasnoff, ... Scientific Reports 9 (1), 7933, 2019 | 58 | 2019 |
Towards a formally verified proof assistant A Anand, V Rahli Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014 | 53 | 2014 |
ROSCoq: Robots powered by constructive reals A Anand, R Knepper Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing …, 2015 | 52 | 2015 |
Enhanced piezoelectricity properties of reduced graphene oxide (RGO) loaded polyvinylidene fluoride (PVDF) nanocomposite films for nanogenerator application A Anand, D Meena, KK Dey, MC Bhatnagar Journal of Polymer Research 27, 1-11, 2020 | 50 | 2020 |
Charged particle tracking with quantum annealing optimization A Zlokapa, A Anand, JR Vlimant, JM Duarte, J Job, D Lidar, M Spiropulu Quantum Machine Intelligence 3, 1-11, 2021 | 46 | 2021 |
An overview on economic machining of hardened steels by hard turning and its process variables A Anand, AK Behera, SR Das Manufacturing Review 6, 4, 2019 | 46 | 2019 |
Analysis of chikungunya virus proteins reveals that non-structural proteins nsP2 and nsP3 exhibit RNA interference (RNAi) suppressor activity K Mathur, A Anand, SK Dubey, N Sanan-Mishra, RK Bhatnagar, S Sunil Scientific reports 6 (1), 38065, 2016 | 46 | 2016 |