Formal Verification of the FTTRS Mechanisms for the Consistent Update of the Traffic Schedule. - Daniel Bujosa; Sergi Arguimbau; Patricia Arguimbau; Julián Proenza; Manuel Barranco (ETFA, 2019)

First exploration of the potential of diverse training and voting for increasing the accuracy of CNNs. - Julián Proenza; Yolanda González Cid; Patricia Arguimbau (ETFA, 2019)