( en | de | ru )

 

Disambiguierung von "Pulina, Luca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures.

, , , , , und . CoRR, (2018)

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.

Maria Pulina

Michael Pulina

Rafael Pulina

Cornelia Pulina

Bruno Pulina

 

Weitere Publikationen von Autoren mit dem selben Namen

Automata based test generation with SpecPro., , , und . RET@ICSE, Seite 13-16. IEEE / ACM, (2019)Verification of NNs in the IMOCO4.E Project: Preliminary Results., , und . ETFA, Seite 1-4. IEEE, (2023)Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project., , , und . ETFA, Seite 1-4. IEEE, (2023)Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction., , und . AI*IA, Volume 9336 von Lecture Notes in Computer Science, Seite 260-273. Springer, (2015)How to Abstract Intelligence? (If Verification Is in Order)., , , und . AAAI Fall Symposia, AAAI Press, (2013)Verification of Neural Networks: Enhancing Scalability Through Pruning., , , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 2505-2512. IOS Press, (2020)The Ninth QBF Solvers Evaluation - Preliminary Report.. QBF@SAT, Volume 1719 von CEUR Workshop Proceedings, Seite 1-13. CEUR-WS.org, (2016)Verifying Neural Networks with SMT: An Experimental Evaluation., , und . e-Science, Seite 1-2. IEEE, (2023)ARKIVO: an Ontology for Describing Archival Resources., , und . CILC, Volume 2214 von CEUR Workshop Proceedings, Seite 112-116. CEUR-WS.org, (2018)pyNeVer: A Framework for Learning and Verification of Neural Networks., , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 357-363. Springer, (2021)