Viviana Bono

1. Behavioral Types in Programming Languages
   2016/01/01 by Nobuko Yoshida, Vasco T. Vasconcelos, Luca Padovani +18 · 2 citations
   Computer Science · #Advanced Software Engineering Methodologies #Formal Methods in Verification #Logic, programming, and type systems #Teaching and Learning Programming
2. Local Multi-Head Channel Self-Attention for Facial Expression Recognition
   2021/11/13 by Roberto Pecoraro, Valerio Basile, Pecoraro, Roberto +5 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #Digital Media Forensic Detection #FOS: Computer and information sciences #cs.AI #cs.CV