( en | de | ru )

 

Disambiguierung von "Singh, Gagandeep"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Boosting Robustness Certification of Neural Networks.

, , , und . ICLR (Poster), OpenReview.net, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Arunoday Singh

Raminder Singh

Sikander Singh

Aditi Singh

Vikramaditya Singh

 

Weitere Publikationen von Autoren mit dem selben Namen

Construction of concrete verification models from C++., , , , und . DAC, Seite 942-947. ACM, (2008)Implementation of Kirchhoff-Helmholtz transform on GPU for use in digital in-line holographic microscopy., , , und . COMPUTE, Seite 9:1-9:9. ACM, (2014)Neural Network Robustness Verification on GPUs., , , und . CoRR, (2020)A Subclass of Bi-Univalent Functions Defined by Generalized Sãlãgean Operator Related to Shell-Like Curves Connected with Fibonacci Numbers., , und . Int. J. Math. Math. Sci., (2019)TDO-CIM: Transparent Detection and Offloading for Computation In-memory., , , , , , und . DATE, Seite 1602-1605. IEEE, (2020)Collusion-Resistant Processing of SQL Range Predicates., , , , und . Data Sci. Eng., 3 (4): 323-340 (2018)Accelerating Weather Prediction Using Near-Memory Reconfigurable Fabric., , , , , , und . ACM Trans. Reconfigurable Technol. Syst., 15 (4): 39:1-39:27 (2022)Novel Relay Selection Rules for Average Interference-Constrained Cognitive AF Relay Networks., , und . IEEE Trans. Wirel. Commun., 14 (8): 4304-4315 (2015)Analysis of queueing-time distributions for MAP/DN/1 queue., , und . Int. J. Comput. Math., 91 (9): 1911-1930 (2014)Synthesizing Precise Static Analyzers for Automatic Differentiation., , , und . Proc. ACM Program. Lang., 7 (OOPSLA2): 1964-1992 (Oktober 2023)