( en | de | ru )

 

Disambiguierung von "Gopinath, Divya"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking.

, , , und . ASM, Volume 5977 von Lecture Notes in Computer Science, Seite 392-393. Springer, (2010)

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.

Gopinath Muruganandam

Divya Parmar

Gopinath Ganji

Divya Prasad

Divya Sekar

 

Weitere Publikationen von Autoren mit dem selben Namen

Parallelization Techniques for Verifying Neural Networks., , , , , , , , , und . FMCAD, Seite 128-137. IEEE, (2020)An Overview of Structural Coverage Metrics for Testing Neural Networks., , , , , und . CoRR, (2022)Fast, Structured Clinical Documentation via Contextual Autocomplete., , , , , und . MLHC, Volume 126 von Proceedings of Machine Learning Research, Seite 842-870. PMLR, (2020)On the probabilistic analysis of neural networks., , , und . SEAMS@ICSE, Seite 5-8. ACM, (2020)Case Study: Analysis of Autonomous Center Line Tracking Neural Networks., , , und . VSTTE, Volume 13124 von Lecture Notes in Computer Science, Seite 104-121. Springer, (2021)Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks., , , und . RV, Volume 13498 von Lecture Notes in Computer Science, Seite 67-84. Springer, (2022)Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks., , , , , und . ISSRE, Seite 313-322. IEEE, (2019)MedKnowts: Unified Documentation and Information Retrieval for Electronic Health Records., , , , , und . UIST, Seite 1169-1183. ACM, (2021)Parallelization Techniques for Verifying Neural Networks., , , , , , , , , und . CoRR, (2020)Concept-based Analysis of Neural Networks via Vision-Language Models., , , , , , und . CoRR, (2024)