( en | de | ru )

 

Disambiguation of "Singh, Gagandeep"

Author of the publication

copydeleteadd this publication to your clipboard
Construction of concrete verification models from C++.

, , , , and . DAC, page 942-947. ACM, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Seema Singh

Navrag Singh

Garima Singh

Daniel Singh

Shamsher Singh

 

Other publications of authors with the same name

Incremental Verification of Neural Networks., , , and . Proc. ACM Program. Lang., 7 (PLDI): 1920-1945 (2023)FPGA-based Near-Memory Acceleration of Modern Data-Intensive Applications., , , , , , and . CoRR, (2021)LEAPER: Fast and Accurate FPGA-based System Performance Prediction via Transfer Learning., , , , , and . ICCD, page 499-508. IEEE, (2022)Application of Walsh Filter in Geophysical Well-Log Data Interpretation for Automated Lithological Bed Boundary Detection., , , , and . IECON, page 1-6. IEEE, (2021)Adversarial Attacks on Probabilistic Autoregressive Forecasting Models., , , and . ICML, volume 119 of Proceedings of Machine Learning Research, page 2356-2365. PMLR, (2020)Fast and Effective Robustness Certification., , , , and . NeurIPS, page 10825-10836. (2018)Certifying Geometric Robustness of Neural Networks., , , , and . NeurIPS, page 15287-15297. (2019)Non-linear Behaviour Compensation and Optimal Control of SCR Using Fuzzy Logic Controller Assisted by Genetic Algorithm: A Case Study., and . IMECS, page 1542-1547. Newswood Limited, (2007)An Experimental Evaluation of Machine Learning Training on a Real Processing-in-Memory System., , , , , , , and . CoRR, (2022)Demonstration of Improved Performance of a 4-Level DSEP to Enhance the Efficiency in Heterogeneous Wireless Sensor Networks.. SocProS (1), volume 335 of Advances in Intelligent Systems and Computing, page 489-497. Springer, (2014)