Javier D'iaz

most citedCorrectness of Broadcast via Multicast: Graphically and Formally

1 citations · 1 across the 1 of their papers we have counts for

collaborators

3 papers

cs.LO2022★ 1 cited

Correctness of Broadcast via Multicast: Graphically and Formally

Wolfgang Jeltsch, Javier Díaz

Maintaining data consistency among multiple parties requires nodes to repeatedly send data to all other nodes. For example, the nodes of a blockchain network have to disseminate th…

cs.CV2021

Data-driven vehicle speed detection from synthetic driving simulator images

Antonio Hernández Martínez, Javier Lorenzo Díaz, Iván García Daza +1

Despite all the challenges and limitations, vision-based vehicle speed detection is gaining research interest due to its great potential benefits such as cost reduction, and enhanc…

cond-mat.mtrl-sci2021

Magnetic moment orientation and in depth distribution of dysprosium near the surface of DyCo $_{4.6}$ thin films determined by the analysis of their X ray circularly polarized absorption Dy $M_{5}$ spectra

Javier Díaz, Cristina Blanco-Roldán

We have investigated the RE atomic distribution and its magnetic moment orientation at the region near the surface of DyCo $_{4.4&4.6}$ ferrimagnetic amorphous films with perpend…

Correctness of Broadcast via Multicast: Graphically and Formally

Data-driven vehicle speed detection from synthetic driving simulator images

Magnetic moment orientation and in depth distribution of dysprosium near the surface of DyCo4.6​ thin films determined by the analysis of their X ray circularly polarized absorption Dy M5​ spectra

Magnetic moment orientation and in depth distribution of dysprosium near the surface of DyCo $_{4.6}$ thin films determined by the analysis of their X ray circularly polarized absorption Dy $M_{5}$ spectra