Automatic generation of explanations in autonomous systems: enhancing human interaction in smart home environments
Oscar Peña-Cáceres, Antoni Mestre, Manoli Albert, Vicente Pelechano, Miriam Gil
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version
Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
1,030 views · 40 downloads
Modelling and verification of post-quantum key encapsulation mechanisms using Maude
Víctor García, Santiago Escobar, Kazuhiro Ogata, Sedat Akleylek, Ayoub Otmani
1,943 views · 76 downloads
Discrimination of foreign bodies in quinoa (Chenopodium quinoa Willd.) grains using convolutional neural networks with a transfer learning approach
Himer Avila-George, Miguel De-la-Torre, Jorge Sánchez-Garcés, Joel Jerson Coaquira Quispe, Jose Manuel Prieto, Wilson Castro
2,391 views · 120 downloads