Abhishek Anand

According to our database, Abhishek Anand authored at least 26 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Don't Blame the Data, Blame the Model: Understanding Noise and Bias When Learning from Subjective Annotations.

Abhishek Anand, Negar Mokhberian, Prathyusha Naresh Kumar, Anweasha Saha, Zihao He, Ashwin Rao, Fred Morstatter, Kristina Lerman

CoRR, 2024

An Integrated Multipurpose Low-Power Electrochemical Readout Interface with On-Chip Input Waveform Generator.

Sayan Sarkar, Abhishek Anand

Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024

2023

Sentiment classification of movie reviews using GA and NeuroGA.

Abinash Tripathy, Abhishek Anand, Virender Kadyan

Multim. Tools Appl., March, 2023

C3S Micro-architectural Enhancement: Spike Encoder Block and Relaxing Gamma Clock (Asynchronous).

Alok Anand, Ivan Khokhlov, Abhishek Anand

CoRR, 2023

Heterogeneous ALU Architecture - Power Aware System.

Alok Anand, Ivan Khokhlov, Abhishek Anand

CoRR, 2023

2021

Charged particle tracking with quantum annealing optimization.

Alexander Zlokapa, Abhishek Anand, Jean-Roch Vlimant, Javier M. Duarte, Joshua Job, Daniel A. Lidar, Maria Spiropulu

Quantum Mach. Intell., 2021

Compact Fractal Reader Antenna for RFID Applications.

Ravi Kumar Arya, Abhishek Anand, Ayush Yadav, Akshat Gururani, Maxon Okramcha, Malay Ranjan Tripathy

Proceedings of the IEEE International Conference on RFID Technology and Applications, 2021

2020

The MetaCoq Project.

Matthieu Sozeau, Abhishek Anand, Simon Boulier, Cyril Cohen, Yannick Forster, Fabian Kunze, Gregory Malecha, Nicolas Tabareau, Théo Winterhalter

J. Autom. Reason., 2020

2019

Charged particle tracking with quantum annealing-inspired optimization.

Alexander Zlokapa, Abhishek Anand, Jean-Roch Vlimant, Javier M. Duarte, Joshua Job, Daniel A. Lidar, Maria Spiropulu

CoRR, 2019

2018

Towards Certified Meta-Programming with Typed Template-Coq.

Abhishek Anand, Simon Boulier, Cyril Cohen, Matthieu Sozeau, Nicolas Tabareau

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

Document-level sentiment classification using hybrid machine learning approach.

Abinash Tripathy, Abhishek Anand, Santanu Kumar Rath

Knowl. Inf. Syst., 2017

Revisiting Parametricity: Inductives and Uniformity of Propositions.

Abhishek Anand, Greg Morrisett

CoRR, 2017

2016

Trust in Proof Assistants: Opportunities and Limitations.

Abhishek Anand

PhD thesis, 2016

2015

ROSCoq: Robots Powered by Constructive Reals.

Abhishek Anand, Ross A. Knepper

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

PLAG: Practical Landmark Allocation for Cloud Geolocation.

Maziar Fotouhi, Abhishek Anand, Ragib Hasan

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014

A Generic Approach to Proofs about Substitution.

Abhishek Anand, Vincent Rahli

Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2014

Towards a Formally Verified Proof Assistant.

Abhishek Anand, Vincent Rahli

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

2013

Contextually guided semantic labeling and search for three-dimensional point clouds.

Abhishek Anand, Hema Swetha Koppula, Thorsten Joachims, Ashutosh Saxena

Int. J. Robotics Res., 2013

Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types.

Vincent Rahli, Mark Bickford, Abhishek Anand

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

Time Series Qlet: Invariant approach for data mining.

Abhishek Anand, Vineet Padmanabhan

Proceedings of the Sixth International Conference on Contemporary Computing, 2013

2012

3D Scene Grammar for Parsing RGB-D Pointclouds

Abhishek Anand, Sherwin Li

CoRR, 2012

2011

Contextually Guided Semantic Labeling and Search for 3D Point Clouds

Abhishek Anand, Hema Swetha Koppula, Thorsten Joachims, Ashutosh Saxena

CoRR, 2011

Labeling 3D scenes for Personal Assistant Robots

Hema Swetha Koppula, Abhishek Anand, Thorsten Joachims, Ashutosh Saxena

CoRR, 2011

Finding Almost-Invariants in Distributed Systems.

Maysam Yabandeh, Abhishek Anand, Marco Canini, Dejan Kostic

Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), 2011

Semantic Labeling of 3D Point Clouds for Indoor Scenes.

Hema Swetha Koppula, Abhishek Anand, Thorsten Joachims, Ashutosh Saxena

Proceedings of the Advances in Neural Information Processing Systems 24: 25th Annual Conference on Neural Information Processing Systems 2011. Proceedings of a meeting held 12-14 December 2011, 2011

2009

QDMAC: An Energy Efficient Low Latency MAC Protocol for Query Based Wireless Sensor Networks.

Abhishek Anand, Shikhar Sachan, Kalpesh Kapoor, Sukumar Nandi

Proceedings of the Distributed Computing and Networking, 10th International Conference, 2009