Treffer 1 - 3 von 3 für Suche 'Athavale, Anagha', Suchdauer: 0,36s Treffer weiter einschränken
  1. 1
    One-Way Cryptographic Hash Function Securing Networks

    One-Way Cryptographic Hash Function Securing Networks von Athavale, Vijay Anant, Arora, Shakti, Athavale, Anagha, Yadav, Ruchika


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Verifying Global Two-Safety Properties in Neural Networks with Confidence

    Verifying Global Two-Safety Properties in Neural Networks with Confidence von Athavale, Anagha, Bartocci, Ezio, Christakis, Maria, Maffei, Matteo, Nickovic, Dejan, Weissenbacher, Georg

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Verifying Global Two-Safety Properties in Neural Networks with Confidence

    Verifying Global Two-Safety Properties in Neural Networks with Confidence von Athavale, Anagha, Bartocci, Ezio, Christakis, Maria, Maffei, Matteo, Nickovic, Dejan, Weissenbacher, Georg

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: