Sakshi Agrawal

According to our database, Sakshi Agrawal authored at least 6 papers between 2013 and 2023.

Collaborative distances:

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

2023

VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution).

Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2021

VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).

Priyanka Darke, Sakshi Agrawal, R. Venkatesh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2018

Multiple Cartridges Improve Edge Detection Algorithm for Fly Inspired Vision System.

Sakshi Agrawal, Brian K. Dean

Proceedings of the 2018 IEEE SENSORS, New Delhi, India, October 28-31, 2018, 2018

2017

Removal of signal artifacts from biomimetic vision sensor based on the common housefly.

Sakshi Agrawal, Brian K. Dean, William Grimm, Kristi Carpenter, Michael Motzny

Proceedings of the 2017 IEEE International Symposium on Medical Measurements and Applications, 2017

2013

Fractal and EMD based removal of baseline wander and powerline interference from ECG signals.

Sakshi Agrawal, Anubha Gupta

Comput. Biol. Medicine, 2013

Projection operator based removal of baseline wander noise from ECG signals.

Sakshi Agrawal, Anubha Gupta

Proceedings of the 2013 Asilomar Conference on Signals, 2013