( en | de | ru )

 

Disambiguierung von "Tacchella, Armando"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
OT Cyber Security Frameworks Comparison Tool (CSFCTool).

, , , und . ITASEC, Volume 2940 von CEUR Workshop Proceedings, Seite 9-22. CEUR-WS.org, (2021)

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.

Paolo Tacchella

Armando Garcia

Armando Torres

Armando Moschetti

Armando Beccaria

 

Weitere Publikationen von Autoren mit dem selben Namen

Report of the Third QBF Solvers Evaluation., , und . J. Satisf. Boolean Model. Comput., 2 (1-4): 145-164 (2006)NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks., , und . CoRR, (2020)Quantifier Structure in Search-Based Procedures for QBFs., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 26 (3): 497-507 (2007)Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas., , und . J. Artif. Intell. Res., (2006)Computational thinking for beginners: A successful experience using Prolog., , , , , , , , , und 2 andere Autor(en). CILC, Volume 1459 von CEUR Workshop Proceedings, Seite 31-45. CEUR-WS.org, (2015)Learning in Physical Domains: Mating Safety Requirements and Costly Sampling., und . AI*IA, Volume 10037 von Lecture Notes in Computer Science, Seite 539-552. Springer, (2016)Verification and Repair of Neural Networks: A Progress Report on Convolutional Models., , , und . AI*IA, Volume 11946 von Lecture Notes in Computer Science, Seite 405-417. Springer, (2019)Repairing Learned Controllers with Convex Optimization: A Case Study., , , und . CPAIOR, Volume 11494 von Lecture Notes in Computer Science, Seite 364-373. Springer, (2019)Anomaly Detection in Noisy and Irregular Time Series: The "Turbodiesel Charging Pressure" Case Study., , und . IEA/AIE (1), Volume 6096 von Lecture Notes in Computer Science, Seite 123-132. Springer, (2010)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)